考虑这个代码:
class Addressable; class Class1 { void foo(Addressable &a) { (void) &a; } }; // OK class Addressable { void *operator &() { return this; } }; class Class2 { void foo(Addressable &a) { (void) &a; } }; // Error: operator & private
为什么C允许使用不完整的参考类型的地址?
如上图所示,它不可能是非法的吗?这是有意的吗?
解决方法
是的,这是有意的,如果运算符和被超载是已知的.
早在C之前就已经有了不完整的地址.在C中,绝对没有任何破损的风险,因为&不能超载.
C选择不会不必要地破坏以前有效的程序,并且简单地指出,如果一个不完整的类型确实有一个超载&运算符,是否重载运算符被使用是未指定的.
报价N4140:
5.3.1 Unary operators [expr.unary.op]
If
&
is applied to an lvalue of incomplete class type and the complete type declaresoperator&()
,it is unspecified whether the operator has the built-in meaning or the operator function is called.
这可以解释为甚至应用于当前正在声明的课程,甚至在操作符&已经看到:
extern struct A a; struct A { int operator&(); decltype(&a) m; // int,or A *? }; int main() { return A().m; // only valid if m is int }
在这里,GCC给出A型*,并拒绝该程序,但是clang给它类型int并接受它.