C++使struct對象擁有可變大小的數組(詳解)_C 語言

首先摘錄《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對象擁有可變大小的數組(詳解)全部內容了，希望大家多多支援雲棲社區~