swift – 猜测类型推断背后的机制

类型推理引擎不知道Ints的位宽.它甚至不知道Ints是数字.引擎对类型实现的“限制性”或“狭窄性”一无所知.它只知道类型如何作为超类型和子类型(“ISA”关系)相互关联,并试图通过弄清楚它可以插入到您提供的类型变量中来解决约束问题.

而类型推理引擎的选择基于所选择的版本.没有基于Int的函数适用.它们都是以下形式：

public func +(lhs: Int8,rhs: Int8) -> Int8

这两边都没有Int8.所以它选择了它能找到的下一个最具体的一个：

public func +<T : Strideable>(lhs: T,rhs: T.Stride) -> T

为什么这个？ Int8是SignedInteger. SignedInteger以这种方式实现Strideable：

public protocol Strideable : Comparable {
    associatedtype Stride : SignedNumber
    public func distance(to other: Self) -> Self.Stride
    public func advanced(by n: Self.Stride) -> Self
}

extension SignedInteger {
    public func distance(to other: Self) -> Int
    public func advanced(by n: Int) -> Self
}

通过类型推断,我们看到Stride是Int.所以我们的功能是：

public func +(lhs: Int8,rhs: Int) -> Int8

那当然会在运行时溢出.

顺便说一句,找出Swift选择的函数的最好方法是选择 – 单击符号.它会告诉你它正在使用什么类型.