没有默认大小写的Objective-C枚举“穷举”开关的行为

Question

在Swift中，init（rawValue：）系统可确保将Int转换为enum会导致有效的enum case或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
}

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

枚举值“third”未在开关中处理

但是，一旦处理完所有案例，就不会有类似的警告，表明对于枚举的无效成员仍然可能出现“默认”案例。

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

请注意，“穷举”开关后的代码语句不会产生通常会生成的警告：

永远不会执行代码

Answer 1

TL；DR，如果没有匹配的情况，函数会将控制返回给调用方，但返回值未定义。

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

在这种情况下，控件将直接走过开关的末尾，并且不会执行返回语句。但是，编译器确实会为方法的末尾发出跳转。

（事实上，我并不擅长阅读汇编程序，但我看到Xcode 10.1为代码创建的带调试注释的汇编程序会将所有切换情况汇集到该方法的一个退出点。如果没有任何情况比较成功，也会到达该退出点。）

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