Swift继承带where子句的泛型类型别名需重复声明约束吗？

这种写法在Swift里确实没法直接实现，泛型类型别名上的where约束不会在继承场景自动透传给子类的泛型参数。

Swift的typealias本质只是现有类型的别名，不是独立的新类型：它带的泛型约束只在你直接拿这个别名做类型标注的时候生效，在继承、遵循协议这类场景下，不会自动把约束绑定到子类的泛型参数上。

你那段代码编译失败的逻辑很直接：编译器解析class MyOtherClass<T>: MyType<T>的时候，会先把MyType<T>展开回原始类型MyGenericClass<T>，这时候就要求泛型T满足UIView的约束，但你子类声明的<T>是完全没有约束的，自然就报错了——编译器不会自动帮你把typealias上写的where约束，抄到子类的泛型声明上。

• 最直接的写法：在子类上显式补全约束，兼容性最好，唯一的问题是约束内容需要重复写：

class MyGenericClass<T> {}

typealias MyType<T> = MyGenericClass<T> where T: UIView
// 子类显式给T加上对应约束即可正常编译
class MyOtherClass<T: UIView>: MyType<T> {}

• 适合长约束复用场景的写法：如果你的where子句代码量很大、要在多个子类里反复用，就别用typealias承载约束，抽一层中间泛型基类来传递约束，之后所有子类继承这个中间基类就行，不用重复写长段约束：

class MyGenericClass<T> {}
// 把所有公共约束都放在这层中间基类上
class MyConstrainedBase<T: UIView>: MyGenericClass<T> {}
// 后续继承不需要重复写约束
class MyOtherClass<T>: MyConstrainedBase<T> {}
class AnotherBusinessClass<T>: MyConstrainedBase<T> {}

• 如果你的使用场景不是继承类，只是声明变量、写属性/函数参数类型，那直接用带约束的typealias完全没问题，不需要重复写where子句。

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