指向向量的指针，但不是指向 valarray 的指针？

Question

我正在尝试提取一个 const 指针以指向数组的一部分。我发现它在使用向量时工作正常，但在使用 valarray 时不会编译（VS 2008）。谁能解释一下是什么问题？

struct vector_test
{
    std::vector<int> v;

    const int *pointy(const int i) const
    {
        return &(v[i]); // Ok
    }
};

struct valarray_test
{
    std::valarray<int> v;

    const int *pointy(const int i) const
    {
        return &(v[i]); // error C2102: '&' requires l-value
    }
};

Answer 1

std::valarray<T>::operator [](std::size_t) 返回一个T&，它可以正常工作。

std::valarray<T>::operator [](std::size_t) const 返回一个T，这将是一个右值，因此无法获取其地址。

因为valarray_test::pointy 本身就是const，所以valarray_test::v 被视为const，因此调用operator[] 的const 重载。要么使valarray_test::vmutable 要么使valarray_test::pointy 非const。