Dart 中如何定义泛型函数？

推荐答案

在 Dart 中，可以通过在函数名后使用尖括号 <T> 来定义泛型函数。泛型函数允许你在函数中使用类型参数 T，从而使得函数可以处理多种类型的数据。

T getFirst<T>(List<T> list) {
  if (list.isEmpty) {
    throw ArgumentError('List cannot be empty');
  }
  return list.first;
}

本题详细解读

1. 泛型函数的定义

在 Dart 中，泛型函数的定义方式与普通函数类似，只是在函数名后添加了类型参数 <T>。这个类型参数 T 可以在函数的参数、返回值以及函数体中使用。

T getFirst<T>(List<T> list) {
  // 函数体
}

在上面的例子中，getFirst 是一个泛型函数，T 是类型参数。List<T> 表示这个函数接受一个元素类型为 T 的列表，并且返回类型也是 T。

2. 泛型函数的使用

泛型函数可以在调用时指定具体的类型，也可以让 Dart 自动推断类型。

void main() {
  List<int> numbers = [1, 2, 3];
  int firstNumber = getFirst(numbers); // 自动推断 T 为 int

  List<String> names = ['Alice', 'Bob', 'Charlie'];
  String firstName = getFirst(names); // 自动推断 T 为 String
}

在这个例子中，getFirst 函数可以处理不同类型的列表，并且返回相应类型的第一个元素。

3. 泛型函数的优势

泛型函数的主要优势在于代码的复用性和类型安全性。通过使用泛型，你可以编写一个函数来处理多种类型的数据，而不需要为每种类型编写单独的函数。同时，Dart 的类型系统会在编译时检查类型，确保类型安全。

4. 泛型函数的限制

虽然泛型函数非常强大，但在某些情况下，你可能需要对类型参数进行约束。例如，你可能希望类型参数 T 必须实现某个接口或继承某个类。这时可以使用 extends 关键字来约束类型参数。

T getFirst<T extends num>(List<T> list) {
  if (list.isEmpty) {
    throw ArgumentError('List cannot be empty');
  }
  return list.first;
}

在这个例子中，T 被约束为 num 类型或其子类型（如 int 或 double），因此 getFirst 函数只能处理数值类型的列表。