天天看点

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

继续阅读