objective-c - Obj-C 非空函数返回给 Swift 的是什么？

Question

我有一个 objective-c 库，可以使用桥接 header 在 Swift 中使用。

我的一个公共(public)方法被注释为返回 nonnull 但实际上它在某些情况下可以返回 nil。

我原以为调用此方法的 Swift 代码会崩溃，因为“解包了一个 nil 可选值”，但实际上并没有。

Objective-C :

- (nonnull UserService *)users
{
    if (!_users && [self checkStarted]) {
        _users = [[UserService alloc] init];
    }
    return _users;
}

-(BOOL) checkStarted
{
    return NO;
}

快速 header :

生成的 header 如下所示:

func users() -> UserService

快速用法:

let userService = sdk.users()

当我po返回值时，我得到了这个结果

po userService
<uninitialized>

怎么会？

Answer 1

也许有一个误解:在许多编程语言中，您可能会犯很多错误，例如注释一个值约束然后不满足它。我已经阅读了数十次 C 标准，其中包含许多此类错误。结果通常是您得到未定义的行为。这并不是说结果肯定会崩溃。我从来没有读过这样的“ promise ”。这毫无意义。

所以，简单地说:行为是未定义。未定义的行为包括没有崩溃的可能性。

怎么会这样？

注释非 null 为编译器提供了机会 使代码在某些情况下更好，而在其他情况下则不然。编译器可以通过优化获得可能的优势。但当然也有编译器不能这样做的情况。

由于您获得了一个 Objective-C 对象，因此必须在运行时发送到该对象的每条消息。在编译时没有办法做到这一点(至少方法可以被替换，方法可以在子类中被覆盖等等)即使你在 Swift 中使用那个对象。动态调度是 Objective-C 的工作方式，即使您将它放在 Sift 上下文中也是如此。

所以 Swift 调用变成了 Objective-C 消息。 Objective-C 消息由 Objective-C 运行时传递，这可以将消息处理为 nil。所以没有问题。

如果对象发生其他事情，您可能会崩溃。 IE。如果生成的代码试图访问 isa 指针，您可能会遇到空指针异常。

也许吧。也许不吧。这是未定义的。