[问题] 内存配置的奇怪现象

楼主: gowrite (gowrite)   2017-09-06 23:38:01
开发平台(Platform): (Ex: Win10, Linux, ...)
windows 8
编译器(Ex: GCC, clang, VC++...)+目标环境(跟开发平台不同的话需列出)
gcc ( IDE == code::blocks )
额外使用到的函数库(Library Used): (Ex: OpenGL, ...)
n/a
问题(Question):
最近在学习结构 struct,顺便观察所配置的内存数量,发现一个奇怪的现象
如果我定义一个结构 s1,里面设定一个字符阵列 chArr
struct s1{
char chArr[ N ]
}
chArr 的长度我随便设定 N
因为我知道 char 所占的内存就是 1 byte ,
所以 printf( "%d" , sizeof(a) ); 数量就是 N,
到这里都没问题。
可是当我另外定义了一个结构 s2,里面设定了一个字符阵列 chArr 跟 int num,
这时候,字符阵列的 chArr 的内存分配就会以 4 bytes 的倍数来跳
struct s2{
char ch[0];
int num;
};
int main(){
struct s2 abc;
printf("size of abc == %d" , sizeof(abc));
}
照理说如果有宣告一个结构变量 abc,那 abc 所占的内存量应该是
char [n] + int
n bytes + 4 bytes == (n+4) bytes
当我设定
ch[0] == printf 出来是 abc 的内存用量是 4 (正确)
( 0byte + 4bytes == 4bytes )
可是当我增加字符阵列的 size 之后
ch[1] == printf 出来是 abc 的内存用量是 8 (怪) (预期是 5)
ch[2] == printf 出来是 abc 的内存用量是 8 (怪) (预期是 6)
ch[3] == printf 出来是 abc 的内存用量是 8 (怪) (预期是 7)
ch[4] == printf 出来是 abc 的内存用量是 8 (正确)
ch[5] == printf 出来是 abc 的内存用量是 12 (怪) (预期是 9)
ch[6] == printf 出来是 abc 的内存用量是 12 (怪) (预期是 10)
ch[7] == printf 出来是 abc 的内存用量是 12 (怪) (预期是 11)
ch[8] == printf 出来是 abc 的内存用量是 12 (正确)
ch[9] == printf 出来是 abc 的内存用量是 16 (怪) (预期是 13)
ch[10] == printf 出来是 abc 的内存用量是 16 (怪) (预期是 14)
ch[11] == printf 出来是 abc 的内存用量是 16 (怪) (预期是 15)
ch[12] == printf 出来是 abc 的内存用量是 16 (正确)
.
.
.
这个情况只有在结构有加入 int 的变量时会发生,
如果只有一个字符变量或两个字符变量都不会发生,
其他型态变量,目前还没发现,
想问是我哪边 code 有写错吗?
还是 compilor 的问题??
谢谢。
喂入的资料(Input):
如上
预期的正确结果(Expected Output):
分析结果如上
错误结果(Wrong Output):
内存分配有违反 char type 1 byte 状况
分析结果如上
程式码(Code):(请善用置底文网页, 记得排版)
struct s2{
char ch[0];
int num;
};
int main(){
struct s2 abc;
printf("size of abc == %d" , sizeof(abc));
}
补充说明(Supplement):
n/a
作者: Caesar08 (Caesar)   2017-09-06 23:48:00
关键字:alignment与padding
作者: grayStone (灰色石头)   2017-09-06 23:53:00
code跟compiler都没问题
作者: steve1012 (steve)   2017-09-07 00:15:00
你想要很紧致的话也可以加个keyword 让他没有padding主要是因为cpu 一次都抓很多个byte起来 所以compiler会加padding 细节你还是google一下有详尽解说
作者: RouterHsieh (醉卧美人膝,醒掌天下权)   2017-09-07 03:29:00
作者: b0920075 (Void)   2017-09-07 06:23:00
对齐,这样存取资源比较有效率
作者: s4300026 (s4300026)   2017-09-07 07:48:00
咦! 我还以为是int、char宣告顺序的问题,内存大小是根据struct内依序宣告中,占用最大内存空间的变量为宣告标准
作者: Killercat (杀人猫™)   2017-09-07 08:35:00
不是,纯粹就是alignment 又不是union XD不过这的确是没经验的人容易踩到雷的地方
作者: TianBonBon (田蹦蹦)   2017-09-07 12:31:00
有大大清楚支援unaligned的ARMv7编译器会如何处置吗?
作者: rbufghj9713 (我只是来潜水)   2017-09-08 00:43:00
对了!如果有使用class的virtual function也会有类似的结果
作者: dou0228 (7777)   2017-09-13 09:44:00
padding 问题,如果不想要compiler帮你加,就要加keyword最常见的就是在网络封包上,定义好的结构不可以被更改
作者: Killercat (杀人猫™)   2017-09-13 23:50:00
protocol绝对要用bitfield或者自己做好padding不过自制padding很容易搞出相容性的人命就是 bitfield相对好做很多

Links booklink

Contact Us: admin [ a t ] ucptt.com