为啥 Swift 2 偏爱强制解包而不是可选项?

Posted

技术标签:

【中文标题】为啥 Swift 2 偏爱强制解包而不是可选项?【英文标题】:Why does Swift 2 favor forced unwrap over optionals?为什么 Swift 2 偏爱强制解包而不是可选项? 【发布时间】:2015-12-29 02:52:46 【问题描述】:

我不再看到 Xcode 抱怨某些东西需要可选项(“?”)。现在它总是被强制解包(爆炸“!”)。当我们现在强制展开时,还有什么理由再使用可选项吗?

【问题讨论】:

【参考方案1】:

我真的不明白你的意思,当你写到你不再看到 Xcode 抱怨 “某些东西需要可选项。现在它总是被强制解包”。这两句话互相矛盾:

您可以有任意数量的非可选变量,但是一旦您了解了使用它们的所有好处,可选变量就会非常好。 如果您有一个不是可选的属性,则根据定义,它不需要任何展开。

也许您提到的是 Xcode 似乎较少抱怨当您实际执行强制解包选项时,或者,作为 Xcode 的一个坏习惯,提示您强制解包以避免编译时错误。这通常是因为 Xcode 在编译时无法知道您刚刚编写的代码会在运行时破坏您的应用程序。

Xcode 的“智能提示”有时看似只有一个目的:即消除编译时错误。如果您尝试将String? 类型(可选String)的值分配给String 类型,Xcode 将提示您编译器错误并询问您是否需要添加强制展开运算符!。智能 Xcode,你说?嗯,Xcode 对很多事情都有好处,但是决定如何解开选项是其中之一,反正还不是。所以即使 Xcode 会提示你做各种各样的事情:如果你可以使用可选链,那就去做吧。

当然,也可能有例外。对于 MVC 设计范式的控制器部分,您通常使用 as! 运算符进行“强制转换”(强制转换),Xcode 有时会告诉您明确使用 as! 而不是 as,例如“你的意思是as! ...?”。在这些情况下,Xcode 有时实际上可以知道它在做什么,并推断您正在尝试将自定义 UIViewController 类实例转换为类型 UIViewController,即,它的父类。我想说这可能是我在没有复飞的情况下使用“强制”标记! 的少数几次之一;强制转换为我 100% 确定可以转换的类型。

The as! operator

但是,让我们离开类型转换/强制转换的主题,继续讨论可选类型、包装和可选链接。


通常,您应该避免强制解包,除非您明确知道您解包的实体将是非零。对于一般的类属性、变量等,鉴于你以你的方式陈述这个问题,我会给你以下建议:

如果您可以使用条件展开(if-let, guard-let, nil 合并运算符 ??),然后不要使用强制展开 (!)。

下面是一个强制拆包危险的示例。您可以将第一个 if 子句 (if arc4random...) 视为您使用命令式编程技术编写的某个程序的任何更小或更大的部分:直到运行时我们才真正详细了解“名称”的结果,而我们的编译器也帮不了我们。

var name : String?

/* 'name' might or might not have a non-nil 
    value after this if clause */
if arc4random_uniform(2) < 1 
    name = "David"


/* Well-defined: us an if-let clause to try to unwrap your optional */
if let a = name 
    print("Hello world "+a)
        /* Very well-behaved, we did a safe
           unwrap of 'name', if not nil, to constant a */

    print("Hello world "+name!)
        /* Well... In this scope, we know that name is, 
           for a fact, not nil. So here, a force unwrap
           is ok (but not needed). */


let reallyGiveMeThatNameDammit = name!
    /* NOT well-defined. We won't spot this at compile time, but
       if 'name' is nil at runtime, we'll encounte a runtime error */

我建议你阅读可选链,这是 Swift 中的一个关键主题。

Swift Language Guide - Optional Chaining

【讨论】:

感谢您的出色回答。我猜对于 Xcode,它不是执行“if let”或使用守卫,而是现在对所有内容都扔掉锤子,即砰“!”。 @4thSpace 乐于助人。是的,我也有这种感觉。但是,一旦您知道 Xcode 将帮助您消除编译时错误(有时通过使用手头可能的第一种方法),您就可以使用它们给您的“提示”(尤其是强制展开)作为在哪里实现的好标记您的可选链接。【参考方案2】:

你是说可可的东西吗?你的意思是隐式解包?

protocol AnyObject  ... 

所有类都隐式遵循的协议。

当用作具体类型时,所有已知的 @objc 方法和属性都可用,分别作为 AnyObject 的每个实例上的隐式解包可选方法和属性。例如:

class C 
  @objc func getCValue() -> Int  return 42 


// If x has a method @objc getValue()->Int, call it and
// return the result.  Otherwise, return nil.
func getCValue1(x: AnyObject) -> Int? 
  if let f: ()->Int = x.getCValue  // <===
    return f()
  
  return nil


// A more idiomatic implementation using "optional chaining"
func getCValue2(x: AnyObject) -> Int? 
  return x.getCValue?() // <===


// An implementation that assumes the required method is present
func getCValue3(x: AnyObject) -> Int  // <===
  return x.getCValue() // x.getCValue is implicitly unwrapped. // <===

【讨论】:

没有。这是 ios,与 @objc 无关。 仅限iOS?那么 OSX 呢? Cocoa 和 CocoaTouch 框架都是 @objc ......所以,请给我们一些你在说什么的例子。

以上是关于为啥 Swift 2 偏爱强制解包而不是可选项?的主要内容,如果未能解决你的问题,请参考以下文章

Swift 基本语法2

Swift基础小结_2

从强制解包看 Swift 的设计

从强制解包看 Swift 的设计

为啥 traceroute 发送 UDP 数据包而不是 ICMP 数据包?

swift项目第四天:动态加载控制器