C++使struct对象拥有可变大小的数组(详解)

时间:2021-05-20

首先摘录《Inside The C++ Object Model》中的一段话:

把单一元素的数组放在一个struct的尾端,于是每个 struct objects 可以拥有可变大小的数组:

struct mumble { char pc[1];};//获取一个字符串,然后为struct本身和该字符串配置足够的内存struct mumble *pmumbl = (struct mumble*)malloc(sizeof(structmumble) + strlen(string) + 1);strcpy(pmumbl->pc, string);

书上已经说得很明白,但个人理解的时候开始还是出了点问题,错误地认为 mumble 对象的 pc 成员在栈上,以为 strcpy 操作造成数组溢出而覆盖了后续内存。

实际上对象指针pmumbl所指的内存全部位于堆上,如下图所示:

指针 pmumbl 指向的是 malloc 所分配的整个内存,而 pmumbl->pc 指向的是这块内存的第一个字节,因为 malloc 操作为整个 string 分配了足够的内存,所以在 strcpy 时,虽然溢出了 pc 的内存范围,但没有溢出 struct 的内存范围,使得 strcpy 的结果是合理的和可控的。这样一来,相当于 struct 拥有了可变大小的数组,更加灵活。

以上就是小编为大家带来的C++使struct对象拥有可变大小的数组(详解)全部内容了,希望大家多多支持~

声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。

相关文章