作者gowrite (gowrite)
看板C_and_CPP
标题[问题] 记忆体配置的奇怪现象
时间Wed Sep 6 23:38:01 2017
开发平台(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
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 123.195.54.122
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/C_and_CPP/M.1504712284.A.FD8.html
1F:→ Caesar08: 关键字:alignment与padding 09/06 23:48
2F:→ grayStone: code跟compiler都没问题 09/06 23:53
3F:推 steve1012: 你想要很紧致的话也可以加个keyword 让他没有padding 09/07 00:15
4F:→ steve1012: 主要是因为cpu 一次都抓很多个byte起来 所以compiler会 09/07 00:16
5F:→ steve1012: 加padding 细节你还是google一下有详尽解说 09/07 00:16
7F:推 b0920075: 对齐,这样存取资源比较有效率 09/07 06:23
8F:推 s4300026: 咦! 我还以为是int、char宣告顺序的问题,记忆体大小是 09/07 07:48
9F:→ s4300026: 根据struct内依序宣告中,占用最大记忆体空间的变数为 09/07 07:48
10F:→ s4300026: 宣告标准 09/07 07:48
11F:推 Killercat: 不是,纯粹就是alignment 又不是union XD 09/07 08:35
12F:→ Killercat: 不过这的确是没经验的人容易踩到雷的地方 09/07 08:36
13F:推 TianBonBon: 有大大清楚支援unaligned的ARMv7编译器会如何处置吗? 09/07 12:31
14F:推 rbufghj9713: 对了!如果有使用class的virtual function也会有类 09/08 00:43
15F:→ rbufghj9713: 似的结果 09/08 00:43
16F:推 dou0228: padding 问题,如果不想要compiler帮你加,就要加keyword 09/13 09:44
17F:→ dou0228: 最常见的就是在网路封包上,定义好的结构不可以被更改 09/13 09:45
18F:→ Killercat: protocol绝对要用bitfield或者自己做好padding 09/13 23:50
19F:→ Killercat: 不过自制padding很容易搞出相容性的人命就是 bitfield 09/13 23:50
20F:→ Killercat: 相对好做很多 09/13 23:50