转:为什么C++中空类和空结构体大小为1?
参考:http://www.spongeliu.com/260.html
对于结构体和空类大小是1这个问题,首先这是一个C++问题,在C语言下空结构体大小为0(当然这是编译器相关的)。这里的空类和空结构体是指类或结构体中没有任何成员。
在C++下,空类和空结构体的大小是1(编译器相关),这是为什么呢?为什么不是0?
这是因为,C++标准中规定,“no object shall have the same address in memory as any other variable” ,就是任何不同的对象不能拥有相同的内存地址。 如果空类大小为0,若我们声明一个这个类的对象数组,那么数组中的每个对象都拥有了相同的地址,这显然是违背标准的。
但是,也许你还有一个疑问,为什么C++标准中会有这么无聊的规定呢?
当然,这样规定显然是有原因的。我们假设C++中有一个类型T,我们声明一个类型T的数组,然后再声明一个T类型的指针指向数组中间某个元素,则我们将指针减去1,应该得到数组的另一个索引。如下代码:
1 |
T array[5]; |
上面的代码是一种指针运算,将两个指针相减,编译器作出如下面式子所示的动作:
diff = ((char *)&array[3] - (char *)&array[2]) / sizeof T;
式子应该不难懂把,很明显的一点就是这个式子的计算依赖于sizeof T。虽然上面只是一个例子,但是基本上所有的指针运算都依赖于sizeof T。
好,下面我们来看,如果允许不同的对象有相同的地址将会引发什么样的问题,看下面的例子:
1 |
&array[3] - &array[2] = &array[3] - &array[1] |
我们可以看到,在这个例子中,如果每个对象都拥有相同地址,我们将没有办法通过指针运算来区分不同的对象。还有一个更严重的问题,就是如果 sizeof T是0,就会导致编译器产生一个除0的操作,引发不可控的错误。
基于这个原因,如果允许结构体或者类的大小为0,编译器就需要实现一些复杂的代码来处理这些异常的指针运算。
所以,C++标准规定不同的对象不能拥有相同的地址。那么怎样才能保证这个条件被满足呢?最简单的方法莫过于不允许任何类型的大小为0。所以编译器为每个空类或者空结构体都增加了一个虚设的字节(有的编译器可能加的更多),这样这些空类和空结构的大小就不会是0,就可以保证他们的对象拥有彼此独立的地址。
最新文章
- Sql常用语句(3)
- 深入C#编程
- devexpress bandgridview使用总结(14.2)
- 序列中找子序列的dp
- [转]Unity 延迟执行一段代码的较为优雅的方式
- NSAttributedString之设置字间距与行间距
- 博客SEO-搜索引擎工作原理简介
- extjs之TypeError: d.read is not a function解决方案
- .NET之反射(1)
- PHP开发学习门户改版效果图投票
- ionic3+angular4开发混合app 之自定义组件
- jsp获取当前项目跟路径
- Android Studio Git 分支使用实践
- 【BZOJ 1701】Cow School(斜率优化/动态凸包/分治优化)
- 简单理解php深复制浅复制问题
- python练习题-day9
- c# 之partial(分部代码和分部类)
- 基于BindingSource的WinForm开发
- Loadrunner对https协议(单双向SSL)的web端性能测试
- hdu 1000 真水题
热门文章
- 哈希-Snowflake Snow Snowflakes 分类: POJ 哈希 2015-08-06 20:53 2人阅读 评论(0) 收藏
- JAVA基础知识之多线程——线程同步
- acdream 1093 女神的正多面体
- hdu 3398
- MUI 个推
- 复旦大学2014--2015学年第一学期高等代数I期末考试情况分析
- Zabbix监控交换机设置
- (1)创建一个叫做People的类: 属性:姓名、年龄、性别、身高 行为:说话、计算加法、改名 编写能为所有属性赋值的构造方法; (2)创建主类: 创建一个对象:名叫“张三”,性别“男”,年龄18岁,身高1.80; 让该对象调用成员方法: 说出“你好!” 计算23+45的值 将名字改为“李四”
- UVA 1291 十四 Dance Dance Revolution
- Linux安装配置JDK