C++无法重载点符号、::、sizeof等的原因
大多数的运算符能够被程序员重载。例外的是:
.(点符号)::?:sizeof
并没有什么根本的原因要禁止重载?:。仅仅是因为,我没有发现有哪种特殊的情况需要重载一个三元运算符。注意一个重载了表达式1?表达式2:表达式3的函数,不能够保证表达式2:表达式3中只有一个会被执行。
Sizeof不能够被重载是因为内建的操作(built-inoperations),诸如对一个指向数组的指针进行增量操作,必须依靠它。考虑一下:
Xa[10]; X*p=&a[3]; X*q=&a[3]; p++;//p指向a[4] //那么p的整型值必须比q的整型值大出一个sizeof(X)
所以,sizeof(X)不能由程序员来赋予一个不同的新意义,以免违反基本的语法。
在N::m中,无论N还是m都不是值的表达式;N和m是编译器知道的名字,::执行一个(编译期的)范围解析,而不是表达式求值。你可以想象一下,允许重载x::y的话,x可能是一个对象而不是一个名字空间(namespace)或者一个类,这样就会导致——与原来的表现相反——产生新的语法(允许表达式1::表达式2)。很明显,这种复杂性不会带来任何好处。
理论上来说,.(点运算符)可以通过使用和->一样的技术来进行重载。但是,这样做会导致一个问题,那就是无法确定操作的是重载了.的对象呢,还是通过.引用的一个对象。例如:
classY{ public: voidf(); //... }; classX{//假设你能重载. Y*p; Y&operator.(){return*p;} voidf(); //... }; voidg(X&x){ x.f();//X::f还是Y::f还是错误? }
附上C++重载的一些总结
重载操作符的限制:
1并不是所有的操作符都能被重载。除了.,.*,::,?:,sizeof,typeid这几个运算符不能被重载,其他运算符都能被重载
2重载不能改变该运算符用于内置类型时的函义,程序员不能改变运算符+用于两个int型时的含义。
3运算符函数的参数至少有一个必须是类的对象或者类的对象的引用。这种规定可以防止程序员运用运算符改变内置类型的函义。
4重载不能改变运算符的优先级。
5重载不能改变运算符的结合律。
6重载不能改变运算符操作数的个数。比如+需要两个操作数,则重载的+也必须要有两个操作数。