string - 如何在 swift 3.0 中连接多个可选字符串？

Question

我正在尝试在 swift 3 中连接多个字符串:

var a:String? = "a"
var b:String? = "b"
var c:String? = "c"
var d:String? = a! + b! + c!

编译时出现以下错误:

error: cannot convert value of type 'String' to specified type 'String?'
var d:String? = a! + b! + c!
                ~~~~~~~~^~~~

这曾经在 swift 2 中工作。我不知道为什么它不再工作了。

Answer 1

OP 提交的错误报告:

• SR-1122: Failure to typecheck chain of binary operators on force-unwrapped values

该问题已得到解决(已于 2017 年 1 月 3 日修复)，因此在即将推出的 Swift 3.1 中应该不再是问题。

<小时/>

这似乎是一个与以下情况相关的错误(Swift 2.2 中不存在，仅 3.0 中存在):

• 对表达式中的至少 3 个项使用强制展开运算符 (!)(使用至少 2 个基本运算符进行测试，例如 + 或 -)。
• 出于某种原因，考虑到上述情况，Swift 搞乱了表达式的类型推断(特别是对于表达式中的 x! 项本身)。

对于下面的所有示例，令:

let a: String? = "a"
let b: String? = "b"
let c: String? = "c"

存在错误:

// example 1
a! + b! + c!
    /* error: ambiguous reference to member '+' */

// example 2
var d: String =  a! + b! + c!
    /* error: ambiguous reference to member '+' */

// example 3
var d: String? =  a! + b! + c!
    /* error: cannot convert value of type 'String' 
       to specified type 'String?' */

// example 4
var d: String?
d =  a! + b! + c!
    /* error: cannot assign value of type 'String' 
       to specified type 'String?' */

// example 5 (not just for type String and '+' operator)
let a: Int? = 1
let b: Int? = 2
let c: Int? = 3
var d: Int? = a! + b! + c!
    /* error: cannot convert value of type 'Int' 
       to specified type 'Int?' */
var e: Int? = a! - b! - c! // same error

不存在错误:

/* example 1 */
var d: String? = a! + b!

/* example 2 */
let aa = a!
let bb = b!
let cc = c!
var d: String? = aa + bb + cc
var e: String = aa + bb + cc

/* example 3 */
var d: String? = String(a!) + String(b!) + String(c!)

<小时/>

然而，由于这是 Swift 3.0-dev，我不确定这是否真的是一个“错误”，以及政策是什么。报告尚未生产的代码版本中的“错误”，但您可能应该为此提交雷达，以防万一。

至于回答您如何规避此问题的问题:

• 使用例如中间变量如不存在错误:上面的示例 2，
• 或者明确告诉 Swift 3 项表达式中的所有项都是字符串，如上面不存在错误:示例 3 中所示，

• 或者，更好的是，使用安全解包您的可选内容，例如使用可选绑定(bind):

  var d: String? = nil
  if let a = a, b = b, c = c {
      d = a + b + c
  } /* if any of a, b or c are 'nil', d will remain as 'nil';
       otherwise, the concenation of their unwrapped values   */