为什么Error协议可作为泛型类型使用，其他普通协议则会报错？

底层实现原理 #

这个现象的核心差异是Swift编译器对Error协议做了专属的隐式特殊处理，普通自定义协议没有默认开启这个兼容逻辑。

普通协议报错的底层逻辑 #

• Swift中的协议存在两种使用身份：一是作为类型约束限制泛型的可用范围，二是作为**存在类型（Existential Type）**直接作为类型使用（你代码中直接把SomeProtocol写在泛型参数位的用法就属于这种，Swift 5.7+规范写法为any SomeProtocol）。
• Swift的默认规则是：普通协议的存在类型不会自动遵守该协议本身。你代码中Test1的泛型约束要求T必须是遵守SomeProtocol的类型，但SomeProtocol作为存在类型本身不满足这个约束，因此编译器抛出Protocol 'SomeProtocol' as a type cannot conform to the protocol itself的错误。
• 普通协议如果需要实现和Error相同的效果，手动添加一行扩展声明即可解决报错：

// 手动声明存在类型遵守协议本身
extension any SomeProtocol: SomeProtocol {}
// 之后这行代码就可以正常编译
let test1: Test1<any SomeProtocol> = Test1()

需要注意的是：只有没有关联类型、没有Self约束的协议才能添加这个扩展，否则依旧会编译失败。

Error协议的特殊兼容逻辑 #

• Error是Swift标准库定义的核心基础协议，编译器为了简化错误处理场景的代码写法，对它做了隐式的特殊处理：自动给any Error存在类型添加了遵守Error协议的声明，相当于默认帮开发者写了extension any Error: Error {}的兼容代码。
• 因此你直接把Error作为泛型参数传入时，天然满足T: Error的约束，不会触发编译报错。除了Error之外，Sendable等少数标准库核心协议也有同样的编译器特殊处理。

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