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

classY {

    public:

        voidfun();

        // ...

};

classX { // 假设可以重载"."运算符

    public:

        Y* p;

        Y& operator.()

        {

            return*p;

         }

        voidfun();

        // ...

};

voidg(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