Swift 4.1中隐式解包变量为何打印为some(...)？及保留String!的场景

为什么Swift 4.1会打印出some("second")？ #

这个变化其实是Swift 4.1对**隐式解包可选值（IUO）**的处理逻辑做了调整，和Swift 4的行为不一样：

在Swift 4中，当你把隐式解包可选值（比如String!）传给接受Any类型的参数（比如print函数）时，编译器会自动帮你解包，直接传递底层的非可选值，所以打印出来就是second。

但从Swift 4.1开始，IUO在作为Any类型传递时，会被保留为Optional<T>类型处理。而Optional本质是Swift里的一个枚举，它有两个case：.none（对应nil）和.some(Wrapped)（对应有值的情况）。所以print打印这个枚举值时，就会显示some("second")啦。

用你的代码举例：

// Swift 4.1及以后的行为
var aString: String!
aString = "second"
print(aString) // 输出 some("second")

// 移除!后，变量是普通非可选String
var aString: String
aString = "second"
print(aString) // 输出 second

哪些场景需要保留String!而非String？ #

你提到的无else分支的if语句确实是一个典型场景，除此之外还有这些情况适合用IUO：

• 与Objective-C API交互时：很多OC框架（比如UIKit、Foundation）的API返回的对象可能为nil，但在实际使用场景中几乎不会是nil，Swift会把这类API桥接成IUO。比如UIApplication.shared.delegate就是UIApplicationDelegate!，用IUO可以避免每次调用都要手动解包，代码更简洁。

• 类中确定会在使用前初始化的属性：比如在ViewController里，你会在viewDidLoad中初始化某个UI控件，就可以把它声明为UIButton!。这样在其他方法中使用时，不需要每次都加?或!，同时你能保证它在使用前已经被赋值，不会触发nil崩溃。

• 避免重复的强制解包：如果有一个变量，你能确保它在初始化后永远不会为nil，但初始化时没办法直接赋值（比如依赖异步操作的结果，但你能保证使用前一定会被赋值），用IUO可以省去每次使用时都写!的麻烦，让代码更干净。

• 你提到的无else分支的条件初始化场景：比如下面的代码，用String!可以让编译器通过，因为它能推断出变量在使用前已经被赋值；但如果用String类型，编译器会报错，认为变量可能未初始化：

var optionalInput: String? = "hello"
var result: String!

if optionalInput != nil {
    result = optionalInput
}

print(result) // 正常输出hello，不会报错

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