Objective-C未指定_Nullable为何允许方法返回NULL？

这事儿得从Objective-C的历史包袱和编译器的设计逻辑说起，咱们掰开揉碎了讲：

1. Objective-C的“向后兼容”基因 #

Objective-C早在可空注解（_Nullable/_Nonnull）出现前就存在了，几十年的老代码里，开发者都是直接返回nil（或者字符串指针用的NULL，本质和nil是一回事，因为NSString*属于对象指针）。为了不把这些遗留代码搞崩，编译器默认保留了这种“允许返回空指针”的行为——总不能让十几年前的项目突然编译报错吧？

2. 可空注解是静态分析工具，不是语法强制规则 #

_Nullable这类标记是苹果后来给LLVM编译器加的静态分析增强功能，目的是帮你提前揪出潜在的空指针问题，而不是改变Objective-C的语法本身：

• 如果你标注了_Nonnull，编译器会严格检查，要是你返回NULL，立刻给你抛警告（甚至错误，取决于你开启的警告等级）
• 但如果没加任何可空标记，编译器就回到“传统宽松模式”，默认你自己清楚这个方法可能返回空，不会主动干涉

3. NULL/nil在Objective-C里是合法的对象指针空值 #

在Objective-C的语法规则里，对象指针的空值（nil）是完全合法的。NULL本来是void*的空值，但赋值给NSString*这类对象指针时会被隐式转换，编译器完全认可这种操作——哪怕你没标注可空，返回空指针在语法上本身就没问题。

举个实际的例子，要是你把方法声明改成这样：

- (nonnull NSString*)convertName;

这时候编译器就会对你返回NULL的行为发出警告了，因为你明确告诉它这个方法绝对不能返回空。但如果没加这个注解，编译器就默认你自己掌控了空值的处理，不会多管闲事。

内容的提问来源于stack exchange，提问作者shantinique64