什么是 nil，但在插入 NSMutableDictionary 时不是 nil

Question

我在iPhone 6，iOS 8.3上遇到了一些奇怪的行为。

appVersion 是一个传入的 NSString* 参数。

  NSLog(@"A:%@:%d",appVersion,(int)appVersion.length);
  if (!appVersion)
    NSLog(@"a");
  if (appVersion == 0)
    NSLog(@"b");
  if (appVersion == nil)
    NSLog(@"c");
  if (appVersion == NULL)
    NSLog(@"d");
  if (appVersion == Nil)
    NSLog(@"e");
  if ([appVersion isEqual:[NSNull null]])
    NSLog(@"f");
  NSString* av = [NSString stringWithFormat:@"%@",appVersion];
  if ([av isEqualToString:@"(null)"])
    NSLog(@"g");
  if (((int)appVersion) == 0)
    NSLog(@"h");
  if (appVersion) {
    NSLog(@"B:%@:%d",appVersion,(int)appVersion);
    params[@"appversion"] = appVersion;
  }

应用的发布版本返回：

A:(null):0
g
h
B:(null):0

然后崩溃（"对象不能为零（键：应用版本）"）。

调试版本返回：

a
b
c
d
e
g
h

什么是零，但不是零？

Answer 1

我正在使用一些遗留代码，没有注意到 .h 和 .m 文件之间的方法签名存在差异。

.h 文件具有：

- (void) verifyWinner:(NSString*)baseAcctId
           appVersion:(NSString*)appVersion
           onComplete:(OnCompleteWinnerVerifier)onComplete __attribute__((nonnull));

我猜原始开发人员希望防止将onComplete设置为nil。 但是，由于某种原因，__attribute__((nonnull))与每个参数相关联。

由于__attribute__标记，XCode 正在优化发布版本的所有 ！= nil 检查，导致崩溃。

这个问题直到现在才出现在XCode 6.3中。 因此，也许Apple最近添加了优化，或者在6.3中引入了一个错误，该错误将__attribute__与每个参数相关联，而不仅仅是旁边的参数（无论如何出于优化目的）。

Answer 2

检查 [NSNull null]

NSNull 类定义一个单一实例对象，用于在禁止将 nil 作为值的情况下（通常在集合对象（如数组或字典）中）表示 null 值。

https://developer.apple.com/library/mac/documentation/Cocoa/Conceptual/NumbersandValues/Articles/Null.html

Answer 3

结果看起来很奇怪。有一篇不错的文章;谷歌搜索 Chris Lattner（Swift 的首席开发人员，所以他应该知道他在说什么）的"每个程序员都应该知道的关于未定义行为的事情"。

看起来在第一个 NSLog 语句之后，优化编译器决定 appVersion 不可能为 nil，因为将 nil 传递给 NSLog 将是未定义的行为。这就解释了为什么不打印 a 到 e。

打印"h"，因为 appVersion 是一个 64 位指针，int 只有 32 位，因此将非 nil appVersion 转换为 int 可能会产生零结果。优化器无法删除该检查，即使它确定 appVersion 不为零。

而且因为编译器确定 appVersion 不是 nil，所以最后一个测试没有完成，appVersion 被存储到 param 中，因为它是 nil，所以你会崩溃。