swift - Swift 中的空数组和泛型有什么用？

Question

今天早些时候在 Swift 中使用泛型时遇到了一个有趣的错误。我想出了一个解决方案，但我想知道是否有人可以回答为什么编译器没有捕捉到这样的东西。让我从一段代码开始。

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

Answer 1

其实跟泛型没有关系。如果类型是数组，任何空数组都会用 true 回答 is 问题:

[Int]() is [String] // true
[1] is [String] // false

这看起来确实很奇怪； file a bug .