能否在Swift子协议中为父协议的关联类型设置typealias？

问题背景 #

你定义了如下协议结构：

protocol Zot {}

protocol Foo {
    associatedtype Bar: Zot
    var prop1: Bar { get set }
}

希望在子协议Fooie中直接约束Bar为Zoty类型，无需立即编写类实现，但尝试的写法和编译器建议的写法都出现错误。

错误原因 #

编译器建议的写法中，重复声明var prop1: Bar { get set }会触发冲突：父协议已定义可变属性prop1: Self.Bar，子协议重复声明会被视为试图用协变类型覆盖，而可变属性不允许这种类型调整，因此报错Cannot override mutable property 'prop1' of type 'Self.Bar' with covariant type 'Zoty'。

正确解决方案 #

子协议只需通过where子句约束关联类型即可，无需重复声明父协议已有的属性要求。写法如下：

protocol Fooie: Foo where Bar == Zoty {}

验证实现 #

当编写类实现Fooie时，直接实现prop1为Zoty类型即可，无需额外指定typealias：

class Zoty: Zot {}

class FooyieImpl: Fooie {
    var prop1: Zoty = Zoty()
}

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