std::vector の反復: 符号なし vs 符号付きインデックス変数

C では、ベクトルを反復するには、反復子を使用するか、インデックスを使用する 2 つの一般的なアプローチがあります。インデックスを使用するときは、インデックス変数の型を考慮することが重要です。

イテレータの使用

イテレータは、コンテナを反復処理する便利な方法です。これらは、さまざまなタイプのコンテナに統一されたインターフェイスを提供し、要素の効率的なトラバースを可能にします。次のコードは、反復子を使用してベクトルを反復処理する方法を示しています。

for (auto it = v.begin(); it != v.end();   it) {
  // do something with *it
}

インデックスの使用

インデックスを使用してベクトルを反復処理する場合は、符号付きインデックス変数を使用することが重要です。これは、ベクトルには 0 から size() - 1 までのインデックスが付けられており、符号付き変数はこの範囲をより自然に表現できるためです。次の例では、符号付き int を使用してベクトルのインデックスを作成します。

for (int i = 0; i 
符号なしインデックス変数の使用が危険な理由
符号なしインデックス変数の使用は、インデックスがベクトルのサイズを超えると未定義の動作を引き起こす可能性があるため危険です。これは、符号なし変数は最大値に達するとラップアラウンドするため、インデックスが負になる可能性があり、これはベクトルの有効なインデックスではありません。
次の例では、unsigned int は次のようになります。ベクトルのインデックスに使用され、ベクトルのサイズが unsigned int の最大値より大きい場合、インデックスはラップアラウンドして負になり、未定義の動作が発生します:
for (unsigned int i = 0; i 
結論
ベクトルを反復処理する場合は、常に符号付きインデックス変数を使用することをお勧めします。これは、インデックスが常にベクトルの有効な範囲内にあることを保証し、未定義の動作の可能性を回避するためです。