没有默认情况的 Objective-C 枚举“详尽”开关的行为

Question

在 Swift 中，init(rawValue:) 系统确保将 Int 强制转换为枚举要么导致有效的枚举大小写，要么导致 nil。

在 Objective-C 中没有这样的安全性，可以通过强制转换非成员“rawValue”来创建无效的枚举成员。

typedef NS_ENUM(NSInteger, ExampleEnum) {
    first = 0,
    second,
    third,
};

+ (NSString *)stringForCase:(ExampleEnum)enumCase {
    switch (enumCase) {
        case first:  return @"first";
        case second: return @"second";
        case third:  return @"third";
    }
}

+ (void)testEnum {
    ExampleEnum invalidCase = (ExampleEnum)3; // this "rawValue" is out of bounds
    NSString *string = [self stringForCase:invalidCase]; // nil
}

打开枚举时，如果未处理枚举情况，编译器会警告您：

枚举值“第三个”未在开关中处理

但是一旦处理了所有情况，就没有类似的警告表明枚举的无效成员仍然可能出现“默认”情况。

在这种情况下的行为是什么？ NSString 方法似乎返回nil，并且没有观察到崩溃。但是该方法没有return。 return nil是自动生成的吗，在什么情况下？

请注意，“详尽”开关之后的代码语句不会导致通常会生成警告：

代码永远不会被执行

Answer 1

TL;DR，如果没有匹配的情况，该函数确实将控制权返回给调用者，但返回值是undefined .

C/ObjC return 语句基本上做了两件事。它会导致将其值放入特定位置，以便调用者知道在哪里查找它。 （由平台/语言 ABI 定义的位置。）然后它将控制权移回调用函数（通过从堆栈中弹出一个地址并跳转到它）。

在这种情况下，控制将直接越过switch 的末尾，并且不会执行任何return 语句。然而，编译器确实会在方法结束时发出一个跳转。

（事实上——我不擅长阅读汇编程序，但是——我看到 Xcode 10.1 为您的代码创建的带调试注释的汇编程序将所有开关案例集中到该方法的单个退出点。而且如果没有一个案例比较成功，也到达退出点。）

但是我们在没有将任何值放入返回寄存器的情况下进行了跳转，这意味着它与任何其他未初始化的值相同——垃圾。您可靠地获得nil 的事实可能是由于您的测试程序的简单性和在调试配置中构建的一个或两个原因。