开启数组类型

Question

概述

我想通过匹配数组类型来使用 switch 语句。我有以下课程。

类：

class A {}    
class B : A {}

开启单值工作：

let a : A = B()

switch a {
case let b as B:
    print("b = \(b)")
default:
    print("unknown type")
}

开启数组（编译错误）：

let aArray : [A] = [B(), B()]

switch aArray {
case let bArray as [B] :
    print("bArray = \(bArray)")
default:
    print("unknown type")
}

错误：

Downcast pattern value of type '[B]' cannot be used

注意：在 Swift 4

上测试

问题：

• 我怎样才能做到这一点？

Answer 1

在 Swift 4.1 中，您会收到更好的错误消息（感谢#11441）：

未实现强制转换模式中的集合向下转换；改为使用显式向下转换为 '[B]'

简而言之，您遇到了一些尚未完全实现的编译器，其进度由错误 SR-5671 跟踪。

但是，您可以通过在执行强制转换之前强制转换为 Any 来解决此限制：

class A {}
class B : A {}

let aArray : [A] = [B(), B()]

switch aArray /* or you could say 'as Any' here depending on the other cases */ {
case let (bArray as [B]) as Any:
  print("bArray = \(bArray)")
default:
  print("unknown type")
}

// bArray = [B, B]

为什么会这样？首先，一点背景知识。数组、字典和集合由 Swift 的强制转换机制特别处理 - 尽管是泛型类型（默认情况下是不变的），Swift 允许您在不同元素类型的集合之间进行强制转换（请参阅this Q&A 了解更多信息）。

实现这些转换的函数驻留在标准库中（例如，Array 的implementation is here）。在编译时，Swift 将尝试识别集合向下转换（例如您的示例中的 [A] 到 [B]），因此它可以直接调用上述转换函数，而不必进行 full 动态转换通过 Swift 运行时。

但是问题是，这个专门的逻辑没有实现集合向下转换模式（例如在您的示例中），因此编译器会发出错误。通过首先强制转换为 Any，我们强制 Swift 执行完全动态的转换，该转换通过运行时调度，最终将调用上述转换函数。

尽管在必要的专门逻辑到位之前，为什么编译器不能暂时将此类转换视为完全动态转换，但我不太确定。