泛型是Dart语言中非常强大的特性,它允许你编写可以与多种不同类型一起工作的代码。泛型的主要目的是提高代码的复用性和类型安全。
在Dart中,泛型是通过在类型名称后面放置一个类型变量来实现的。这个类型变量可以在类的声明、方法的声明或者是函数的声明中使用。
以下是一个使用泛型的简单例子:
class Box {
T _value;
Box(this._value);
T get value => _value;
set value(T value) => _value = value;
}
void main() {
Box box = Box(10);
print(box.value); // 输出:10
Box box2 = Box('Hello World');
print(box2.value); // 输出:Hello World
}
在这个例子中,我们定义了一个名为Box的泛型类,其中类型变量为T。然后我们创建了两个Box的实例,一个存储整数,另一个存储字符串。
泛型也可以用在方法中,例如:
T getValue(T value) {
return value;
}
void main() {
int number = getValue(10);
print(number); // 输出:10
String text = getValue('Hello World');
print(text); // 输出:Hello World
}
在这个例子中,我们定义了一个名为getValue的泛型方法,其中类型变量为T。然后我们调用这个方法,传入不同的类型参数,来获取对应类型的返回值。
泛型还可以用在接口中,例如:
abstract class Comparable {
bool compare(T other);
}
class Box implements Comparable<Box> {
int value;
Box(this.value);
@override
bool compare(Box 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。
泛型还有很多其他的高级用法,例如泛型方法的嵌套、泛型约束等等。但是,泛型的主要目的就是为了提高代码的复用性和类型安全,所以理解这一点是最重要的。