記事の内容
- 宣言型の地域と範囲
- グローバルスコープ
- ブロックスコープ
- 機能範囲
- 列挙スコープ
- クラススコープ
- テンプレートパラメータスコープ
- 名前の非表示
- 同じスコープで宣言を繰り返す可能性
- 名前空間スコープ
- さまざまな部分のスコープ
- 結論
宣言型の地域と範囲
宣言型領域は、エンティティの名前が有効なプログラムテキストの最大の部分です。これは、同じエンティティを参照するために非修飾名を使用(表示)できる領域です。次の短いプログラムを検討してください。
#含む
を使用して 名前空間時間;
空所fn(()。
{{
intどこ= 3;
もしも ((1==1)。
{{
費用<<どこ<<'NS';
}
}
int主要(()。
{{
fn(()。;
戻る 0;
}
関数fn()には、if条件用の内部ブロックと関数本体用の外部ブロックの2つのブロックがあります。識別子varが導入され、外側のブロックに表示されます。これは、coutステートメントとともに内側のブロックにも表示されます。外側のブロックと内側のブロックは、どちらも名前varのスコープです。
ただし、名前varは、内部ブロックのfloatなどの別のエンティティを宣言するために使用できます。次のコードはこれを示しています。
#含む
を使用して 名前空間時間;
空所fn(()。
{{
intどこ= 3;
もしも ((1==1)。
{{
浮くどこ= 7.5;
費用<<どこ<<'NS';
}
}
int主要(()。
{{
fn(()。;
戻る 0;
}
出力は7.5です。この場合、名前varは、外側のブロックで導入(宣言)された値3の整数を参照するために内側のブロックで使用できなくなりました。このような内部ブロックは、外部ブロックで宣言されたエンティティの潜在的なスコープと呼ばれます。
注:外側のブロックと同じタイプのエンティティは、内側のブロックで宣言できます。ただし、この場合、内側のブロックで有効なのは新しい宣言とその意味ですが、内側のブロックの外側の古い宣言とその意味は外側のブロックでも有効です。
内側のブロックでの同じ名前の宣言は、通常、その内側のブロックの外側での同じ名前の宣言をオーバーライドします。内側のブロックは、他の内側のブロックをネストできます。
グローバルスコープ
プログラマーがファイルの入力を開始したとき、それがグローバルスコープです。次の短いプログラムはこれを示しています。
#含むを使用して 名前空間時間;
浮くどこ= 9.4;
int主要(()。
{{
費用 <<どこ<<'NS';
費用 <<:::どこ<<'NS';
戻る 0;
}
出力は次のとおりです。
9.4
9.4
この場合、varの宣言領域またはスコープは、varの宣言点から始まり、ファイル(変換単位)の終わりまで下向きに続きます。
main()関数のブロックは別のスコープです。これは、グローバルスコープのネストされたスコープです。別のスコープからグローバルスコープのエンティティにアクセスするには、識別子を直接使用するか、スコープ解決演算子::の前に付けます。
注:エンティティmain()も、グローバルスコープで宣言されています。
ブロックスコープ
if、while、do、for、またはswitchステートメントはそれぞれブロックを定義できます。このようなステートメントは複合ステートメントです。ブロックで宣言された変数の名前には、ブロックのスコープがあります。そのスコープは、宣言のポイントで始まり、ブロックの終わりで終わります。次の短いプログラムは、変数identについてこれを示しています。
#含むを使用して 名前空間時間;
int主要(()。
{{
もしも ((1==1)。
{{
/ *いくつかのステートメント* /
intident= 5;
費用<<ident<<'NS';
/ *いくつかのステートメント* /
}
戻る 0;
}
ブロックスコープで宣言されたidentなどの変数は、ローカル変数です。
ブロックスコープの外側およびその上で宣言された変数は、ブロックのヘッダー(if-blockの条件など)およびブロック内で確認できます。次の短いプログラムは、変数identifのこれを示しています。
#含むを使用して 名前空間時間;
int主要(()。
{{
intidentif= 8;
もしも ((identif== 8)。
{{
費用<<identif<<'NS';
}
戻る 0;
}
出力は8です。ここには、main()関数のブロックとネストされたif-compoundステートメントの2つのブロックスコープがあります。ネストされたブロックは、main()関数ブロックの潜在的なスコープです。
ブロックスコープで導入された宣言は、ブロックの外では見ることができません。コンパイルされない次の短いプログラムは、変数variabを使用してこれを示しています。
#含むを使用して 名前空間時間;
int主要(()。
{{
もしも ((1 == 1)。
{{
intvariab= 15;
}
費用<<variab<<'NS'; //エラー:スコープ外でアクセスされました。
戻る 0;
}
コンパイラは、variabのエラーメッセージを生成します。
複合関数のヘッダーで宣言された、導入されたエンティティは、複合ステートメントの外側(下)には表示されません。次のforループコードはコンパイルされず、エラーメッセージが表示されます。
#含むを使用して 名前空間時間;
int主要(()。
{{
にとって ((int私=0;私<4; ++私)。
{{
費用<<私<<'';
}
費用<<私<<'';
戻る 0;
}
反復変数iは、forループブロックの内側に表示されますが、forループブロックの外側には表示されません。
機能範囲
機能パラメータは、機能ブロックに表示されます。関数ブロックで宣言されたエンティティは、宣言のポイントから関数ブロックの終わりまで見られます。次の短いプログラムはこれを示しています。
#含む#含む
を使用して 名前空間時間;
文字列fn((文字列str)。
{{
charstri[] = 'バナナ';
/ *その他のステートメント* /
文字列totalStr=NS+stri;
戻るtotalStr;
}
int主要(()。
{{
文字列totStr=fn((「食べる」)。;
費用<<totStr<<'NS';
戻る 0;
}
出力は次のとおりです。
バナナを食べる
注:関数の外部(その上)で宣言されたエンティティは、関数パラメーターリストと関数ブロックに表示されます。
ラベル
ラベルのスコープは、ラベルが表示される機能です。次のコードはこれを示しています。
#含むを使用して 名前空間時間;
空所fn(()。
{{
gotolabl;
/ *その他のステートメント* /
labl: intいいえ= 2;
費用<<いいえ<<'NS';
}
int主要(()。
{{
fn(()。;
戻る 0;
}
出力は2です。
列挙スコープ
スコープ外の列挙
次のif-blockについて考えてみます。
{{
列挙型 {{a、b、c=NS+2};
費用<<に<<''<<NS<<''<<NS<<'NS';
}
出力は013です。
ブロックの最初の行は列挙型であり、a、b、およびcはその列挙型です。列挙子のスコープは、宣言のポイントから列挙の囲んでいるブロックの終わりまで始まります。
次のステートメントは、cの宣言のポイントがaの宣言のポイントの後にあるため、コンパイルされません。
列挙型 {{に=NS+2、b、c};次のコードセグメントは、列挙型の囲んでいるブロックの後に列挙子にアクセスするため、コンパイルされません。
もしも ((1==1)。{{
列挙型 {{a、b、c=NS+2};
}
費用<<に<<''<<NS<<''<<NS<<'NS'; //エラー:範囲外
上記の列挙はスコープなしの列挙として記述され、その列挙子はスコープなしの列挙子として記述されます。これは、予約語の列挙型でのみ始まるためです。 enumクラスまたはenum構造体で始まる列挙は、スコープ付き列挙として記述されます。それらの列挙子は、スコープ付き列挙子として記述されます。
スコープ付き列挙
次のステートメントはOKです。
これは、スコープ付き列挙の例です。クラスの名前はnamです。ここで、列挙子のスコープは、宣言のポイントから列挙型定義の終わりまで始まり、列挙型の囲んでいるブロックの終わりではありません。次のコードはコンパイルされません。
もしも ((1==1)。{{
列挙型 クラス男{{a、b、c=NS+2};
費用<<に<<''<<NS<<''<<NS<<'NS'; //エラー:列挙型クラスまたは列挙型構造体のスコープ外
}
クラススコープ
通常のスコープでは、宣言領域はあるポイントから始まり、別のポイントで継続して停止します。スコープは1つの連続した領域に存在します。クラスを使用すると、エンティティのスコープは、一緒に結合されていないさまざまなリージョンに含めることができます。ネストされたブロックのルールは引き続き適用されます。次のプログラムはこれを示しています。
#含むを使用して 名前空間時間;
//基本クラス
クラスクラ
{{
プライベート:
intmemP= 5;
保護された:
intmemPro= 9;
公衆:
空所fn(()。
{{
費用<<memP<<'NS';
}
};
//派生クラス
クラスDerCla: 公衆クラ
{{
公衆:
intderMem=memPro;
};
int主要(()。
{{
Cla obj;
obj。fn(()。;
DerCla derObj;
費用<<derObj。derMem<<'NS';
戻る 0;
}
出力は次のとおりです。
5
9
クラスClaでは、変数memPが宣言の時点で見られます。その後、protectedの短い部分はスキップされ、クラスメンバー関数ブロックで再び表示されます。派生クラスはスキップされ、main()関数スコープ(ブロック)で再び表示されます。
クラスClaでは、変数memProが宣言の時点で見られます。パブリック関数fn()の一部はスキップされ、派生クラスの説明ブロックに表示されます。 main()関数で再び見られます。
スコープ解決演算子
C ++のスコープ解決演算子は::です。クラスの静的メンバーにアクセスするために使用されます。次のプログラムはこれを示しています。
を使用して 名前空間時間;
クラスクラ
{{
公衆:
静的 int constミーム= 5;
公衆:
静的 空所fn(()。
{{
費用<<ミーム<<'NS';
}
};
int主要(()。
{{
費用<<クラ:::ミーム<<'NS';
クラ:::fn(()。;
戻る 0;
}
出力は次のとおりです。
5
5
静的メンバーは、スコープ解決演算子を使用してアクセスされるmain()関数ブロックに表示されます。
テンプレートパラメータスコープ
テンプレートパラメータ名の通常のスコープは、次のコードのように、宣言のポイントからそのブロックの終わりまで始まります。
レンプレート<タイプ名NS、タイプ名U>> 構造体年齢{{
Tジョン= 十一;
あなたピーター= 12.3;
Tメアリー= 13;
Uジョイ= 14.6;
};
UとTはブロック内に表示されます。
テンプレート関数プロトタイプの場合、スコープは、次のステートメントのように、宣言のポイントから関数パラメーターリストの最後まで始まります。
レンプレート<タイプ名NS、タイプ名U>> 空所関数((いや、うちゃ、const char *NS)。;ただし、クラスの説明(定義)に関しては、次のコードのようにスコープを異なる部分にすることもできます。
#含むを使用して 名前空間時間;
レンプレート<クラスNS、クラスU>> クラスTheCla
{{
公衆:
t num;
静的U ch;
空所関数((お父さん、const char *NS)。
{{
費用 << 'がある ' <<1つに<< 「価値のある本」 <<番号<<NS<< ' お店で。' << 'NS';
}
静的 空所楽しい((U ch)。
{{
もしも ((ch== 'に')。
費用 << 「公式静的メンバー関数」 << 'NS';
}
};
int主要(()。
{{
TheCla<int、char>>obj;
obj。1つに = 12;
obj。関数(('$'、「500」)。;
戻る 0;
}
名前の非表示
名前の非表示の例は、同じオブジェクトタイプの名前がネストされたブロックで再宣言された場合に発生します。次のプログラムはこれを示しています。
#含むを使用して 名前空間時間;
空所fn(()。
{{
intどこ= 3;
もしも ((1==1)。
{{
intどこ= 4;
費用<<どこ<<'NS';
}
費用<<どこ<<'NS';
}
int主要(()。
{{
fn(()。;
戻る 0;
}
出力は次のとおりです。
4
3
これは、ネストされたブロックのvarが外側のブロックのvarを隠していたためです。
同じスコープで宣言を繰り返す可能性
宣言のポイントは、そのスコープ内で名前が(初めて)導入される場所です。
関数プロトタイプ
異なるタイプの異なるエンティティは、通常、同じスコープで宣言することはできません。ただし、関数プロトタイプは同じスコープ内で複数回宣言できます。 2つの関数プロトタイプと対応する関数定義を持つ次のプログラムは、これを示しています。
を使用して 名前空間時間;
空所fn((int1つに)。;
空所fn((int1つに)。;
空所fn((int1つに)。
{{
費用<<1つに<<'NS';
}
int主要(()。
{{
fn((5)。;
戻る 0;
}
プログラムは動作します。
オーバーロードされた関数
オーバーロードされた関数は、名前は同じですが関数のシグネチャが異なる関数です。別の例外として、同じ名前のオーバーロードされた関数を同じスコープで定義できます。次のプログラムはこれを示しています。
を使用して 名前空間時間;
空所fn((int1つに)。
{{
費用<<1つに<<'NS';
}
空所fn((浮く番号)。
{{
費用<<番号<<'NS';
}
int主要(()。
{{
fn((5)。;
浮くflt= 8.7;
fn((flt)。;
戻る 0;
}
出力は次のとおりです。
5
8.7
オーバーロードされた関数は、グローバルスコープで定義されています。
名前空間スコープ
名前空間スコープは独自の記事に値します。この記事は、このWebサイトlinuxhint.com向けに作成されています。このサイト(ページ)の検索ボックスに「名前空間スコープ」という検索語を入力して「OK」をクリックするだけで、記事が表示されます。
さまざまな部分のスコープ
スコープを異なる部分に配置できるスキームは、クラスだけではありません。フレンド指定子、elaborated-type-specifierの特定の使用法、およびusingディレクティブは、スコープがさまざまな場所にある他のスキームです。詳細については、後で参照してください。
結論
スコープは宣言型の領域です。宣言型領域は、エンティティの名前が有効なプログラムテキストの最大の部分です。ネストされたブロックなど、特定のプログラミングスキームに従って、複数の部分に分割できます。宣言ポイントがない部分は、潜在的なスコープを形成します。潜在的なスコープには、宣言がある場合とない場合があります。