是否有empty（）向量的begin（）== end（）？

我一直认为，对于任何空std::vector V，V.begin() == V.end()。但是，我在C ++规范中看不到任何东西表明这始终是正确的。在大多数实现中，它是否必定是正确的？

是的，这就是该标准要求适用empty()于任何容器的内容。

第23.2.1节，C ++ 11标准的表96指出：

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

23.2.1一般容器要求，特别是表96集装箱要求具有

a.empty()转换为bool，操作语义a.begin() == a.end()

然后

6begin()返回引用容器中第一个元素的迭代器。end()返回一个迭代器，该迭代器是容器的过去值。如果容器是空的，那么begin() == end();

（强调我的）

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

如果容器为空，则end（）与begin（）相同。

是的，那是真的。这是证明。并且，当然，std::distance(a.begin(), a.end()) == 0对于空向量。