Dart语言的泛型

泛型是Dart语言中非常强大的特性，它允许你编写可以与多种不同类型一起工作的代码。泛型的主要目的是提高代码的复用性和类型安全。

在Dart中，泛型是通过在类型名称后面放置一个类型变量来实现的。这个类型变量可以在类的声明、方法的声明或者是函数的声明中使用。

以下是一个使用泛型的简单例子：

class Box<T> {
  T _value;
 
  Box(this._value);
 
  T get value => _value;
 
  set value(T value) => _value = value;
}
 
void main() {
  Box<int> box = Box<int>(10);
  print(box.value); // 输出：10
 
  Box<String> box2 = Box<String>('Hello World');
  print(box2.value); // 输出：Hello World
}

在这个例子中，我们定义了一个名为Box的泛型类，其中类型变量为T。然后我们创建了两个Box的实例，一个存储整数，另一个存储字符串。

泛型也可以用在方法中，例如：

T getValue<T>(T value) {
  return value;
}
 
void main() {
  int number = getValue<int>(10);
  print(number); // 输出：10
 
  String text = getValue<String>('Hello World');
  print(text); // 输出：Hello World
}

在这个例子中，我们定义了一个名为getValue的泛型方法，其中类型变量为T。然后我们调用这个方法，传入不同的类型参数，来获取对应类型的返回值。

泛型还可以用在接口中，例如：

abstract class Comparable<T> {
  bool compare(T other);
}
 
class Box implements Comparable<Box<int>> {
  int value;
 
  Box(this.value);
 
  @override
  bool compare(Box<int> other) {
    return this.value == other.value;
  }
}
 
void main() {
  Box box1 = Box(10);
  Box box2 = Box(20);
  print(box1.compare(box2)); // 输出：false
}

在这个例子中，我们定义了一个名为Comparable的泛型接口，其中类型变量为T。然后我们创建了一个类Box，它实现了这个接口，并且指定了具体的类型参数Box。

泛型还有很多其他的高级用法，例如泛型方法的嵌套、泛型约束等等。但是，泛型的主要目的就是为了提高代码的复用性和类型安全，所以理解这一点是最重要的。