在 Swift 4 中将 AnyObject 作为通用 T 参数传递

Question

我有一个有趣的问题：

class ListCache {

    public func getCachedList<T: Codable>() -> [T]? {
        //loads list from file cache using Codable
    }

}

假设我有 Foo 类：

class Foo: Codable {
    var bar = ""
}

现在，我可以这样做：

let array: [Foo] = ListCache().getCachedList()

但我不能这样做：

var listsToLoad: [AnyClass] = [Foo.self]
let clazz = listsToLoad[0]
let array: [Codable] = ListCache().getCachedList()

编译器给我一个错误：

无法显式特化泛型函数

这意味着我不能在循环中调用getCachedList()，因为我必须明确地给它一个类类型。

有没有办法做到这一点？我也尝试过使用泛型类，但我几乎都以同样的方式结束。

编辑：

我尝试过创建：

class CodableClass: Codable {

}

然后：

class Foo: CodableClass {
    //...
}

现在编译器说 clazz 是未声明的：

var listsToLoad: [CodableClass.Type] = [Foo.self]
for clazz in listsToLoad {
    if let array: [clazz] = ListCache().getCachedList() {
        print(array.count)
    }
}

我也试过clazz.Type 和clazz.self。

Answer 1

我相当肯定，为了调用泛型函数，必须在编译时知道该函数的参数类型。由于[Foo] 实际上只是Array<Foo> 的简写，它也适用于类型化数组（尝试编写Array<clazz>；它不会编译）。因此，当您在 clazz 变量中有一个类型时，使得实际类仅在运行时才知道，您不能使用它来调用泛型函数，也不能声明该类的类型数组。

AFAIK，唯一的解决方案是：

1. 使用[Codable] 或：

找到一种方法来动态执行您想要执行的操作，Objective-C 样式

2. 找到另一种方法来做你想做的事情:-(

由于我不知道您最终想要做什么，因此很难超越这一点，很遗憾。

Answer 2

你可以试试关注

class ListCache {

  public func getCachedList<T: Cachable>() -> [T] {
    return [(Foo() as! T)]
  }

}

protocol Cachable: Codable { }

class CachableClass: Cachable {
  class func test() -> String {
    return "blo"
  }
}

extension Cachable {

  static func cachedValues() -> [Self] {
    return cachedValuesTemplate(type: self)
  }

  private static func cachedValuesTemplate<T: Cachable>(type: T.Type) -> [T] {
    return ListCache().getCachedList()
  }

}

class Foo: CachableClass { }

var listsToLoad: [CachableClass.Type] = [Foo.self]
for clazz in listsToLoad {
  print(clazz.cachedValues().count)
}