• 丰搜首页
• 文档中心
• 视频中心
• 丰搜贴吧
• 问题集锦
• 更多功能

选择显示字体大小

• 最大
• 较大
• 标准

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

　　要清楚，两个不同的对象的地址也是不同的。基于同样的理由，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)。

 

关键字 本文所属关键字

相关 与本文相关文章

分类 所有文章关键字导航

标准 网站致力的规范