Swift中相同'some T'类型无法赋值？显式与推断类型差异解惑

为什么显式声明some Animal会报错？ #

当你写出var animal: some Animal = getMeADog()时，这里的some Animal是一个独立的存在类型占位符——它仅表示“这个变量的类型是某个符合Animal协议的具体类型”，但并没有和getMeADog()返回的some Animal建立关联。

虽然getMeADog()的返回值底层是Dog，但Swift的类型系统不会默认把两个未绑定的some Protocol类型视为等价。对编译器来说，显式声明的animal的some Animal和函数返回的some Animal是两个不同的“黑盒”，哪怕里面装的东西一样，也不能直接赋值。

自动推断为什么能正常赋值？ #

当你省略类型声明，写成var animal = getMeADog()时，编译器会做一个关键绑定：把animal的类型直接关联到getMeADog()返回的那个具体不透明类型上。

此时animal的some Animal不再是通用占位符，而是和函数返回值完全一致的、封装了Dog的不透明类型。后续再赋值getMeADog()的返回值时，两者类型完全匹配，自然不会触发错误。

本质差异总结 #

• 显式声明some Protocol变量：创建一个未绑定的存在类型占位符，编译器无法确定它和其他some Protocol是否共享底层类型。
• 自动推断some Protocol变量：编译器会将变量类型与初始化表达式的具体不透明类型绑定，两者共享同一个底层类型信息，因此赋值兼容。

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