为何带泛型类与约束的Dart代码无法编译？

你这段代码第8行报错的核心原因是：GenericClass的泛型参数T是AbstractArgClass的任意子类，但你在构造函数里固定传入ArgClass()给父类，这和T的类型约束逻辑冲突。

具体解释 #

父类BaseGenericClass<T>要求构造参数必须严格匹配T类型，但GenericClass中的T可以是AbstractArgClass的任何子类——比如假设你后续定义了AnotherArg extends AbstractArgClass，当实例化GenericClass<AnotherArg>时，父类需要的参数类型是AnotherArg，但你传的却是ArgClass，这种类型不兼容的情况编译器会提前拦截，所以直接抛出了类型不匹配的错误。

解决方法 #

根据你的实际需求，有几种处理方式：

1. 不需要泛型T，固定使用ArgClass

如果GenericClass的实例始终只需要ArgClass作为父类参数，直接去掉GenericClass的泛型，明确指定父类的类型参数为ArgClass：

abstract class BaseGenericClass<T> {
  final T _arg;
 
  BaseGenericClass(this._arg);
}

class GenericClass extends BaseGenericClass<ArgClass> {
  GenericClass() : super(ArgClass());
}

abstract class AbstractArgClass {}

class ArgClass extends AbstractArgClass {}

2. 保留泛型T，由外部传入参数

让GenericClass的构造函数接收T类型的参数，再传递给父类，这样可以适配AbstractArgClass的任意子类：

abstract class BaseGenericClass<T> {
  final T _arg;
 
  BaseGenericClass(this._arg);
}

class GenericClass<T extends AbstractArgClass> extends BaseGenericClass<T> {
  GenericClass(T arg) : super(arg);
}

abstract class AbstractArgClass {}

class ArgClass extends AbstractArgClass {}

实例化时可以传入任意符合要求的子类：

// 合法
GenericClass(ArgClass());
// 如果有AnotherArg extends AbstractArgClass，也合法
GenericClass(AnotherArg());

3. 保留泛型T，内部创建T实例

如果想在GenericClass内部创建T的实例，需要给T添加可构造的约束，确保T有可调用的构造函数：

abstract class BaseGenericClass<T> {
  final T _arg;
 
  BaseGenericClass(this._arg);
}

// 约束T必须有默认无参构造
class GenericClass<T extends AbstractArgClass> extends BaseGenericClass<T> {
  GenericClass() : super(T());
}

abstract class AbstractArgClass {
  // 定义默认构造，确保子类继承或实现
  AbstractArgClass();
}

class ArgClass extends AbstractArgClass {}

注意：这种方式要求T不能是抽象类，否则无法实例化。如果T需要支持抽象类，可以改用工厂构造或其他方式实例化。

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