potential scope

宣言の有効範囲を規定するための概念。

0001 int a = 1234;
0002 int foo()
0003 {
0004     int a = 56;
0005     return a + 1;
0006 }

上記のコードで、0001で宣言された変数aの潜在有効範囲は0001〜0006までとなるが、実際の有効範囲は0004で宣言されたaの有効範囲（0004〜0005）を除いたものとなる。

→有効範囲