它是在 gcc 中实现 std::valarray 的错误吗？

Question

我尝试了以下程序

#include <iostream>
#include <valarray>

int main( void ) 
{
    std::valarray<int> v1 = { 1, 2, 3, 4, 5 };
    std::valarray<int> v2 = { 1, 2, 3, 4, 5 };

    auto v3 = v1 * v2;

    for ( const auto &item : v3 ) std::cout << item << ' ';
    std::cout << '\n';

    return 0;
}

并收到一条错误消息，指出在此语句中隐式使用了适用于v3的 function begin

    for ( const auto &item : v3 ) std::cout << item << ' ';

找不到。

所以我尝试了以下代码

#include <iostream>
#include <valarray>
#include <type_traits>

int main( void ) 
{
    std::valarray<int> v1 = { 1, 2, 3, 4, 5 };
    std::valarray<int> v2 = { 1, 2, 3, 4, 5 };

    auto v3 = v1 * v2;

    std::cout << std::is_same<std::valarray<int>, decltype( v3 )>::value << '\n';
    return 0;
}

并得到了结果

0

但是当这句话

auto v3 = v1 * v2;

改为

std::valarray<int> v3 = v1 * v2;

那么 output 是

1

std::valarray<int>的operator *声明如下

template<class T> valarray<T> operator* (const valarray<T>&, const valarray<T>&);

那么它是std::valarray<int>实现的错误吗？

Answer 1

这不是错误。 std::valarray::operator*实际上不必返回std::valarray ，因为它允许使用表达式模板。 这意味着它可以返回具有以下属性的类型：

• 提供了std::valarray的所有 const 成员函数。
• std::valarray 、 std::slice_array 、 std::gslice_array 、 std::mask_array和std::indirect_array可以从替换类型构造。
• 所有接受const std::valarray&类型参数的函数除了begin()和end() (C++11 起) 也应该接受替换类型。
• 所有接受两个const std::valarray&类型的 arguments 的函数都应该接受const std::valarray&和替换类型的每个组合。
• 返回类型不会在嵌套最深的参数类型上添加超过两层的模板嵌套。

^强调矿源

因此，您需要将返回显式捕获为std::valarray以便可以调用std::begin的特化。