c++ - std::addressof 是否否定 STL operator& 要求？

Question

为了使类型与 C++03 标准库“很好地配合”，重载 operator&() 被认为是一个坏主意，因为地址需要正确使用类型和重载它会产生意想不到的问题；这里的经典示例是 ATL::CComBSTR。

• 随着 std::addressof() 在 C++11 及更高版本中的出现，这是否否定了对标准库中使用的类型的旧要求？
• 是否在 C++11 的标准中明确说明(或从中删除)要求，即规范是否要求标准库使用 std::addressof()？

Answer 1

容器的value_type只有几个要求。它们主要取决于容器，但对于一般情况，要求至少是 MoveConstructible 和 MoveAssignable。

查看 C++11 标准表以了解这些要求的含义，您会明白:

§ 17.6.3.1 表 20(MoveConstructible):

 +----------------------------------------------------------+
 | Expression         |       Post Condition                |
 |----------------------------------------------------------+
 | T u = rv;          | u is equivalent to the              |
 |                    | value of rv before the construction |
 +----------------------------------------------------------+
 | T u(rv);           | T(rv) is equivalent to the          |
 |                    | value of rv before the construction |
 +----------------------------------------------------------+
 | rv's state is unspecified.                               |
 |                                                          |
 +----------------------------------------------------------+

§ 17.6.3.1 表 22(MoveAssignable)。

  +-----------+--------------+-------------+----------------------+
  | Expression|  Return Type | Return value| Post Condition       |
  |-----------|--------------|-------------|----------------------|
  | t = rv;   |  T&          | t           | t is equivalent to   |
  |           |              |             | the value of rv      |
  |           |              |             | before the assignment|
  |           |              |             |                      |
  +---------------------------------------------------------------+
  | rv's state is unspecified                                     |
  |                                                               |
  +---------------------------------------------------------------+

根据容器的性质，对容器有更多要求，例如 DefaultConstructible。但是，这两个要求都不需要 operator& 不被重载。它们主要处理 value_type 的可构造性，而不是类型提供的运算符重载。

您可以在第 17.6.3.1 节找到其他表格。容器要求在 § 23 中有详细说明。