arrays - Swift - Any - 无法将类型 MyType 的值转换为预期的元素类型 MyType>

Question

我在下面列出了一个相当人为的例子，来 self 正在研究的更大的东西。我遇到了我认为是关于使用 Any 类型的 Swift 编译器错误。

struct Labelable <T> {
  let t: T
  let label: String
}

func allLabels(labelables: [Labelable<Any>]) -> [String] {
  return labelables.map { $0.label }
}

let labeledInt = Labelable(t: 22, label: "Steve's Age")
let labeledString = Labelable(t: "Johnson", label: "Stacy's last name")

let labels = allLabels([labeledInt, labeledString])

print(labels)

问题错误:

Cannot convert value of type 'Labelable<Int>' to expected element type 'Labelable<protocol<>>'

有没有人对此问题有任何见解和解决方法？或者，也许有更好的方法来完成我想做的事情？

谢谢

编辑:

这就是我最终所做的。啊。

protocol LabelableProtocol {
  var label: String { get }
}

struct Labelable <T>: LabelableProtocol {
  let t: T
  let label: String
}

func allLabels(labelables: [LabelableProtocol]) -> [String] {
  return labelables.map { $0.label }
}

let labeledInt = Labelable(t: 22, label: "Steve's Age")
let labeledString = Labelable(t: "Johnson", label: "Stacy's last name")

let labels = allLabels([labeledInt, labeledString])

print(labels)

Answer 1

这里的问题是 Any 不是类型，而是协议(protocol)。您可以通过尝试通过另一个协议(protocol)扩展它来看到这一点(不允许通过其他协议(protocol)扩展协议(protocol)):

protocol MyDummyProtocol {}

extension Int : MyDummyProtocol {} // OK

extension Any : MyDummyProtocol {} 
    //Error: Non-nominal type Any (aka protocol<>) cannot be extended.

因此，当调用 allLabels 时，您不能将 Int 或 String 类型转换为 Any 协议(protocol)。

但是，您可以在结构中专门使用 Any 作为通用 T:

let labelAny = Labelable<Any>(t: 22, label: "Steve's Age")
let labelAnyAgain = Labelable<Any>(t: "Johnson", label: "Stacy's last name")

let labels = allLabels([labelAny, labelAnyAgain]) // OK

然而，这里更有趣的是研究结构中的通用属性 t。现在应该是 Any 了吧？ Any 的好处是我们可以将它向下转换为基本的 swift 类型。例如，考虑:

struct Labelable <T> {
    let t: T
    let label: String
}

func allGenerics(labelables: [Labelable<Any>]) -> [Any] {
    return labelables.map { $0.t }
}

let labelAny = Labelable<Any>(t: 22, label: "Steve's Age")
let labelAnyAgain = Labelable<Any>(t: "Johnson", label: "Stacy's last name")

let labelsGeneric = allGenerics([labelAny, labelAnyAgain])

for label in labelsGeneric {
    switch label {
    case is Int: print("is int: " + "\(label)")
    case is String: print("is string: " + "\(label)")
    default: print("Default...")
    }
}
// Prints:
// is int: 22
// is string: Johnson

在这里，我们使用 Any 作为泛型(即使它具体是一个 Any)，然后简单地让向下转换 is成为我们的通用行为。

参见 Language Guide - Type Casting - Type Casting for Any and AnyObject了解详情。

Any can represent an instance of any type at all, including function types.

..

Use Any and AnyObject only when you explicitly need the behavior and capabilities they provide. It is always better to be specific about the types you expect to work with in your code.