blocks|key|331808|text|因为你在NULL指针上执行指针算术，这会调用未定义的行为-而这并不需要崩溃。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|331809|entityMap^0|4|4|0^^$0|@$1|2|3|4|5|6|7|H|8|@$9|I|A|J|B|C]]|D|@]|E|$]]|$1|F|3|-4|5|6|7|K|8|@]|D|@]|E|$]]]|G|$]]

Because you are performing pointer arithmetic on a <code>NULL</code> pointer which invokes undefined behavior - and that's not required to crash.

blocks|key|331849|text|实际上，在GNU中，当st+*ptr2=NULL;在结构中产生数据成员'b‘的字节偏移量时，&ptr2->b在这里是4|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|331850|entityMap^0|B|E|1A|8|0^^$0|@$1|2|3|4|5|6|7|H|8|@$9|I|A|J|B|C]|$9|K|A|L|B|C]]|D|@]|E|$]]|$1|F|3|-4|5|6|7|M|8|@]|D|@]|E|$]]]|G|$]]

actually, in GNU C, <code>&amp;ptr2-&gt;b</code> while <code>st *ptr2=NULL;</code> produce the data member 'b' 's byte offset in the struct, it is 4 here

blocks|key|4112502|text|不幸的是，取消引用空指针并不总是崩溃！有时它只是愉快地向前移动，访问无效的内存！|type|unstyled|depth|inlineStyleRanges|entityRanges|data|4112503|你可能看到的是输出值'12‘。当你取消引用一个指针时，编译器所做的就是添加一个偏移量来获得成员的地址。|4112504|int通常为4字节长，因此如果ptr2的地址为10，则ptr2->a也必须位于地址10，ptr2->b必须位于14，ptr2->c必须位于地址18。|offset|length|style|CODE|4112505|因为ptr2是NULL，所以它会加上4来获取成员b和NULL%2B4=4，然后在ptr1中添加4并取消引用，这样就得到了ptr1的b成员！|4112506|但是这不是可移植的，你不应该这样做！|4112507|entityMap^0|0|0|0|3|F|4|R|7|18|7|1M|7|0|7|4|O|1|Q|4|12|4|1M|4|1R|1|0|0^^$0|@$1|2|3|4|5|6|7|P|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|Q|8|@]|9|@]|A|$]]|$1|D|3|E|5|6|7|R|8|@$F|S|G|T|H|I]|$F|U|G|V|H|I]|$F|W|G|X|H|I]|$F|Y|G|Z|H|I]|$F|10|G|11|H|I]]|9|@]|A|$]]|$1|J|3|K|5|6|7|12|8|@$F|13|G|14|H|I]|$F|15|G|16|H|I]|$F|17|G|18|H|I]|$F|19|G|1A|H|I]|$F|1B|G|1C|H|I]|$F|1D|G|1E|H|I]]|9|@]|A|$]]|$1|L|3|M|5|6|7|1F|8|@]|9|@]|A|$]]|$1|N|3|-4|5|6|7|1G|8|@]|9|@]|A|$]]]|O|$]]

Unfortunately, dereferencing a null pointer doesn't always crash! Sometimes it just happily moves ahead, accessing invalid memory!

You're probably seeing the output value '12'. What the compiler is doing when you dereference a pointer is adding an offset to get the address of member.

<code>int</code>s are typically 4 bytes long, so if <code>ptr2</code> had an address of, say, 10, then <code>ptr2-&gt;a</code> must also be at address 10, <code>ptr2-&gt;b</code> must be at 14, and <code>ptr2-&gt;c</code> must be at address 18.

Since ptr2 is <code>NULL</code>, it's adding 4 to get to member <code>b</code>, and <code>NULL</code>+4=4. Then you're adding 4 to <code>ptr1</code> and dereferencing that, which gets you <code>ptr1</code>'s <code>b</code> member!

But this is not portable, and you shouldn't do this!

blocks|key|4112529|text|这是完全合法的用法，因为"take+address+of"-operator实际上意味着：“不要加载/存储变量的值，只需给我计算出的访问它的地址。”它在实际的未定义行为被调用之前停止访问。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|4112530|这是编程中的一种典型用法，以至于它实际上被封装在offsetof()宏中(它在linux中使用得相当广泛)，并且已经进入编译器本身，以提供更有意义的错误消息。有关更多详细信息，请参阅http://en.wikipedia.org/wiki/Offsetof，尽管我不同意这篇关于该语句合法性的文章。|offset|length|4112531|entityMap|0|LINK|mutability|MUTABLE|url|http://en.wikipedia.org/wiki/Offsetof^0|0|2J|11|0|0^^$0|@$1|2|3|4|5|6|7|N|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|O|8|@]|9|@$D|P|E|Q|1|R]]|A|$]]|$1|F|3|-4|5|6|7|S|8|@]|9|@]|A|$]]]|G|$H|$5|I|J|K|A|$L|M]]]]

This is perfectly legal usage because the "take address of"-operator actually means: "Do not load/store the value of the variable, just give me the address you have computed to access it." It stops the access before the actual undefined behaviour is invoked.

This is such a typical idiom in programming that it was actually encapsulated in the offsetof() macro (which is used quite extensively in linux) and has since made its way into the compilers themselves to provide more meaningful error messages. See <a href="http://en.wikipedia.org/wiki/Offsetof" rel="nofollow">http://en.wikipedia.org/wiki/Offsetof</a> for more details, even though I disagree with this article on the legality of the statement.

Why the following expression is not a (null pointer) runtime error?

<pre><code>typedef struct{
 int a,b,c;
 } st;

st obj={10,12,15};
st *ptr1=&amp;obj;
st *ptr2=NULL;

printf("%d",*(int *)((char*)ptr1+(int)&amp;ptr2-&gt;b));
</code></pre>

Address of members of a struct via NULL pointer

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

为什么下面的表达式不是(空指针)运行时错误？typedef struct{           int a,b,c;          } st;st obj={10,12,15};st *ptr1=&obj;st *ptr2=NULL;printf("%d",*(int *)((char*)ptr1+(int)&pt...

问通过空指针的结构成员的地址
EN

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问通过空指针的结构成员的地址EN