C++中不能重载的运算符原因

下面具体探讨下C++中不能重载的运算符： “  ?:  ”、  “  .  ”、“  ::  ” 、 “ sizeof  ”和“.*”，原因如下：

        在具体讲解各个运算符不能重载之前，先来说明下【重载】：  重载的本意是让操作符可以有新的语义，而不是更改语法——否则会引起混乱。

        【注】重载的部分规则：  运算符函数的参数至少有一个必须是类的对象或者类的对象的引用。

        (1).  “  ?:  ”运算符，假如能够重载，那么问题来了，看下面的语句：

1	exp1?exp2:exp3

        该运算符的本意是执行exp2和exp3中的一个，可是重载后，你能保证只执行了一个吗？还是说两个都能执行？亦或两条都不能执行？    “  ?:  ”运算符的跳转性质就不复存在了，  这就是  “  ?:  ”  运算符不能够被重载的最主要原因。   

 

        (2).  “  .  ”运算符，假如能够重载，那么，问题来了，看下面的例子：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

class Y {      public :          void fun();          // ... }; class X {  // 假设可以重载"."运算符      public :          Y* p;          Y& operator.()          {              return *p;           }          void fun();          // ... }; void g(X& x){          x.fun();  //请告诉我，这里的函数fun()到底是X的，还是Y的？ }

        " ."运算符的本意是引用对象成员的，然而被重载后就不能保证本意，从而带来运算符意义的混淆，如果每个人都这么重载，那更不容易学习C++语言了。

        (3). “  ::  ”运算符，M::a，该运算符只是在编译的时候域解析，而没有运算的参与进来，由前面【注】重规则可知，如果重载之后，::运算符有了新的语义，那是不是会引起混淆呢？

        (4).  “  sizeof  ”运算符，该运算符不能被重载的主要原因是内部许多指针都依赖它，举例说明重载的后果：

1 2 3 4 5 6

A b[10]; //A是类 A* p = &a[3]; A* q = &a[3]; p++; //执行后，p指向a[4]，记住是指向a[4]！根据C++规定，该操作等同于p+sizeof(A)，此时      //p应该比q大A类所占字节的大小，事实上，p并不一定会比q大这么多，因为你把sizeof()运算      //符重载了啊！这时的sizeof(A)并不一定是该类占用的字节大小！

（5）  ".*"引用成员指针运算符，具体原因后面查明白了补充~

https://www.nowcoder.com/test/question/done?tid=10034430&qid=25530#summary