Swift中为泛型参数为任意Array的泛型类扩展空初始化方法

要实现为GenericClass<T>中T为任意元素类型的Array时添加空初始化方法，正确的做法是在扩展的初始化方法中引入泛型参数，并通过where子句约束T等于Array<Element>。

错误写法分析 #

1. 直接约束T: Array编译失败：
   Array是泛型结构体，不能直接用类型约束的方式指定T继承自Array，必须明确其泛型参数。
2. 错误扩展泛型参数：
   尝试在GenericClass<U>中约束T: Array<U>会导致作用域错误，因为U未在正确位置声明，且GenericClass的泛型参数是T而非U。

正确实现代码 #

首先定义基础的GenericClass：

class GenericClass<T> {
    let parameter: T
    
    init(parameter: T) {
        self.parameter = parameter
    }
}

然后编写扩展，添加针对任意Array类型的便利初始化方法：

extension GenericClass {
    // 引入泛型Element，约束T为Array<Element>
    convenience init<Element>() where T == Array<Element> {
        self.init(parameter: [Element]())
    }
}

使用示例 #

// 初始化[Int]类型的实例
let intArrayInstance = GenericClass<[Int]>()
print(intArrayInstance.parameter) // 输出：[]

// 初始化[String]类型的实例
let stringArrayInstance = GenericClass<[String]>()
print(stringArrayInstance.parameter) // 输出：[]

这种写法无需为每个元素类型单独编写扩展，只要T是任意Array类型，就能调用这个空初始化方法。

内容的提问来源于stack exchange，提问作者lazarevzubov