• Item 28.话说指针比较(Meaning of Pointer Comparison)


    Item 28. Meaning of Pointer Comparison

    一个对象可能有多个有效的地址(本身的指针和指向基类的指针),假若有多个指针指向它,这些指针的指向就可能不同。那么在对这些指针做比较时,是对指针指向对象的地址作比较?还是对指针指向对象的标识作比较呢?

    例如:

    class Shape { ... };
    class Subject { ... };
    class ObservedBlob : public Shape, public Subject { ... };

    ObservedBlob *ob = new ObservedBlob;
    Shape *s = ob;
    Subject *subj = ob;

    if( ob == s ) ...
    if( subj == ob ) ...

    在这种情况下,上述的两个if都是true,即使ob,s,subj的地址不同。为什么会这样呢?
    既然ob,s,subj指向同一个对象,编译器就必须保证ob与s、subj相同(s和subj没有继承关系,所有它俩就肯定不同)。为了达到此目的,编译器令其中的一个指针加上(或减去)一个合适的偏移量delta,但如果两者都为NULL,那肯定相等了。这个偏移量大小是多少?只有编译器晓得,它保存在类型信息中。
    于是
    ob == subj
    被替换为:
    ob ? (ob+delta == subj) : (subj == 0)

    若丢失了指针的类型信息又如何呢?那可能判断的就不正确了。
    void *v = subj;                                              
    if( ob == v ) // not equal!   
    由于void*丢失了类型信息,编译器只好对纯地址作比较。而这样对对于指向类对象的指针作比较正确率就大大地*下降了。

  • 相关阅读:
    [原创] 毕设---在myeclipes中安装Hadoop开发插件
    [转]Linux下RPM软件包的安装及卸载 yum操作
    [转]结构化、半结构化和非结构化数据
    [转]这5种必知的大数据处理框架技术
    [转]浅谈Hive vs. HBase 区别在哪里
    前端资源整理
    每个程序员都应该知道的10大基础算法
    Python Day14(HTML)
    Python Day13(yaml)
    Python Day12(补充)
  • 原文地址:https://www.cnblogs.com/aiwz/p/6333224.html
Copyright © 2020-2023  润新知