隐式展开的可选项真的是可选项吗？

Question

在 Swift 4.0 中，以下代码无法编译：

var str: String!
func someFunc(_ s: inout String?) {}
someFunc(&str)

现在我想 str 实际上是 String? 类型，Swift 编译器似乎同意：

无法传递“字符串”类型的不可变值？作为 inout 参数

我可以通过将变量更改为String? 类型或将函数参数更改为(_ s: inout String!) 来解决此问题，但我不明白为什么必须这样做。 Swift 似乎已经同意var str : String! 是“'String' 类型的？”——那它为什么不让我在这里传递呢？

我可以使用另一个选项来保持我的变量隐式解包，但仍将其传递给修改可选的函数吗？

我试过someFunc(&(str?))，这让事情变得更奇怪了——然后斯威夫特抱怨道：

无法传递“字符串！”类型的不可变值作为 inout 参数”。

所以str 是String?，但不能作为String? 传递，而str? 是String!？！

那段代码实际上是：

var str: String!
func someFunc(_ x: inout String!) {}
someFunc(&(str?))

所以也许 Swift 在其错误消息中错误地说明了参数的类型，而不是传递的值……或其他什么？

Answer 1

这是known bug in the swift compiler。 Hamish says in a comment 这已在 Swift 4.1 快照中修复，因此可能会在下一个 Xcode 版本 (9.3) 中修复。

您可以通过摆脱隐式展开的可选 (IUO) 来解决此问题，无论如何都应该避免这种情况。根据为什么它目前是 IUO，要么：

var str: String?
func someFunc(_ x: inout String?) {}
someFunc(&str)

或

var tmp: String?
func someFunc(_ x: inout String?) {}
someFunc(&tmp)
let str = tmp!

我强烈推荐第一个，除非绝对必要，否则避免强制展开。