指定した型が代わりに使われます。それによりループは次のように展開されます。(View)ループの中で暗黙に呼ばれるものが次のように変わりました。ロック、終了処理でアンロックします。ループや要素の参照に必要な一通りのものが再定義されています。要素の追加や削除を行う操作は用意されていません。checkのための処理は不要です。異なり終了処理は必要ありません。いやま、これは私の感想に過ぎませんので「これは素晴らしい!」と思ってくださっても構わないですが......。checkや契約等を含めた標準コンテナのチェックを抑制できるようになっています。いやま、これは私の感想に過ぎませんので「これは素晴らしい!」と思ってくださっても構わないですが......。大事なことではありませんけれども3回書きました。