斯威夫特中的元组"向上倾斜"

Question

如果我有一个带签名的元组,(String, Bool)我就无法将其转换为(String, Any).编译器说:

错误:无法将元组转换'(String,Bool)'表示为'(String,Any)'

但这应该工作,因为Bool可以安全地Any使用as.如果您执行类似的操作,则会抛出几乎相同的错误:

let any: Any = ("String", true)
any as! (String, Any) // error
any as! (String, Bool) // obviously succeeds

错误:

无法将'(Swift.String,Swift.Bool)'类型的值转换为'(protocol <>,protocol <>)'

那么有没有针对第二种情况的解决方法呢？因为你甚至无法投射Any到任何(Any, Any)可以单独投射元素的元组.

Answer 1

即使它们包含的类型可以,也无法强制转换元组.例如:

let nums = (1, 5, 9)
let doubleNums = nums as (Double, Double, Double) //fails

但:

let nums : (Double, Double, Double) = (1, 5, 9) //succeeds

在你的情况下,解决方法是强制转换单个元素,而不是元组本身:

let tuple = ("String", true)
let anyTuple = (tuple.0, tuple.1 as Any)
// anyTuple is (String, Any)

这是Swift文档记录的原因之一:

元组对临时的相关值组很有用.它们不适合创建复杂的数据结构.如果您的数据结构可能超出临时范围,则将其建模为类或结构,而不是作为元组.

我认为这是一个实现限制,因为元组是像函数一样的复合类型.同样,您无法创建元组的扩展(例如extension (String, Bool) { … }).

如果您实际使用的是返回的API (String, Any),请尝试将其更改为使用类或结构.但是如果你无力改进API,你可以switch使用第二个元素的类型:

let tuple : (String, Any) = ("string", true)

switch tuple.1 {

case let x as Bool:
    print("It's a Bool")
    let boolTuple = (tuple.0, tuple.1 as! Bool)

case let x as Double:
    print("It's a Double")
    let doubleTuple = (tuple.0, tuple.1 as! Double)

case let x as NSDateFormatter:
    print("It's an NSDateFormatter")
    let dateFormatterTuple = (tuple.0, tuple.1 as! NSDateFormatter)

default:
    print("Unsupported type")
}

如果API返回Any并且无法保证元组(String, Any),那么你运气不好.