(type: T.Type) 使泛型方法工作，而没有它 T 无法推断

Question

我正在使用一种简单的方法在我的 Core Data DB 上运行提取请求。我将我的大部分代码都包含在一个协议中，该协议将具有某些内容将扩展的默认实现。我的代码如下：

protocol Modelable {
    func testFetch<T>(type: T.Type) -> [T]?
}

extension Modelable {
    func testFetch<T>(type: T.Type) -> [T]? {
        let fetchRequest = NSFetchRequest<NSFetchRequestResult>(entityName: "Data"),
            result = try? context.fetch(fetchRequest)
    
        return result as? [T]
    }
}

然后我只是在符合Modelable的结构上调用它

let modelableExtended = ModelableExtended()
print(modelableExtended.testFetch(type: SomeType.self)) // Prints

这段代码的奇怪之处在于，如果我从方法定义和调用它的位置删除type: T.Type，我会收到以下错误：

无法推断通用参数“T”

将类型传递给此方法究竟是如何使其工作的？那不只是方法本身的一个参数，传递与否不应该改变任何东西。

Answer 1

如果你不想传入类型，你可以这样做

let modelableExtended = ModelableExtended()
let result: [SomeType]? = modelableExtended.testFetch()
print(result)

在某些时候，您必须通过传入一些引用它的参数或通过分配结果来说明T 是什么。

泛型是一种编译时特性。也许您认为它们就像Any 或AnyObject 一样，您永远不必说出类型，然后您可以在运行时找出您实际拥有的内容。这不是泛型的工作原理。

泛型让您编写可以使用许多不同类型的代码，但实际运行的代码使用的是从其上下文推断的特定类型。如果无法推断，则代码将无法编译，永远不会运行。