C++中不能重载的运算符:“?:”、“.”、“::”、“sizeof”和”.*”,原因如下:
在具体讲解各个运算符不能重载之前,先来说明下【重载】:重载的本意是让操作符可以有新的语义,而不是更改语法——否则会引起混乱。
【注】重载的部分规则:运算符函数的参数至少有一个必须是类的对象或者类的对象的引用。
(1).“?:”运算符,假如能够重载,那么问题来了,看下面的语句:
exp1?exp2:exp3
该运算符的本意是执行exp2和exp3中的一个,可是重载后,你能保证只执行了一个吗?还是说两个都能执行?亦或两条都不能执行? “?:”运算符的跳转性质就不复存在了,这就是“?:”运算符不能够被重载的最主要原因。
(2).“.”运算符,假如能够重载,那么,问题来了,看下面的例子:
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”运算符,该运算符不能被重载的主要原因是内部许多指针都依赖它,举例说明重载的后果:
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)”.*”引用指向类成员的指针
【注】如果有哪里解释不当的地方,欢迎一起探讨~