Swift

Question

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

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

func allLabels(labelables: [Labelable<Any>]) -> [String] {
  return labelables.map { [=13=].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 { [=15=].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 MyDummyProtocol {}

extension Int : MyDummyProtocol {} // OK

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

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

但是，您可以在结构中专门使用 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 { [=12=].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.

Swift - 任何 - 无法将类型 MyType<Int> 的值转换为预期的元素类型 MyType<protocol<>>

Swift - Any - Cannot convert value of type MyType<Int> to expected element type MyType<protocol<>>

arrays

generics

compiler-errors

any