Question

在C++中有哪些运算符不可以重载的？

Answer 1

大部分的操作符是可以被重载的，例外的只有“.”、“::”、“?:”和“sizeof”。没有什么非禁止operator?:重载的理由，只不过没有必要而已。另外，expr1?expr2:expr3的重载函数无法保证expr2和expr3中只有一个被执行。
而“sizeof”无法被重载是因为不少内部操作，比如指针加法，都依赖于它，例如：

X a[10];
X* p = &a[3];
X* q = &a[3];
p++; // p points to a[4]
// thus the integer value of p must be
// sizeof(X) larger than the integer value of q

这样，sizeof(X)无法在不违背基本语言规则的前提下表达什么新的语义。
在N::m中，N和m都不是表达式，它们只是编译器“认识”的名字，“::”执行的实际操作是编译时的名字域解析，并没有表达式的运算牵涉在内。或许有人会觉得重载一个“x::y”（其中x是实际对象，而非名字域或类名）是一个好主意，但这样做引入了新的语法[译注：重载的本意是让操作符可以有新的语义，而不是更改语法——否则会引起混乱]，我可不认为新语法带来的复杂性会给我们什么好处。

原则上来说，“.”运算符是可以被重载的，就像“->”一样。不过，这会带来语义的混淆——我们到底是想和“.”后面的对象打交道呢，还是“.”后面的东东所实际指向的实体打交道呢？看看这个例子（它假设“.”重载是可以的）：

class Y {
public:
void f();
// ...
};

class X { // assume that you can overload . public:
Y* p;
Y& operator.()
void f();
// ...
};

void g(X& x)
{
x.f(); // X::f or Y::f or error?
}

Answer 2

大部分运算符都能重载，不能重载的运算符主要有：类属关系运算符“.”、成员指针运算符“*”、作用域分辨符“：：”、sizeof和三目运算符“？：”、指数运算符“**”、还有“#”运算符。

Answer 3

?:条件运算符
sizeof求字节运算符
::作用域解析运算符
.成员选择