《深入浅出Dart》Dart中的泛型

╰+攻爆jí腚メ 2023-10-13 21:18 4阅读 0赞

<table> 
 <thead> 
  <tr> 
   <th><a href="https://link.juejin.cn?target=https%3A%2F%2Fwww.coding-time.cn" title="https://www.coding-time.cn" rel="nofollow">点击在线阅读，体验更好</a></th> 
   <th><a href="https://link.juejin.cn?target=https%3A%2F%2Fwww.coding-time.cn" title="https://www.coding-time.cn" rel="nofollow">链接</a></th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td><strong><a href="https://link.juejin.cn?target=https%3A%2F%2Fwww.coding-time.cn" title="https://www.coding-time.cn" rel="nofollow">现代JavaScript高级小册</a></strong></td> 
   <td><a href="https://link.juejin.cn?target=https%3A%2F%2Fwww.coding-time.cn" title="https://www.coding-time.cn" rel="nofollow">链接</a></td> 
  </tr> 
  <tr> 
   <td><strong><a href="https://link.juejin.cn?target=https%3A%2F%2Fwww.coding-time.cn" title="https://www.coding-time.cn" rel="nofollow">深入浅出Dart</a></strong></td> 
   <td><a href="https://link.juejin.cn?target=https%3A%2F%2Fwww.coding-time.cn" title="https://www.coding-time.cn" rel="nofollow">链接</a></td> 
  </tr> 
  <tr> 
   <td><strong><a href="https://link.juejin.cn?target=https%3A%2F%2Fwww.coding-time.cn" title="https://www.coding-time.cn" rel="nofollow">现代TypeScript高级小册</a></strong></td> 
   <td><a href="https://link.juejin.cn?target=https%3A%2F%2Fwww.coding-time.cn" title="https://www.coding-time.cn" rel="nofollow">链接</a></td> 
  </tr> 
 </tbody> 
</table>

## Dart中泛型 ##

泛型，一种强大而灵活的编程工具，可以让开发者创建可以适应任何类型的代码，同时又保持类型安全。这是在许多编程语言中都存在的一种重要的特性，Dart也不例外。在这篇文章中，我们将深入探讨Dart中的泛型。

### 泛型的概念 ###

在讨论泛型如何在Dart中工作之前，我们首先需要了解什么是泛型。泛型是一种编程概念，它允许我们在代码中使用占位符类型，然后在实例化类或方法时，指定这些占位符类型应该代表的实际类型。

### 泛型的优点 ###

*  代码重用：泛型允许我们编写一次，然后以多种方式使用，只需通过改变我们所使用的类型即可。比如，我们可能有一个用于处理`List<int>`的方法，如果使用泛型，我们可以让这个方法同时处理`List<String>`，`List<bool>`等，而无需重写方法。
 *  类型安全：当我们使用泛型时，Dart的静态类型系统将确保我们的代码是类型安全的。我们只能将正确的类型传递给泛型类或方法，否则我们会在编译时得到一个错误。

### 在Dart中使用泛型 ###

#### 集合与泛型 ####

我们已经在`List<T>`和`Map<K, V>`这样的集合类型中使用过泛型，其中T、K和V是类型参数。例如：

List<int> numbers = [1, 2, 3];
    Map<String, int> nameToAge = {
         'Alice': 25, 'Bob': 27};

在这些例子中，泛型参数告诉Dart集合中应该存储哪种类型的数据。在`List<int>`中，泛型参数是`int`，表示列表只能包含整数。在`Map<String, int>`中，有两个泛型参数，`String`和`int`，表示这个映射的键是字符串，值是整数。

#### 创建泛型类 ####

你也可以在你自己的类中使用泛型。在类定义中，只需在类名后面加上尖括号(<>)和一个或多个类型参数即可。例如：

class Box<T> {
      T value;
    
      Box(this.value);
    
      T getValue() {
        return value;
      }
    }
    
    var box = Box<int>(10);
    print(box.getValue());  // Output: 10

在上述代码中，我们定义了一个名为`Box`的泛型类，该类可以保存任何类型的值。然后，我们创建了一个新的`Box<int>`实例，并传入了一个整数。`getValue`方法返回这个整数。如果我们试图将非整数类型的值传递给`Box<int>`，D

art将报错，因为`Box<int>`只接受整数。

#### 创建泛型函数和方法 ####

你可以在函数或方法上使用泛型。在函数或方法名后面加上尖括号(<>)和一个或多个类型参数即可。例如：

T first<T>(List<T> items) {
      return items[0];
    }
    
    print(first<int>([10, 20, 30]));  // Output: 10
    print(first<String>(['Alice', 'Bob', 'Charlie']));  // Output: Alice

在上述代码中，我们创建了一个名为`first`的泛型函数，该函数接受一个特定类型的列表，并返回第一个元素。我们使用不同类型的列表调用了这个函数，每次都正确地返回了第一个元素。

### 泛型和类型推断 ###

Dart的类型推断能力意味着我们通常不需要显式指定泛型类型，Dart可以根据上下文自动推断出正确的类型。例如：

var numbers = [1, 2, 3];  // List<int>
    var nameToAge = {
         'Alice': 25, 'Bob': 27};  // Map<String, int>

在这些例子中，尽管我们没有显式指定泛型类型，但Dart还是能够推断出`numbers`是`List<int>`，`nameToAge`是`Map<String, int>`。

### 总结 ###

泛型是Dart强大的类型系统的一个重要组成部分。使用泛型可以帮助我们编写更灵活、更重用性强的代码，同时又保持了类型安全。对泛型的理解和正确使用，将极大地提升你的Dart编程能力。