Swift - 检查泛型类的类型

Question

我有一个 Swift 泛型类，如下所示：

class List<T> {
    var value: T
    var next: List<T>?
    ...
}

我想检查某个对象是否是此类的实例，无论 T 是什么类型。例如，如果我有：

let a = List<Int>(2, 3)
let b = List<Any>(5, List<String>("a", "b"))
let c = "something which is not a list"

我希望过程（或代码 sn-p）为 a 和 b 返回 true，为 c 返回 false。

提前致谢。

Answer 1

其中一种解决方案是为您的通用List 使用协议：

protocol AnyList {}

class List<T>: AnyList {
    var value: T
    var next: List<T>?
    ...
}

func isList<T>(_ object: T) -> Bool {
    object is AnyList
}

let a = List<Int>(value: 2)
let b = "something which is not a list"

print(isList(a)) // true
print(isList(b)) // false

Answer 2

List<T> 是泛型类型，List<Int> 和 List<String> 是具体类型，但 List 单独不是类型，它只是一个标识符。

所以，说 2 个东西都是 List 是没有意义的。此外，例如，List<Int> 和 List<String> 与某些 Foo 和 Bar 一样彼此不同。

如果您想对列表进行推理，则需要这两者之间的共同点，即协议或基类。但是，由于您的列表具有通用元素类型，因此在具有不同元素的任何两个列表之间几乎没有任何共同点，除了 count 或 print 之类的函数。

所以你可以做这样的事情（正如另一个答案中正确建议的那样）

protocol AnyList {
   func count() -> Int
   func print() -> Void
   // but, var value: T wouldn't work
}

class List<T>: AnyList {
  ...
}

但是您可以看到，与列表的作用相比，普通的AnyList 的用处有限。

最后，您需要问自己接下来要对任何类型的“列表”做什么，并得出结论，List<Int> 和 List<String> 都是列表，但对它们的具体值类型一无所知.