考虑以下测试用例，其中包含一个“工厂”类，该类能够调用它包含的闭包，提供一些“可默认”类型的新实例:

protocol Defaultable {
    init()
}

extension Int:    Defaultable { }
extension Double: Defaultable { }
extension String: Defaultable { }

class Factory<T : Defaultable> {
    let resultHandler: (T) -> ()

    init(resultHandler: (T) -> ()) {
        self.resultHandler = resultHandler
    }

    func callResultHandler() {
        resultHandler(T.init())
    }
}

现在，当我单独使用它时效果很好，我可以跟踪通用类型:

// Create Int factory variant...
let integerFactory = Factory(resultHandler: { (i: Int) in print("The default integer is \(i)") })

// Call factory variant...
integerFactory.callResultHandler()

不幸的是，如果我想以一种我无法跟踪泛型类型的方式使用工厂，它就不能很好地工作:

// Create a queue of factories of some unknown generic type...
var factoryQueue = [Factory]()

// Add factories to the queue...
factoryQueue.append(integerFactory)
factoryQueue.append(doubleFactory)
factoryQueue.append(stringFactory)

// Call the handler for each factory...
for factory in factoryQueue {
    factory.callResultHandler()
}

我理解我得到的错误(无法推断通用参数“T”)，但我不明白为什么我不能这样做，因为当我与数组交互时，我不需要知道通用参数是什么(我不与 Factory 实例中的任何通用事物交互)。有什么办法可以实现上述目标吗？

请注意，以上是我正在尝试做的事情的简化示例；实际上，我正在设计一个下载管理器，它可以使用泛型推断出我想要的文件类型(JSON、图像等)；该协议(protocol)实际上包含一个 init(data:) throws 初始化器。我希望能够将下载对象添加到队列中，但由于下载对象的通用性，我想不出任何方法将它们添加到队列中。

最佳答案

问题在于 Swift 严格的类型安全意味着您不能混合具有不同泛型参数的同一类的两个实例。它们实际上被视为完全不同的类型。

然而，在您的情况下，您所做的只是将闭包传递给接受 T 输入的 Factory 实例，然后在任何给定时间调用它T.init()。因此，您可以创建一个封闭系统以包含 T 的类型，这意味着您实际上不需要您的泛型参数位于您的类的范围内。您可以改为将其限制在初始化程序的范围内。

您可以通过将 resultHandler 定义为 Void->Void 闭包来实现此目的，并通过将传递的闭包包装在初始化程序中并使用另一个闭包来创建它——然后将 T.init() 传递到提供的闭包中(确保在每次调用时创建一个新实例)。

现在，无论何时调用 resultHandler，它都会创建一个您在传入的闭包中定义的类型的新实例，并将该实例传递给闭包。

这并没有违反 Swift 的类型安全规则，因为 T.init() 的结果仍然是已知的，因为您在传递的闭包中进行了显式键入。然后将这个新实例传递到具有匹配输入类型的闭包中。此外，因为您永远不会将 T.init() 的结果传递给外界，所以您永远不必在您的 Factory 类定义中公开该类型。

由于您的 Factory 类自身 不再具有通用参数，您可以自由地将它的不同实例混合在一起。

例如:

class Factory {
    let resultHandler: () -> ()

    init<T:Defaultable>(resultHandler: (T) -> ()) {
        self.resultHandler = {
            resultHandler(T.init())
        }
    }

    func callResultHandler() {
        resultHandler()
    }
}

// Create Int factory variant...
let integerFactory = Factory(resultHandler: { (i: Int) in debugPrint(i) })

// Create String factory variant...
let stringFactory = Factory(resultHandler: { (i: String) in debugPrint(i) })

// Create a queue of factories of some unknown generic type...
var factoryQueue = [Factory]()

// Add factories to the queue...
factoryQueue.append(integerFactory)
factoryQueue.append(stringFactory)

// Call the handler for each factory...
for factory in factoryQueue {
    factory.callResultHandler()
}

// prints:
// 0
// ""

为了使它适应 NSData 输入，您可以简单地修改 resultHandler 闭包和 callResultHandler() 函数来获取一个NSData 输入。然后，您只需修改初始化程序中的包装闭包以使用您的 init(data:) throws 初始化程序，并将结果转换为可选的或执行您自己的错误处理来处理它的事实可以扔。

例如:

class Factory {
    let resultHandler: (NSData) -> ()

    init<T:Defaultable>(resultHandler: (T?) -> ()) {
        self.resultHandler = {data in
            resultHandler(try? T.init(data:data)) // do custom error handling here if you wish
        }
    }

    func callResultHandler(data:NSData) {
        resultHandler(data)
    }
}

关于swift - 是否可以在不知道(或不关心)参数是什么的情况下拥有一个采用通用参数的实例数组？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/36887120/