为什么我不能重载点符号,::,sizeof,等等?

  
大多数的运算符能够被程序员重载。例外的是: 
  
    . (点符号)  ::  ?:  sizeof 
  
并没有什么根本的原因要禁止重载?:。仅仅是因为,我没有发现有哪种特殊的情况需要重
载一个三元运算符。注意一个重载了 表达式1?表达式2:表达式 3 的函数,不能够保证
表达式 2:表达式3 中只有一个会被执行。 
  
Sizeof 不能够被重载是因为内建的操作(built-in operations),诸如对一个指向
数组的指针进行增量操作,必须依靠它。考虑一下: 
  
    X a[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)。很明显,这种复杂性不会带
来任何好处。 
  
理论上来说,.(点运算符)可以通过使用和->一样的技术来进行重载。但是,这样做会导
致一个问题,那就是无法确定操作的是重载了.的对象呢,还是通过.引用的一个对象。例
如: 
  
  
    class Y { 
    public: 
        void f(); 
        // ... 
    }; 
  
    class X {   // 假设你能重载. 
        Y* p; 
        Y& operator.() { return *p; } 
        void f(); 
        // ... 
    }; 
  
    void g(X& x) 
    { 
        x.f();  // X::f还是Y::f还是错误? 
    } 
  
这个问题能够用几种不同的方法解决。在标准化的时候,哪种方法最好还没有定论。更多的
细节,请参见《C++语言的设计和演变》。 

posted on 2007-03-24 09:52 阿刚 阅读(996) 评论(0)  编辑 收藏 引用


只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理


导航

<2007年3月>
25262728123
45678910
11121314151617
18192021222324
25262728293031
1234567

统计

常用链接

留言簿(1)

随笔档案

文章档案

C++ BBS

C++ FAQ

C++ WEBSITE

搜索

最新随笔

最新评论

阅读排行榜

评论排行榜