Objective-C重写方法：可空与非空参数的警告差异原因咨询

你观察得特别准！这背后确实是Objective-C空性约束的兼容性规则在起作用，核心逻辑就是：子类重写方法时，只能放宽父类的参数约束，不能收紧。

先明确两种空性约束的严格程度 #

• _Nonnull是更严格的约束：要求调用者必须传入非空值，方法实现可以安全地假设参数不为空，不需要做nil判断
• _Nullable是更宽松的约束：允许传入nil，方法实现必须处理参数为空的情况

两种修改场景的具体分析 #

1. 父类_Nullable → 子类_Nonnull（收紧约束）：触发警告

这种修改会直接打破里氏替换原则——如果有代码原本用父类指针调用这个方法并传入nil（完全符合父类的契约），换成子类实例后，子类的方法要求参数非空，就会出现预期外的nil值，可能导致崩溃或逻辑错误。

编译器抛出conflicting nullability specifier警告，就是在提醒你：这种修改会破坏向上兼容性，子类的要求比父类更严格，调用父类接口的现有代码可能无法满足子类的新约束。

举个代码例子：
父类定义：

@interface Parent : NSObject
- (void)handleData:(nullable id)data;
@end

子类重写：

@interface Child : Parent
- (void)handleData:(nonnull id)data; // 这里会触发警告
@end

如果有代码Parent *obj = [[Child alloc] init]; [obj handleData:nil];，按父类契约是合法调用，但实际执行子类方法时，子类期望非空参数，就会出问题。

2. 父类_Nonnull → 子类_Nullable（放宽约束）：无警告

这种修改是完全兼容的：

• 原有调用父类方法的代码，传入的都是符合_Nonnull要求的非空值，子类的方法完全可以处理这些合法输入
• 子类额外允许传入nil，相当于扩展了方法的输入范围，不会影响任何依赖父类契约的现有代码

编译器认为这种修改是安全的，因为子类的契约是父类契约的超集——它接受父类允许的所有输入，还多支持了空值，不会破坏现有代码的正确性。

总结 #

Objective-C的空性检查本质是在维护父类与子类的契约兼容性：

• 放宽约束（从严格到宽松）：兼容原有代码，安全无警告
• 收紧约束（从宽松到严格）：破坏原有契约，触发警告提醒风险

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