發生了什麼事，以這種說法 「自動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, "!"); 
}