为什么我不能用 Int32 索引为数组下标？

Question

你能告诉我为什么不能使用Int32（或UInt、UInt8等）索引来下标Array吗？以下代码显示了哪些有效和哪些无效的示例：

var buffer = [UInt8]()
buffer.append(0)

buffer[0] = 1    // Valid
buffer[-1] = 1   // Valid :)

var index1:Int = 0
buffer[index1] = 1 // Valid

var index2:Int32 = 0
buffer[index2] = 1 // Invalid

最后一行导致这个错误：

不能用“Int32”类型的索引为“[UInt8]”类型的值下标

Answer 1

在 Swift 中，Array 符合（除其他外）MutableCollection，它定义了一个关联的 Index 类型，用于下标。这可以在以下MutableCollection.subscript签名中看到：

subscript(position: Index) -> Element { get set }

在MutableCollection 的Array 实现中，Index 类型定义为Int。这就是为什么 Array 期望 Int 为其索引下标值。

---

在您问题的示例中，buffer[0] = 1 起作用的原因是因为Int（索引类型）和UInt8（元素类型）都符合ExpressibleByIntegerLiteral。当类型系统推断索引（和元素）的类型时，它看到传递的值要求类型符合ExpressibleByIntegerLiteral，而Array.Index 要求类型为Int。由于这两个都是可满足的（因为Int 符合ExpressibleByIntegerLiteral），类型系统推断0 是Int。同样的过程也适用于推断1 是UInt8。

在后面的两个示例中，index1 和 index2 变量已分别显式键入为 Int 和 Int32。当将index1 传递给需要Int 索引的Array.subscript 时，类型匹配。但是，当将index2（类型为Int32 的Array.subscript 需要Int 索引传递给Int 时，存在类型不匹配。Array 需要Int 索引，而index2 变量是显式的键入为Int32，这是一种不同的类型。没有索引类型的推断，因为这些值不是作为文字传递，而是作为具有特定类型的变量传递。