Objective-C 中的空指针取消引用未定义行为吗？答案

【问题标题】：Is null pointer dereference undefined behavior in Objective-C?Objective-C 中的空指针取消引用未定义行为吗？
【发布时间】：2012-11-30 19:15:59
【问题描述】：

在 C 和 C++ 中，空指针取消引用是未定义的行为。 Objective-C 呢？

换句话说，这段代码保证能做什么？

*(long*)0 = 0;

背景：我想知道this answer 是否会触发未定义的行为，这可能会导致随机的事情，比如语句被优化甚至更奇怪的事情。

当然，我不赞成这样做。尽管如此，了解语言的规则还是很重要的。

【问题讨论】：

【解决方案1】：

由于 Objective-C 只不过是 C 之上的一个面向对象的层，因此纯 C 语句没有特殊的附加含义。据此，在这种情况下，*(long*)0 = 0; 的评估和解释就像在 C 中一样（因为它是 C），因此它调用未定义的行为。因此，它不能保证做任何事情。

【讨论】：

【解决方案2】：

在 Objective-C 中取消引用空指针仍未定义。

唯一需要注意的是，消息传递不需要取消引用。向空指针（或 Objective-C 术语中的 nil）发送消息始终是明确安全的，并被定义为返回进一步的空指针。

因此，像[[class alloc] init] 这样的复合消息传递始终是明确安全的。

【讨论】：

【解决方案3】：

该语句保证唯一要做的就是调用未定义的行为。

可以保证使用特定编译器在特定平台上执行特定操作。

【讨论】：

【解决方案4】：

在那个答案中看到的 strcpy(0, "bla") 总是崩溃，我看不出它是如何工作的——或者被编译器优化掉。

【讨论】：