Swift中比较some Protocol实例时的编译错误原因探究

核心问题拆解 #

你遇到的现象本质是**some关键字在不同上下文下的语义完全不同**，以及Swift对存储属性类型的严格要求导致的。

1. 为什么显式标注some ContentFetcher会丢失类型标识？ #

先明确两个关键概念的区别：

• 函数返回的some Protocol：不透明返回类型
  当你在函数返回值中写some ContentFetcher时，Swift会保证这个函数每次返回的都是同一个具体类型（比如你的VideoFetcher），只是对外隐藏这个类型的细节。此时，如果你用这个函数初始化一个局部变量且不标注类型：

  let fetcher3 = FetcherFactory.getFetcher()
  let fetcher4 = FetcherFactory.getFetcher()
  

  编译器会自动推断出fetcher3和fetcher4的底层类型是VideoFetcher，自然可以调用Equatable的==方法——因为两个变量的具体类型完全一致。

• 变量显式标注的some Protocol：隐式存在类型
  当你显式把变量标注为some ContentFetcher时，这个some不再是不透明返回类型的一部分，而是**any ContentFetcher的语法糖**（Swift 5.7+引入的隐式存在类型写法）。存在类型会把实例装箱，编译时丢失具体类型信息：

  let fetcher1: some ContentFetcher = FetcherFactory.getFetcher()
  let fetcher2: some ContentFetcher = FetcherFactory.getFetcher()
  

  此时编译器只知道fetcher1和fetcher2是遵循ContentFetcher的实例，但无法确认它们的底层具体类型是否一致（理论上可能是不同的实现类），而Equatable的==要求两边必须是同一具体类型，所以会报类型不匹配的错误。

2. 为什么存储属性必须显式标注some ContentFetcher？ #

Swift要求存储属性的类型必须在编译时完全确定，不能依赖初始化器的推断，原因在于：

• 类可能有多个初始化器，不同初始化器可能返回不同类型的实例；
• 子类可能重写父类的存储属性，改变其类型。

如果不标注存储属性的类型，编译器无法确定它的具体类型——哪怕你在初始化器中赋值了FetcherFactory.getFetcher()，编译器也不能假设这个属性的类型永远是VideoFetcher（比如未来修改getFetcher()的返回类型）。因此必须显式标注类型，而some ContentFetcher是符合要求的写法（本质是声明为存在类型）。

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