Dart如何从泛型类的List类型参数中提取内部泛型类型避免冗余传参

你遇到的编译报错是因为在支持泛型的静态类型语言中（比如Java、Kotlin），所有用到的泛型参数必须先显式声明才能使用，你最初的写法里直接在L extends List<T>中使用了未声明的T，所以编译器会提示找不到T类型。

针对你想省略冗余泛型参数的需求，有以下几种可行方案：

方案1：简化泛型参数（优先推荐） #

如果你的业务不需要严格绑定List的具体实现类（比如不需要限定必须是ArrayList/LinkedList，只要是List接口的实现即可），直接把泛型参数定义为元素类型T即可，完全没有冗余声明：

// Java 示例
class MyClass<T> {
    // 内部直接使用List<T>即可满足绝大多数业务需求
    private List<T> dataList;

    T foo() {
        return dataList.get(0);
    }
}

// 实例化只需要指定元素类型即可，非常简洁
var instance = new MyClass<Integer>();

方案2：用静态工厂方法做自动类型推断 #

如果你确实需要保留List具体实现类的泛型约束（比如要求传入的必须是ArrayList<String>而不只是List<String>），可以通过静态工厂方法利用编译器的类型推断能力，省略显式传入第二个泛型参数：

// Java 示例
class MyClass<L extends List<T>, T> {
    // 私有构造方法，强制通过工厂方法实例化
    private MyClass() {}

    // 静态工厂方法，泛型参数会被编译器自动推断
    public static <T, L extends List<T>> MyClass<L, T> create() {
        return new MyClass<>();
    }

    T foo() {
        // 业务逻辑
        return null;
    }
}

// 实例化时不需要重复声明泛型
var intListInstance = MyClass.<Integer, List<Integer>>create();
// 如果上下文有明确的类型声明，甚至可以省略所有泛型声明
MyClass<List<String>, String> strInstance = MyClass.create();

方案3：Kotlin环境下使用reified泛型简化 #

如果是Kotlin开发，可以通过内联函数+reified泛型进一步简化调用，完全不需要手动写任何冗余泛型参数：

// Kotlin 示例
class MyClass<L : List<T>, T>(val list: L) {
    fun foo(): T = list.first()
}

// 内联工厂方法，自动推断泛型参数
inline fun <reified T, reified L : List<T>> createMyClass(list: L): MyClass<L, T> = MyClass(list)

// 调用时直接传入List实例即可，编译器自动推断L和T的类型
val testList = listOf(1, 2, 3)
val instance = createMyClass(testList)
// 自动推断T为Int，L为List<Int>，不需要额外传泛型参数

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