为什么“std :: begin()”在这种情况下总是返回“const_iterator”?

时间:2017-03-03 13:55:03

标签: c++ c++11 iterator standards type-safety

#include <vector>
#include <iostream>

using namespace std;

int main()
{
    vector<int> coll;

    decltype(std::begin(std::declval<vector<int>>()))
        pos_1 = coll.begin();
    auto pos_2 = coll.begin();

    cout << typeid(decltype(pos_1)).name() << endl;
    cout << typeid(decltype(pos_2)).name() << endl;
}

我的编译器是clang 4.0。输出是:

class std::_Vector_const_iterator<class std::_Vector_val<struct std::_Simple_types<int> > >
class std::_Vector_iterator<class std::_Vector_val<struct std::_Simple_types<int> > >

这意味着:pos_1 = pos_2;没问题,而pos_2 = pos_1;则不行。

在这种情况下,为什么std::begin()总是返回const_iterator而不是iterator

2 个答案:

答案 0 :(得分:21)

函数调用:

std::declval<std::vector<int>>()

产生一个rvalue表达式,可以表示为:

std::vector<int>&&

编译器有std::begin的两个(通用)重载可供选择([iterator.range]):

template <class C> 
auto begin(C& c) -> decltype(c.begin());        // #1

template <class C> 
auto begin(const C& c) -> decltype(c.begin());  // #2

对于rvalue表达式,只有第二个重载(#2)是可行的 - rvalue不能被非const左值引用绑定。引用类型的const限定意味着编译器将使用begin成员函数的const限定重载:

const_iterator begin() const noexcept;
//                     ~~~~^

返回类型为const_iterator的实例。

您可以通过std::vector<int>来电请求std::declval的左值表达来更改该行为:

decltype(std::begin(std::declval<std::vector<int>&>())) pos_1 = coll.begin();
//                                             ~~^~~      

答案 1 :(得分:3)

如果你有Type&&(临时),那么重载决议 我会更喜欢const Type&而不是Type& 临时不会绑定到非const左值引用