for loop文のシンタックスについて

Question

for loopのシンタックスは for(statement1;statement2;statement3)　だけだと思っていたのですが、以下のように使われているのを見て、混乱しています。この場合シンタックスはどうなっているのでしょうか？
また、for文の引数にconstをつけているのはどういった意図なのでしょうか？よろしくお願いいたします。

#include<iostream>
#include<vector>
using namespace std;

int main()
{
	//Declaration and initialization of vector
	vector<int> num{ 1,2,3,4,5 };

	cout << "Initial elements ";

	//this "for" is to display elements of vector
	for(const int& i : num)
	{
		cout << i << ' ';
	}

    return 0;
}

Answer 1

いわゆる range-based for と呼ばれる構文です。

for ( for-range-declaration : braced-init-list ) statement

という形式の構文は

{
  auto && __range = range-init;
  for ( auto __begin = begin-expr,
             __end = end-expr;
        __begin != __end;
        ++__begin ) {
    for-range-declaration = *__begin;
    statement
  }
}

の構文糖であるかのように解釈されます。 (ここで下線付きで示した名前は説明の便宜上の名前であり、ユーザからは決してアクセスできない存在です。)

要するに関数 begin と end を暗黙に呼び出してイテレータを取得し、そのイテレータを通じて要素にアクセスしているわけです。 const int& i の部分は要素を const int の参照として受けるという意味すね。

Comments

[Sota2021]

ご回答ありがとうございます。このような構文もあるんですね。勉強になりました！

Answer 2

リストの要素を一つ一つ取り出して変数に代入するときの書き方

for (<代入したい変数> : <リスト>)
{
    //処理
}

const に関しては以下を
https://github.com/asciidwango/js-primer/issues/567

Comments

[Sota2021]

分かりやすかったです！ありがとうございました。