为什么元素访问 STL 容器的成员函数,例如std::array::operator[]或std::vector::operator[]没有右值引用限定符重载?当然我可以做std::move(generate_vector()[10]),但我很好奇在标准化引用限定符时是否考虑添加右值引用限定符重载。
我认为std::array<T, N>和std::tuple<T, T, ..., T>真的是一回事,std::get后者的“元素访问函数(即)”对于 const 与非常量以及左值与右值的所有组合都被重载。为什么不是前者?
将右值引用限定的元素访问成员函数(返回右值引用)添加到我的自定义容器是个好主意吗?
对于理查德克里滕的评论。我认为这有时会很有用。
例如,您有一个函数返回在该函数内部构造的容器,但您可能只对该容器的第一个元素感兴趣。是的,这很愚蠢。在这种情况下,最好使用仅构造第一个元素的更简单的函数。但是如果这个功能不是你的,你就没有这样的选择。
或者,可能有更一般的例子。您有一个构造容器的函数,并且您希望处理该容器以获得另一个结果。例如,您可能希望执行std::reduce, 或std::unique_copy到那个容器。(似乎在执行期间禁止修改元素std::reduce,但让我们假设我们已经实现了允许修改的元素。)在这种情况下,可以使用std::make_move_iterator,但为什么不让容器本身返回移动迭代器呢?
事实上,当我将一些“视图”类实现到容器类时,我遇到了这个问题。可变视图(左值引用)、不可变视图(常量引用)和可移动视图(右值引用)似乎都需要,我必须确定从可移动视图类的元素访问成员函数返回什么:左值或右值引用? 我觉得有点奇怪,将右值引用返回到容器本身没有公开此类接口的元素。哪一个是正确的?