c++ range based for におけるイテレータの挙動

Question

c++17 で自作の簡易コンテナを作成しています
しかしforに突っ込んだところうまく動きませんでした。

調べたところrange based for は 以下のようであるとわかりました
(思ってたのと違った・原因も分かった)

{
    auto && __range = range_expression ; 
    auto __begin = begin_expr ;
    auto __end = end_expr ;
    for ( ; __begin != __end; ++__begin) { 
        range_declaration = *__begin; 
        loop_statement 
    } 
} 

自作簡易コンテナのイテレータでは operator == , operator != は同一オブジェクトであることを
保証するため単にアドレスを比較する実装にしており、なぜ動作しないのかは理解できました。

しかし、なぜ begin , end は参照(auto&)ではないのかがわかりませんでした。

なぜ begin , end は auto& でなくauto なのでしょうか?

Answer 1

回答をみて思い至りましたが、range base for より先に
ポインタのように扱えるイテレータがあり
forward iterator が実装されていれば使えるようにrange base for が作られたのでした…

Answer 2

こんにちは。

イテレータはポインタの拡張版みたいなものです。
ポインタは参照ではなくポインタ変数そのものですから、もし、イテレータを参照にするとポインタと同じように取り扱うことができませんので使いにくいです。

ポインタと同じく下記処理は可能です。

std::vector<int>::iterator i=vec.begin() + 1;

しかし、参照にするとできません。下記はコンパイル・エラーになります。

std::vector<int>::iterator& i=vec.begin() + 1;

（右辺値参照なら通りますが、それは質問の対象ではないと思いますので省略。）

そのようなイテレータを範囲ベースforで使っているので、参照ではないのだと思います。