Dart 中泛型约束 (generic constraints) 的作用是什么？

推荐答案

在 Dart 中，泛型约束（generic constraints）用于限制泛型类型参数的范围，确保类型参数只能是特定类型或其子类型。通过泛型约束，开发者可以在编译时对类型进行更精确的控制，从而提高代码的类型安全性和可读性。

本题详细解读

1. 泛型约束的基本语法

在 Dart 中，泛型约束通过 extends 关键字来实现。例如：

class Box<T extends num> {
  T value;

  Box(this.value);
}

在这个例子中，T 被约束为 num 类型或其子类型（如 int 或 double）。这意味着 Box 类只能接受 num 类型的值。

2. 泛型约束的作用

• 类型安全：通过约束泛型类型参数，可以确保在编译时类型的一致性，避免运行时类型错误。
• 代码可读性：泛型约束使得代码的意图更加明确，开发者可以清楚地知道某个泛型类或方法可以接受哪些类型。
• 减少错误：约束泛型类型参数可以减少因类型不匹配而导致的错误，提高代码的健壮性。

3. 泛型约束的示例

假设我们有一个 Box 类，我们希望它只能存储数值类型（num 及其子类）：

// www.javascriptcn.com code example
class Box<T extends num> {
  T value;

  Box(this.value);

  void displayValue() {
    print('The value is $value');
  }
}

void main() {
  var intBox = Box<int>(10);
  var doubleBox = Box<double>(10.5);

  intBox.displayValue(); // 输出: The value is 10
  doubleBox.displayValue(); // 输出: The value is 10.5

  // var stringBox = Box<String>('Hello'); // 这行代码会报错，因为 String 不是 num 的子类型
}

在这个示例中，Box 类只能接受 num 类型的值，因此 Box<String> 会导致编译错误。

4. 多重约束

Dart 还支持多重泛型约束，即一个类型参数可以同时继承多个类或接口。例如：

// www.javascriptcn.com code example
class Box<T extends num & Comparable> {
  T value;

  Box(this.value);

  void compareTo(T other) {
    print(value.compareTo(other));
  }
}

在这个例子中，T 必须同时是 num 类型和 Comparable 接口的实现类。