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

时间:2021-09-20 21:23:14

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

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

?
1
2
3
4
5
6
7
8
9
10
11
12
struct mumble {
 
  char pc[1];
 
};
 
//获取一个字符串,然后为struct本身和该字符串配置足够的内存
 
struct mumble *pmumbl = (struct mumble*)malloc(sizeof(struct
mumble) + strlen(string) + 1);
 
strcpy(pmumbl->pc, string);

 

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

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

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

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

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