今天早些时候在Swift中使用泛型时遇到了一个有趣的bug。我想出了一个解决方案,但我想知道是否有人可以回答为什么编译器没有捕获这样的东西。让我从一段代码开始。
func doSomething<T>(with array: [T]) {
type(of: array) // Optional<Array<Int>>
array is [Int] // true
array is [String] // true
}
var arrayOfInts: [Int] = []
doSomething(with: arrayOfInts)
见第4行。为什么true
?我错过了什么吗?难道编译器不应该足够聪明地弄清楚这不是String
的数组吗?这最终导致了一个错误,其中由于假定空数组的类型错误而错误地设置了值。
就解决方案而言,我选择了以下内容:
if type(of: array).Element.self == Model.self