Swift：协议约束类型可赋值，Array可行自定义泛型Wrapper却不行？

以下代码在Playground中可正常编译：

var x: any Hashable
let y = "String"
x = y

这段代码同样可正常编译：

var x: [any Hashable]
let y = ["String"]
x = y

但这段代码无法编译：

struct Wrapper<T> {
    let wrapped: T
}

var x: Wrapper<any Hashable>
let y = Wrapper(wrapped: "String")
x = y // >>> Cannot assign value of type 'Wrapper<String>' to type 'Wrapper<any Hashable>'

我理解错误提示，也清楚这些嵌套类型彼此不同，但为何用Array包装时编译器允许赋值，用自定义泛型Wrapper包装却不行？我的Wrapper结构体是否缺失某些内容？Array做了什么让编译器接受该赋值操作？

核心原因：泛型协变的差异 #

• Array是Swift内置的协变泛型类型：Swift对Array、Set这类原生集合类型做了特殊处理，允许它们的泛型参数满足子类型关系时，容器类型本身也具备子类型关系。比如String是any Hashable的子类型，那么[String]会被编译器视为[any Hashable]的子类型，因此可以直接赋值。

• 自定义泛型默认是不变的：你定义的Wrapper<T>默认属于不变泛型类型——哪怕String是any Hashable的子类型，Wrapper<String>和Wrapper<any Hashable>也会被视为完全无关的类型，编译器不会自动进行转换。

让自定义Wrapper支持赋值的方法 #

方法1：使用私有协变注解（不推荐生产环境） #

通过Swift的私有_Variance注解，显式声明泛型参数为协变：

struct Wrapper<Value>: _Variance {
    typealias _Covariant = Value
    let wrapped: Value
}

添加后Wrapper<String>会被视为Wrapper<any Hashable>的子类型，最初的代码就能正常编译。但这个注解属于未公开的实现细节，未来可能被修改或移除，不建议在生产代码中使用。

方法2：显式类型转换（稳妥方案） #

依赖Swift公开语法，手动完成类型转换：

x = y as Wrapper<any Hashable>

这种方式无需依赖私有API，兼容性和稳定性更有保障。

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