泛型是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); // 输出:10Box<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); // 输出:10String 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);@overridebool 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。
泛型还有很多其他的高级用法,例如泛型方法的嵌套、泛型约束等等。但是,泛型的主要目的就是为了提高代码的复用性和类型安全,所以理解这一点是最重要的。