至顶网›软件频道 ›基础软件›Bjarne：为什么一个空类的大小不为0？

Bjarne：为什么一个空类的大小不为0？

扫一扫
分享文章到微信
扫一扫
关注官方公众号
至顶头条

要清楚，两个不同的对象的地址也是不同的。基于同样的理由，new总是返回指向不同对象的指针。

作者：Molly编译来源：天极网 2007年10月27日

　要清楚，两个不同的对象的地址也是不同的。基于同样的理由，new总是返回指向不同对象的指针。

　　看看：

class Empty { };

void f()
{
　Empty a, b;
　if (&a == &b) cout << "impossible: report error to compiler supplier";

　Empty* p1 = new Empty;
　Empty* p2 = new Empty;
　if (p1 == p2) cout << "impossible: report error to compiler supplier";

}

　　有一条有趣的规则：一个空的基类并不一定有分隔字节。

struct X : Empty {
　int a;
　// ...
};

void f(X* p)
{
　void* p1 = p;
　void* p2 = &p->a;
　if (p1 == p2) cout << "nice: good optimizer";
}

　　这种优化是允许的，可以被广泛使用。它允许程序员使用空类以表现一些简单的概念。现在有些编译器提供这种“空基类优化”(empty base class optimization)。

查看本文来源