c++ - 什么特殊规则适用于一元 & 运算符？

Question

是否有适用于一元 & 运算符的特殊规则？

例如代码:

#include <iostream>
struct X
{
    X() {}
    void* operator &() { return NULL; }
};
int main()
{
    const X x;
    std::cout << &x << std::endl;
    X y;
    std::cout << &y;
}

产生输出

0xbfbccb33
0

由于我之前在这里进行过讨论，我知道它会像这样编译和运行，但如果我不知道这一点，我会预料到它会编译失败，因为 operator & 未声明 const.

因此，无论 operator &() 是否重载，编译器都会生成 operator &() const。很好，这是有道理的，尤其是对于样本和输出。

问题是标准在哪里详细说明了这种行为？

我不是在寻找重复我在问题中已经说过的内容的答案，所以请不要解释我的重载运算符如何不能在 const 对象上调用，因为我已经知道了。

Answer 1

n3337 13.3.1.2/9

If the operator is the operator ,, the unary operator &, or the operator ->, and there are no viable functions,then the operator is assumed to be the built-in operator and interpreted according to Clause 5.