为什么 Swift 被设计为不允许泛型用于协议？ [复制]

Question

为什么 Swift 的设计者不允许这样做：

protocol Download<T> {
    var x: T
}

而是强迫我们这样做：

protocol Download {
    associatedtype: T
    var x: T
}

我想这是因为通过这种方式您可以限制/默认关联类型，这是在协议级别使用泛型参数无法实现的，但仅此而已吗？

Answer 1

这是因为类型必须在编译之前定义。这是必需的，因为Swift 是一种类型安全的语言。