Swift数组类型扩展函数无法使用Array初始化器的问题排查

问题场景 #

使用Swift 5.7.2和Xcode 14.2时，给特定类型数组（比如[Int]）编写扩展函数，在函数内通过Array()初始化器将集合转换为数组时，会触发错误：No exact matches in call to initializer。但扩展普通类型（如Int）或在非扩展函数中执行相同操作则完全正常。

核心原因 #

当你扩展[Int]（也就是Array<Int>）时，当前扩展的上下文会让编译器优先将Array解析为特指的Array<Int>类型，而非全局的泛型Array结构体。

此时你调用Array(strSet)，编译器会尝试匹配Array<Int>的初始化器，但strSet是Set<String>，元素类型为String，和Array<Int>要求的Int元素类型不兼容，找不到符合条件的初始化器，因此报错。

而在扩展Int或非扩展函数的场景中，没有这种特定Array类型的上下文限定，编译器会直接使用全局的泛型Array，能正确推断出需要创建Array<String>，所以不会出错。

解决办法 #

针对这个问题，有几种可行的修复方式：

1. 明确指定Array的泛型类型
   直接告诉编译器你要创建的是Array<String>，而非当前上下文的Array<Int>：

   extension [Int] {
       func foo() {
           let strSet = Set(["a", "b", "c", "a"])
           let strArray = Array<String>(strSet) // 明确指定泛型类型
           print(strArray)
       }
   }
   

2. 使用全局命名空间限定
   通过Swift.Array明确调用全局的泛型Array初始化器，避免上下文歧义：

   extension [Int] {
       func foo() {
           let strSet = Set(["a", "b", "c", "a"])
           let strArray = Swift.Array(strSet) // 限定全局命名空间
           print(strArray)
       }
   }
   

3. 使用map替代Array初始化器
   就像你代码中的bar()方法一样，利用map直接生成对应元素类型的数组，绕开类型歧义问题：

   extension [Int] {
       func bar() {
           let strSet = Set(["a", "b", "c", "a"])
           let strArray = strSet.map {$0} // map自动匹配元素类型
           print(strArray)
       }
   }
   

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