使用 Swift 字符串的可选链接

Question

如果我有一个 Swift 变量，则使用可选链接

var s: String?

s 可能包含 nil，或者包裹在 Optional 中的 String。所以，我尝试了这个来获得它的长度：

let count = s?.characters?.count ?? 0

但是，编译器想要这样：

let count = s?.characters.count ?? 0

我对可选链接的理解是，一旦您开始在点分表达式中使用?.，其余属性将变为可选，并且通常由?. 访问，而不是.。

所以，我进一步挖掘并在操场上尝试了这个：

var s: String? = "Foo"
print(s?.characters)
// Output: Optional(Swift.String.CharacterView(_core: Swift._StringCore(_baseAddress: 0x00000001145e893f, _countAndFlags: 3, _owner: nil)))

结果表明s?.characters确实是一个Optional实例，说明s?.characters.count应该是非法的。

有人可以帮我理解这种情况吗？

Answer 1

当你说：

我对可选链的理解是，一旦您开始在点分表达式中使用?.，其余属性将变为可选并且通常由?. 访问，而不是.。

我会说你快到了。

并不是所有的属性都是可选的，而是原来的调用是可选的，所以看起来其他的属性都是可选的。

characters 不是可选属性，count 也不是，但您调用它的值是可选的。如果有值，则characters 和count 属性将返回一个值；否则，返回nil。正因为如此，s?.characters.count 的结果返回了一个Int?。

如果其中任何一个属性是可选的，那么您需要将? 添加到它，但在您的情况下，它们不是。所以你不会。

---

已编辑以下评论

来自评论：

我仍然觉得奇怪的是 s?.characters.count 和 (s?.characters)?.count 都编译，但 (s?.characters).count 没有。为什么第一个表达式和最后一个表达式之间存在差异？

我会在这里尝试回答，那里的空间比评论区更多：

s?.characters.count

如果s 为nil，则整个表达式返回nil，否则返回Int。所以返回类型是Int?。

(s?.characters).count // Won’t compile

分解：如果s 是nil，那么(s?.characters) 是nil，所以我们不能调用count。

为了调用(s?.characters) 上的count 属性，表达式需要选择性地展开，即写为：

(s?.characters)?.count

---

已编辑以进一步添加

我能解释这一点的最好方法是用这个操场代码：

let s: String? = "hello"

s?.characters.count
(s?.characters)?.count
(s)?.characters.count
((s)?.characters)?.count

// s?.characters.count
func method1(s: String?) -> Int? {
    guard let s = s else { return nil }

    return s.characters.count
}

// (s?.characters).count
func method2(s: String?) -> Int? {
    guard let c = s?.characters else { return nil }

    return c.count
}

method1(s)
method2(s)

Answer 2

在 Swift 用户邮件列表中，Ingo Maier 非常友好地向我指出了 Swift 语言规范中的 section on optional chaining expressions，其中指出：

如果包含可选链表达式的后缀表达式嵌套在其他后缀表达式中，则只有最外层的表达式返回可选类型。

继续举例：

var c: SomeClass?
var result: Bool? = c?.property.performAction()

这解释了为什么编译器在上面的示例中需要 s?.characters.count，我认为它回答了原始问题。然而，正如@Martin R 在评论中所观察到的，为什么编译器会以不同方式处理这两个表达式仍然是个谜：

s?.characters.count
(s?.characters).count

如果我正确阅读规范，子表达式

(s?.characters) 

“嵌套在”整个后缀表达式中

(s?.characters).count

因此应该被视为与非括号版本相同。但这是一个单独的问题。

感谢大家的贡献！