C++17からのif文内での変数宣言について

Question

C++17からのif文やswitch文内で変数の初期化ができる機能についてですが、
if文とelse if文の変数のスコープがよくわかりません。

 if (int i = 10; true)
 {
     std::cout << i << std::endl; //10
 }
 else if (int i = 20; true)
 {
     std::cout << i << std::endl; //20
 }

 if (int i = 10; true)
 {
     std::cout << i << std::endl; //10
 }
 else if (true)
 {
     std::cout << i << std::endl; //10
 }

このようなコードで、上のif文も下のif文も問題なくコンパイルが通ります。
下のif文では、最初のifで宣言したiをelse if内で呼び出しても問題なく、
上のif文では、最初のifで宣言したiとelse ifで宣言したiを別物として扱っているようです。
しかし、そうすると最初のifで宣言したiのスコープはどこまでなのか？という疑問が出てきました。
このあたりの仕様について、教えていただけないでしょうか。

Answer 1

上のif文では、最初のifで宣言したiとelse ifで宣言したiを別物として扱っているようです。

外側のスコープにあるのと同じ名前の変数を内側のスコープで宣言することも可能で、その場合外側の変数は遮蔽されます（アクセスできません）。

Comments

[maisumakun]

これはC++17に限らず、それ以前のC/C++にも共通します。