c ++ 11:为什么"auto&"没有推断出正确的类型？

Question

我有以下代码:

struct MyType{};
using vec_type = std::vector<std::unique_ptr<MyType>>;
void foo(vec_type vec, vec_type& vec2, vec_type::iterator itr){
  for (auto &ri = vec.rbegin(); ri != vec.rend(); ++ri) {
    vec2.insert(itr, std::move(*ri));
  }    
}

它在for循环行中收到以下错误:

non-const lvalue reference to type 'reverse_iterator<[...]>' cannot bind to a temporary of type 'reverse_iterator<[...]>'

然后我需要更改为以下内容才能进行编译:

vector<unique_ptr<Titem> >::reverse_iterator ri = replaces.rbegin();
for (; ri != vec.rend(); ++ri) {
    vec2.insert(itr, std::move(*ri));
}    

这对我没有意义 - 我没有看到两个代码之间有任何语义差异.编译器不应该只是推断出"自动"是vector<unique_ptr<Titem> >::reverse_iterator什么？

我正在使用clang ++ 3.5.

Answer 1

摆脱&符号.您需要迭代器的副本,而不是对它的引用.

for (auto ri = vec.rbegin(); ri != vec.rend(); ++ri) {

编译器不会为非const引用分配临时值.