initializer_listのイテレータを回せない

Question

template<class F, class S>
bijection<F, S>::bijection(initializer_list<pair < F, S >>input) {
	for (initializer_list<pair < F, S >>::iterator i : input)//C2760
	{
		add(*i);
	}
}

エラー	C2760	構文エラー: 予期しないトークン '識別子 '、必要なトークン ';'

普通のforの書き方でやってみてもだめでした。

Answer 1

こんにちは。

範囲ベースforは、明示的にはイテレータを使えません。
for (auto i : input) {} のように使います。この時のiはpair<F,S>型です。

イテレータなら for (auto i=input.begin(); i!=input.end(); ++i) { }のように使います。
この時のiはinitializer_list<pair < F, S >>::iterator型です。

autoではなくきちんと型を記述するなら、for (typename std::initializer_list<std::pair < F, S >>::iterator i = input.begin(); i != input.end(); ++i) {}と書きます。
テンプレート引数に依存しているため、std::initializer_list<std::pair < F, S >>::iteratorが型なのかメンバ変数なのかコンパイラは判断できません。デフォルトでは（確か）メンバ変数扱いするので、型であることをコンパイラに教えるためにtypenameを記述します。

Answer 2

おそらく initializer_list<pair < F, S >>::iterator の前に typename が書かれていないためです。

bijection を定義する時点では F S の中身は決まっておらず、このとき iterator という識別子が (変数ではなく) 型であるということはわかりません。 型であるということを明示するために typename キーワードが必要です。