#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
?
答案 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左值引用