作者aresnmars (哎哟)
看板C_and_CPP
标题[问题] 关於结构内的指标
时间Tue Feb 7 22:19:52 2017
编译器
gcc
问题(Question)：
请教各位版友们，能否知道下列这段程式，会在哪一行当掉呢？
又，当掉的原因为何？
或许对各位版友来说，很基本。
但我想了整晚，没能想透。
因此，在版上虚心向各位请教。
程式码(Code)：(请善用置底文网页, 记得排版)
#include <stdio.h>
struct S{
int i;
int *p;
};
int main(int argc, char **argv){
struct S s;
int *ptr = &s.i;
ptr[0] = 4;
ptr[1] = 3;
s.p = ptr;
s.p[1] = 1;
s.p[0] = 2;
return 0;
}
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.36.72.232
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/C_and_CPP/M.1486477194.A.856.html
1F：→ colako: 与其想不如试？debug下用单步执行看会不会挂掉 02/07 22:29
2F：→ aresnmars: debug是在s.p[0]=2会挂掉，但我认为原因应该不是出在此 02/07 22:33
3F：推 nick5130: 因为int跟pointer占的记忆体大小一样，如果是64bit系统 02/07 22:43
4F：→ nick5130: 就是8个bytes 02/07 22:43
5F：→ nick5130: 你在第一个ptr做给值的动作的时候其实ptr 0给的是struct 02/07 22:44
6F：→ nick5130: 内的int 02/07 22:44
7F：→ nick5130: ptr 1则是会更改到struct内指标指到的位置 02/07 22:45
8F：→ nick5130: 接着s.p 1那边你已经改掉s.p指到的位置了，所以当你去改 02/07 22:47
9F：→ nick5130: s.p 0的时候就不知道改到哪里去 就死了 02/07 22:47
10F：→ nick5130: 手机推文 排版不好还请见谅 有错请指正 02/07 22:47
11F：→ aresnmars: 谢谢n大，所以其实不正确的行为应该是：ptr[1]=3，对吗 02/07 22:53
12F：→ aresnmars: 我把第5行遮掉，就不会当。真的有点想不通 ... 02/07 22:55
13F：→ aresnmars: 第5行，指的是：s.p[0] = 2 02/07 22:55
14F：推 nick5130: 不正确的行为是这行 02/07 23:09
15F：→ nick5130: s.p[1] = 1; 02/07 23:09
16F：→ nick5130: 他改掉了你s.p指向的位置 後面任何对s.p的操作都会死 02/07 23:11
17F：推 nick5130: ptr[1] s.p s.p[1] 在你写的这个逻辑下，这三项 02/07 23:13
18F：→ nick5130: 变数改的都是同一个东西 02/07 23:13
19F：推 prismwu: sizeof(s) &s.i &s.p 这3个都印看看 应该就知道了 02/07 23:19
20F：推 littleshan: ptr[1] = 3 ←这边就是未定义行为了 02/07 23:42
21F：→ littleshan: int 和 pointer 大小也不一定相同 02/07 23:43
22F：→ littleshan: 型别不同加上 struct 可能会有 padding，你不能把 02/07 23:54
23F：→ littleshan: ptr[1] 与 s.p 当作一样的东西 02/07 23:54
24F：→ aresnmars: 先谢谢各位热心的版友，我理解消化一下 ...... 02/08 00:22
25F：推 nick5130: 换我有问题想问了 XD 在他这个struct结构下 02/08 10:42
26F：→ nick5130: ptr[1] = 3 为什麽会是未定义行为? 02/08 10:42
27F：→ nick5130: 在这个struct之下，应该不会有padding才对? 02/08 10:43
28F：→ nick5130: 还有哪一种系统下int跟pointer大小会不一样? 02/08 10:45
29F：→ nick5130: 我知道这跟OS有关，不过目前常见OS好像都一样? 02/08 10:46
30F：→ nick5130: 当然观念上不会这样写 但把3视为一个记忆体位置也行吧? 02/08 10:47
31F：→ nick5130: 我错了 int跟int*记忆体大小不一样 各位见笑了 XD 02/08 13:43
32F：→ nick5130: 那ptr[1] = 3 以後的程式码基本上就没有什麽意义了 02/08 13:51
33F：推 LPH66: 稍微补充一点, 印象中原本 C 语言的 int 是有意要当做 02/08 17:50
34F：→ LPH66: 该环境的 native size 使用的, 所以在 16→32 的时候才会有 02/08 17:51
35F：→ LPH66: 旧的 int 16 bit 新的 int 32 bit 的分别 02/08 17:51
36F：→ LPH66: 不过似乎是因为 32 的架构太普遍了, 所以 64 bit 的 ABI 02/08 17:52
37F：→ LPH66: 就有分 LLP64, LP64, ILP64, SILP64 几种 02/08 17:52
38F：→ LPH66: 上面是在描述哪些资料型态是 64 bit 大小 02/08 17:53
39F：→ LPH66: LLP64 只有 long long 是, LP64 下到 long, ILP64 下到 int 02/08 17:53
40F：→ LPH66: SILP64 再下到 short, 其他没提的就跟 32 bit ABI 一样 02/08 17:53
41F：→ LPH66: 里面的 P 则是指标, 毕竟指标几乎都是 native size 02/08 17:54
42F：→ LPH66: 那在 LLP64/LP64 的 ABI 里 int 就还是 32-bit 了 02/08 17:55
43F：→ LPH66: 也就是 int 的大小已经跟 native size 没什麽关连了 02/08 17:56
45F：→ Caesar08: 看data models的部分 02/08 19:18
46F：→ aresnmars: 我找到讨论这题的网页：goo.gl/vhP3td 02/09 02:39
47F：→ aresnmars: 程式当掉，确实当在网页上描述的行数。 02/09 02:52
48F：→ aresnmars: 但是我仍然不明白这个网页上描述的原因。 02/09 02:53
49F：→ LPH66: 那边讨论的就是当 sizeof(int) == sizeo(int*) 02/09 03:13
50F：→ LPH66: 且结构成员之间没有 padding 时的行为 02/09 03:13
51F：→ LPH66: 跟 nick5130 最一开始推文讲的东西一模一样 02/09 03:13
52F：→ aresnmars: 谢谢版友大家热心的解说，虚心受教於您们的推文和来信 02/09 10:44