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 还是错误？ }

1 并不是所有的操作符都能被重载。除了. ，.* ，:: ，? : ，sizeof，typeid这几个运算符不能被重载，其他运算符都能被重载

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

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

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

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

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

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

    . (点符号) :: ?: sizeof

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

重载操作符的限制：

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