为什么 Swift 2 支持强制解包而不是可选值?
Why does Swift 2 favor forced unwrap over optionals?
我不再看到 Xcode 抱怨某些东西需要可选值(“?”)。现在它总是被强制展开(爆炸“!”)。当我们现在强制解包时,还有任何理由再使用可选值吗?
我真的不知道你说你不再看到 Xcode 抱怨 "certain things need optionals. Now it is always forced unwrapped" 是什么意思。这两句话自相矛盾:
- 您可以随心所欲地使用 non-optional 个变量,但是一旦您了解使用它们的所有好处,可选的就真的很好。
- 如果您有一个 属性 不是可选的,那么根据定义,它不需要任何解包。
也许你提到的是 Xcode 似乎很少抱怨 当你实际强制展开 可选值时,或者作为 Xcode 的坏习惯, 提示您强制解包以避免编译时错误。这通常是因为 Xcode 在编译时无法知道您刚刚编写的代码会在运行时破坏您的应用程序。
Xcode 的 "smart hints" 有时似乎只有一个目的:即消除编译时错误。如果你试图将一个String?
类型(可选的String
)的值赋给String
类型,Xcode会提示你编译错误并询问你是否要添加强制展开运算符 !
。聪明Xcode,你说呢?嗯,Xcode 对很多事情都有好处,但是决定你如何打开你的可选值是,无论如何,其中之一。因此,即使 Xcode 会提示您进行各种操作:如果您可以使用可选链接,请执行。
当然也有例外。对于 MVC 设计范式的控制器部分,您通常使用 as!
运算符来执行 "forced conversion"(转换),而 Xcode 有时会告诉您明确地使用 as!
as
个,例如"Did you mean as!
... ?"。在这些情况下,Xcode 有时实际上可以知道它在做什么,并推断出您正在尝试将自定义 UIViewController
class 实例转换为类型 UIViewController
,即,对于它的父级 class。我会说这可能是我使用 "forced" 标记 !
而不使用 go-arounds 的少数几次之一;强制转换为我 100% 确定可以铸造的类型。
但让我们离开类型的主题 conversion/casting 并继续讨论可选类型、包装和可选链接。
通常,您应该避免强制解包,除非您明确知道您解包的实体将是non-nil。对于一般的 class 属性、变量等,鉴于你按照你的方式陈述这个问题,我会给你以下建议:
If you can use conditional unwrapping (if-let
, guard-let
, nil
coalescing operator ??
), then don't use forced unwrapping (!
).
下面是强制展开的危险示例。您可以将第一个 if
子句 (if arc4random...
) 视为您使用命令式编程技术编写的某个程序的任何较小或较大的部分:我们并不真正详细了解 'name' 直到运行时才会出现,而我们的编译器在这里无法真正帮助我们。
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 中的一个重要主题。
你是说 cocoa 东西吗?你的意思是隐式展开?
protocol AnyObject { ... }
所有 类 隐式遵守的协议。
当用作具体类型时,所有已知的@objc 方法和属性都可用,分别作为 implicitly-unwrapped-optional 方法和属性,在 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. // <===
}
我不再看到 Xcode 抱怨某些东西需要可选值(“?”)。现在它总是被强制展开(爆炸“!”)。当我们现在强制解包时,还有任何理由再使用可选值吗?
我真的不知道你说你不再看到 Xcode 抱怨 "certain things need optionals. Now it is always forced unwrapped" 是什么意思。这两句话自相矛盾:
- 您可以随心所欲地使用 non-optional 个变量,但是一旦您了解使用它们的所有好处,可选的就真的很好。
- 如果您有一个 属性 不是可选的,那么根据定义,它不需要任何解包。
也许你提到的是 Xcode 似乎很少抱怨 当你实际强制展开 可选值时,或者作为 Xcode 的坏习惯, 提示您强制解包以避免编译时错误。这通常是因为 Xcode 在编译时无法知道您刚刚编写的代码会在运行时破坏您的应用程序。
Xcode 的 "smart hints" 有时似乎只有一个目的:即消除编译时错误。如果你试图将一个String?
类型(可选的String
)的值赋给String
类型,Xcode会提示你编译错误并询问你是否要添加强制展开运算符 !
。聪明Xcode,你说呢?嗯,Xcode 对很多事情都有好处,但是决定你如何打开你的可选值是,无论如何,其中之一。因此,即使 Xcode 会提示您进行各种操作:如果您可以使用可选链接,请执行。
当然也有例外。对于 MVC 设计范式的控制器部分,您通常使用 as!
运算符来执行 "forced conversion"(转换),而 Xcode 有时会告诉您明确地使用 as!
as
个,例如"Did you mean as!
... ?"。在这些情况下,Xcode 有时实际上可以知道它在做什么,并推断出您正在尝试将自定义 UIViewController
class 实例转换为类型 UIViewController
,即,对于它的父级 class。我会说这可能是我使用 "forced" 标记 !
而不使用 go-arounds 的少数几次之一;强制转换为我 100% 确定可以铸造的类型。
但让我们离开类型的主题 conversion/casting 并继续讨论可选类型、包装和可选链接。
通常,您应该避免强制解包,除非您明确知道您解包的实体将是non-nil。对于一般的 class 属性、变量等,鉴于你按照你的方式陈述这个问题,我会给你以下建议:
If you can use conditional unwrapping (
if-let
,guard-let
, nil coalescing operator??
), then don't use forced unwrapping (!
).
下面是强制展开的危险示例。您可以将第一个 if
子句 (if arc4random...
) 视为您使用命令式编程技术编写的某个程序的任何较小或较大的部分:我们并不真正详细了解 'name' 直到运行时才会出现,而我们的编译器在这里无法真正帮助我们。
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 中的一个重要主题。
你是说 cocoa 东西吗?你的意思是隐式展开?
protocol AnyObject { ... }
所有 类 隐式遵守的协议。
当用作具体类型时,所有已知的@objc 方法和属性都可用,分别作为 implicitly-unwrapped-optional 方法和属性,在 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. // <===
}