`size_t`は常に` vector <int> :: size_type`や他のコンテナ型のエイリアスですか？

Question

はのは、できるだけ簡単な例を作ってみましょう：

製剤1：

std::vector<int> vec; 
// add 10E11 elements 
for(std::size_t n = 0; n < vec.size(); ++n) 
    // ... 

製剤2：

std::vector<int> vec; 
// add 10E11 elements 
for(std::vector<int>::size_type n = 0; n < vec.size(); ++n) 
    // ... 

当然のことながら、unsigned intまたは不適切なデータ型はここで働いていないとx64をコンパイルする必要があります。私の質問は次のとおりです。最初の処方が問題につながるケースはありますか？安全にはこの短い記法で書いていますか？彼らが（x86、他のコンテナ、size_typeの他のアプリケーション）をカバーするのが些細なのであれば、私は同様の設定で面白いだろう。

Answer 1

std::vectorvector::data返すためポインタは、そのシーケンス全体に対して有効イテレータであることを保証「[data(), data() + size())が有効な範囲であることをポインタように。」これはstd::ptrdiff_tを超えて定義されたポインタの追加です。これはstd::size_tの署名付きバージョンです。

また、[iterator.requirements.general]/6が適用されます。

...整数値nとdereferenceableイテレータはaと(a + n)値、*(a + n)が*(addressof(*a) + n)と同等です...

のためにそれが可能ですvector::size_typeがであり、より狭いがstd::size_tより大きく、例えば64ビットシステムでは32ビットである。しかし、それは私が心配するものではありません。

Answer 2

std::vector::size_typeは、通常std::size_tですが、必ずしも保証するものではありません。使用する方が安全です

for(std::vector<int>::size_type n = 0; n < vec.size(); ++n) 

Answer 3

すべての一般的な実装でありますが、これは標準では保証しません。保証されるのは、std::vector<T>::size_typeが実装定義の符号なし整数型であることです。

参考文献：[container.requirements.general]

X

23.2.1一般コンテナ要件:: size_type符号なし 整数型

及び23.3 [あります]。 6.1クラステンプレートベクトルの概要[vector.overview]§2

typedef implementation-defined size_type; // see 23.2