c++ - empty() ベクトルの begin() == end() はありますか?

Question

私は長い間、空のstd::vector Vに対してV.begin() == V.end(). しかし、これが常に真であると述べている C++ 仕様には何もありません。それは必ずしも真ですか、それともほとんどの実装でたまたま真なのですか?

Answer 1

はい、それは標準がempty()どのコンテナに対してもそれを要求するものです。

§ 23.2.1 C++11 標準の表 96 には次のように記載されています。

 +----------+---------------+----------------------+
 |Expression|  Return Type  | Operational Semantics|
 |----------|---------------|----------------------|
 |a.empty() |Convertible    |a.begin() == a.end()  |
 |          |to bool        |                      |
 |          |               |                      |
 +-------------------------------------------------+

Answer 2

23.2.1 一般的なコンテナ要件、特に表 96コンテナ要件には

a.empty()に変換可能bool、運用セマンティクスa.begin() == a.end()

それで

6begin()は、コンテナー内の最初の要素を参照する反復子を返します。end()コンテナの最後の値を表すイテレータを返します。コンテナが空の場合、begin() == end();

(私のものを強調)

Answer 3

http://www.cplusplus.com/reference/vector/vector/end/

コンテナーが空の場合、end() は begin() と同じです。

Answer 4

はい、それは本当です。これが証拠です。そしてもちろん、std::distance(a.begin(), a.end()) == 0空のベクトルの場合。