decltypeとautoの使い分け

Question

C++テンプレートテクニック内で

    vector<int> v = {1, 2, 3};
    decltype(v)::iterator itv = find(begin(v), end(v), 3);

　　//ここまでが書籍記載
    //auto itv = find(begin(v), end(v), 3);ではだめ？

との表記があるのですが、decltype(v)とする理由は何でしょうか。
autoが使えない理由などございますでしょうか。

以上、宜しくお願い致します。

Answer 1

こんにちは。

真意は著者さんの回答を待つべきですが、個人的な見解を書いてみます。

私はautoには問題点もあると考えています。書く時はミスを防いでくれてたいへん便利なのですが、読む時に型を調べるのに結構苦労することが少なくありません。（C#にも同様な機能があり、それを頻繁に使っている他の人が書いたコードを読む時、苦労しました。）

前者は vector<int>::iteratorと書くよりはミスしにくい（vectorとintを書かないで済むってかなり良いと思います）ですし、型がiteratorであることが分かりますので良い妥協点のように感じます。

Answer 2

autoが使えない理由などございますでしょうか。

掲示コードの場合、decltype(v)::iterator と auto とで差異はありません。どちらを使うかは、コーディングスタイルの好みな気がします。個人的には auto を使う場面と思います。

decltype(v)::iterator スタイルに意味があるとすれば、「イテレータであることの明示が重要な文脈である」か、「constイテレータ(decltype(v)::const_iterator)に置き換える可能性を残す」等でしょうか。

• GotW #94 Solution: AAA Style (Almost Always Auto)
• C++ Core Guidelines では議論中の様子