能否在不指定泛型类型的情况下继承带泛型的类？

嘿，这个问题挺典型的！咱们来一步步拆解清楚：

首先明确核心结论：你不能直接写class B : A {}来继承泛型类A，但有两种合法的继承方式，取决于你想让子类B成为非泛型还是泛型类

1. 让子类成为非泛型类：必须指定具体泛型类型 #

就像你示例里写的class B : A<String> {}，这种方式是把父类A的泛型参数固定为String，这样B就变成了一个非泛型类，内部所有用到A中T的地方都会是String类型。这是完全合法的，适合你确定子类只需要处理某一种符合Protocol约束的类型的场景。

2. 让子类保持泛型：传递泛型约束 #

如果你希望子类B也能像父类A一样支持任意符合Protocol的类型，那可以让B自己声明泛型参数，并把这个参数传递给父类A，代码示例如下：

protocol Protocol {}
extension String : Protocol {}
class A<T:Protocol> {}
// 让B也成为泛型类，继承时传递自己的泛型参数给A
class B<T: Protocol>: A<T> {}

// 使用示例：
let b1 = B<String>() // 合法
// 假设你还有其他实现Protocol的类型
extension Int: Protocol {}
let b2 = B<Int>() // 同样合法

这种方式下，B的泛型参数继承了A的约束（必须符合Protocol），相当于把父类的泛型能力延续到了子类中。

为什么不能直接class B : A {}？ #

因为A<T:Protocol>是一个泛型类模板，它本身不是一个可以直接使用的具体类型——就像你不能直接写let a = A()，必须指定A<String>()一样，继承的时候也需要明确父类的具体类型形态，要么是填充了具体类型的版本，要么是通过子类自己的泛型参数来填充。

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