Что случилось с этим утверждением «авто ITER = первый»

Question

Что случилось с этим утверждением:

auto iter = first; 

Почему iter++ может хорошо работать, как все мы знаем, first является const&,

template<typename iteratorT, typename valueT> 
iteratorT find(const iteratorT& first, const iteratorT& last,const valueT& value) 
{ 
    auto iter = first; 
    while(iter != last && *iter != value) iter++; 
    return iter; 
} 

Почему?

Answer 1

Вот как действует принцип вычета при использовании auto, в примере вы получаете копию first и этот экземпляр имеет тип iteratorT.

Вы можете использовать вместо:

• const iteratorT &iter = first
• const auto &iter = first (или просто auto &)
• decltype(first) iter = first
• decltype(auto) iter = first

Все они, если вы хотите iter быть константным ссылки, курс.

Благодаря @songyuanyao и @LogicStuff для своих предложений в комментариях.

---

Рассмотрим также следующий пример, который воспроизводит проблему в более чистым способом:

#include <type_traits> 

int main() { 
    int i = 42; 
    const int & j = i; 
    auto k = j; 

    static_assert(std::is_same<decltype(k), int>::value, "!"); 
    static_assert(not std::is_same<decltype(k), const int &>::value, "!"); 
}