C++无法重载点符号、::、sizeof等的原因

大多数的运算符能够被程序员重载。例外的是：

    . (点符号) :: ?: sizeof

并没有什么根本的原因要禁止重载?:。仅仅是因为，我没有发现有哪种特殊的情况需要重载一个三元运算符。注意一个重载了 表达式1？表达式2：表达式3 的函数，不能够保证表达式2：表达式3 中只有一个会被执行。

Sizeof 不能够被重载是因为内建的操作（built-in operations），诸如对一个指向数组的指针进行增量操作，必须依靠它。考虑一下：

  X a[10];
  X* p = &a[3];
  X* q = &a[3];
  p++; // p 指向a[4]
  // 那么p 的整型值必须比q 的整型值大出一个sizeof(X)

所以，sizeof(X)不能由程序员来赋予一个不同的新意义，以免违反基本的语法。

在N::m 中，无论N 还是m 都不是值的表达式；N 和m 是编译器知道的名字，::执行一个（编译期的）范围解析，而不是表达式求值。你可以想象一下，允许重载x::y 的话，x 可能是一个对象而不是一个名字空间（namespace）或者一个类，这样就会导致――与原来的表现相反――产生新的语法（允许 表达式1::表达式2）。很明显，这种复杂性不会带来任何好处。

理论上来说，.（点运算符）可以通过使用和->一样的技术来进行重载。但是，这样做会导致一个问题，那就是无法确定操作的是重载了.的对象呢，还是通过.引用的一个对象。例如：

class Y {
  public:
  void f();
  // ...
};
class X { // 假设你能重载.
  Y* p;
  Y& operator.() { return *p; }
  void f();
  // ...
};
void g(X& x){
  x.f(); // X::f 还是Y::f 还是错误？
}

附上C++重载的一些总结

重载操作符的限制：

1 并不是所有的操作符都能被重载。除了. ，.* ，:: ，? : ，sizeof，typeid这几个运算符不能被重载，其他运算符都能被重载
2 重载不能改变该运算符用于内置类型时的函义，程序员不能改变运算符+用于两个int型时的含义。
3 运算符函数的参数至少有一个必须是类的对象或者类的对象的引用。这种规定可以防止程序员运用运算符改变内置类型的函义。
4 重载不能改变运算符的优先级。
5 重载不能改变运算符的结合律。
6 重载不能改变运算符操作数的个数。比如+需要两个操作数，则重载的+也必须要有两个操作数。

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!