一元和算子有什么特殊规则？

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 &() const无论是否operator &()过载,编译器似乎都会生成.很好,这很有意义,尤其是样本和输出.

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

我不是在寻找重复我在问题中已经说明的答案的答案,所以请不要解释我的重载操作符是如何在一个const对象上调用的,因为我已经知道了.

Answer 1

n3337 13.3.1.2/9

如果运算符是运算符,一元运算符&或运算符 - >,并且没有可行的函数,则假定运算符是内置运算符并根据第5条进行解释.