c++ - begin() == end() 是否适用于任何 empty() vector ？

Question

我一直认为对于任何空的 std::vector V，V.begin() == V.end() .然而，我在 C++ 规范中没有看到任何声明这始终是正确的。它一定是正确的，还是在大多数实现中恰好是正确的？

Answer 1

是的，对于任何容器，这就是标准对 empty() 的要求。

C++11 标准的第 23.2.1 节表 96 说:

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