Swift编译器未触发预期错误：协议类型无法遵循自身问题咨询

示例代码 #

protocol Animal {
    func makeNoise()
    static var species: String { get }
}
struct Dog: Animal {
    func makeNoise() { print("Woof") }
    static var species: String = "Canus familiaris"
}
struct Cat: Animal {
    func makeNoise() { print("Meow") }
    static var species: String = "Felis catus"
}

var animal: Animal // `Animal` 在此处作为存在类型，等价于 any Animal
animal = Dog()
animal.makeNoise() // 输出 "Woof"
animal = Cat()
animal.makeNoise() // 输出 "Meow"

func declareAnimalSpecies<T: Animal>(_ animal: T) {
    animal.makeNoise()
    // 注意：原代码此处缺少反斜杠，正确写法应为 \(T.species)
    print("My species is known as (T.species)")
}

let dog = Dog()
declareAnimalSpecies(dog)
// 输出：
// "Woof"
// "My species is known as Canus familiaris"

declareAnimalSpecies(animal) // <- 此处未触发预期错误
// 预期错误：protocol type 'Animal' cannot conform to 'Animal'...

问题描述 #

我理解变量animal的类型是any Animal，将其传入泛型函数declareAnimalSpecies时，编译器应该推断T为any Animal，但any Animal无法遵循Animal协议，理应触发“protocol type 'Animal' cannot conform to 'Animal'”错误，实际却没触发，想知道原因。

解答 #

首先明确核心规则：Swift中的存在类型（比如any Animal）本身不遵循对应的协议——协议是用来约束具体类型的，存在类型只是对底层具体遵循类型的包装，它不能作为自身的遵循者满足泛型约束。

如果调用declareAnimalSpecies(animal)时没有触发预期错误，大概率是以下两种情况：

• 编译器版本问题：Swift 5.6及更早版本对存在类型的泛型约束检查存在漏洞，允许这种非法调用（但运行时可能出现未定义行为）。在Swift 5.7及以后的版本中，编译器已经修复了这个问题，会正确触发你提到的错误。
• 代码语法错误掩盖：你的示例代码中print语句里的(T.species)缺少了反斜杠，正确写法应为\(T.species)。如果这个语法错误存在，编译器会优先抛出语法错误提示，掩盖了泛型约束的错误——修正语法后，泛型错误就会正常显示。

另外补充：泛型函数declareAnimalSpecies<T: Animal>要求T是一个具体的、遵循Animal的类型，而any Animal是动态类型容器，无法被推断为具体的T类型，这也是错误触发的核心原因。

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