Dar语法基础-泛型

Posted 且听真言

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Dar语法基础-泛型相关的知识,希望对你有一定的参考价值。

泛型

如果查看基本数组类型 List 的 API 文档,您会发现该类型实际上是 List<E>。 <…> 表示法将 List 标记为泛型(或参数化)类型——具有正式类型参数的类型。 按照惯例,大多数类型变量的名称都是单字母的,例如 E、T、S、K 和 V。

Why use generics?

泛型通常是类型安全所必需的,但泛型比仅允许代码运行有更多好处:

  • 正确指定泛型类型会生成更好的代码。
  • 使用泛型来减少代码重复。

如果你打算让一个列表只包含字符串,你可以将它声明为 List<String>(读作“字符串列表”)。

var names = <String>[];
names.addAll(['Seth', 'Kathy', 'Lars']);
names.add(42); // Error

使用泛型的另一个原因是减少代码重复。 泛型允许您在多种类型之间共享单一接口和实现,同时仍然利用静态分析。 例如,假设您创建了一个用于缓存对象的接口:

abstract class ObjectCache 
  Object getByKey(String key);
  void setByKey(String key, Object value);

需要此接口的特定于字符串的版本,因此您创建了另一个接口:

abstract class StringCache 
  String getByKey(String key);
  void setByKey(String key, String value);

 通用类型可以省去创建所有这些接口的麻烦。 相反,您可以创建一个带有类型参数的接口:

abstract class Cache<T> 
  T getByKey(String key);
  void setByKey(String key, T value);

 在此代码中,T 是替代类型。 它是一个占位符,您可以将其视为开发人员稍后定义的类型。

Using collection literals

 列表、集合和映射文字可以参数化。 参数化文字就像已经看到的文字一样,除了在左括号之前添加 <type>(对于列表和集合)或 <keyType, valueType>(对于Map)。 下面是一个使用类型文字的例子:

var names = <String>['Seth', 'Kathy', 'Lars'];
var uniqueNames = <String>'Seth', 'Kathy', 'Lars';
var pages = <String, String>
  'index.html': 'Homepage',
  'robots.txt': 'Hints for web robots',
  'humans.txt': 'We are people, not machines'
;

Using parameterized types with constructors(将参数化类型与构造函数一起使用)

var views = Map<int, View>();

 以下代码创建一个具有整数键和视图类型值的映射:

var nameSet = Set<String>.from(names);
void main() 
  var names = ['aa', 'bb', 'cc', 'aa'];
  var nameSet = Set<String>.from(names);
  print(nameSet);


Log
aa, bb, cc

Generic collections and the types they contain(通用集合及其包含的类型)

Dart 泛型类型是具体化的,这意味着它们在运行时携带它们的类型信息。 例如,可以测试集合的类型:

var names = <String>[];
names.addAll(['Seth', 'Kathy', 'Lars']);
print(names is List<String>); // true

 注意:相比之下,Java 中的泛型使用擦除,这意味着在运行时删除泛型类型参数。 在 Java 中,你可以测试一个对象是否是一个 List,但你不能测试它是否是一个 List<String>。

Restricting the parameterized type(限制参数化类型)

在实现泛型类型时,您可能希望限制可以作为参数提供的类型,以便参数必须是特定类型的子类型。 您可以使用扩展来做到这一点。

一个常见的用例是通过使类型成为 Object 的子类型(而不是默认的 Object?)来确保类型不可为 null。

class Foo<T extends Object> 
  // Any type provided to Foo for T must be non-nullable.

 除了 Object 之外,还可以将 extends 与其他类型一起使用。 下面是一个扩展 SomeBaseClass 的例子,这样 SomeBaseClass 的成员就可以在类型 T 的对象上被调用:

class Foo<T extends SomeBaseClass> 
  // Implementation goes here...
  String toString() => "Instance of 'Foo<$T>'";


class Extender extends SomeBaseClass ...

 可以使用 SomeBaseClass 或其任何子类型作为泛型参数:

var someBaseClassFoo = Foo<SomeBaseClass>();
var extenderFoo = Foo<Extender>();

 也可以不指定泛型参数:

var foo = Foo();
print(foo); // Instance of 'Foo<SomeBaseClass>'

 指定任何非 SomeBaseClass 类型都会导致错误.

var foo = Foo<Object>(); //会报错

Using generic methods 使用泛型方法

方法和函数也允许类型参数:

T first<T>(List<T> ts) 
  // Do some initial work or error checking, then...
  T tmp = ts[0];
  // Do some additional checking or processing...
  return tmp;

 在这里,第一个 (<T>) 上的泛型类型参数允许在多个地方使用类型参数 T:

  • 在函数的返回类型 (T) 中。
  • 在参数类型 (List<T>) 中。
  • 在局部变量 (T tmp) 的类型中。

Libraries and visibility

import 和 library 指令可以帮助您创建模块化和可共享的代码库。 库不仅提供 API,还是一个隐私单元:以下划线 (_) 开头的标识符仅在库内部可见。 每个 Dart 应用程序都是一个库,即使它不使用库指令。

可以使用包来分发库。

如果您好奇为什么 Dart 使用下划线而不是访问修饰符关键字,如 public 或 private,请参阅 SDK 问题 33383。Add public and private access modifiers to language · Issue #33383 · dart-lang/sdk · GitHub

Using libraries

使用 import 指定如何在另一个库的范围内使用一个库中的命名空间。

例如,Dart web 应用程序通常使用 dart:html 库,它们可以像这样导入:

import 'dart:html';

 import 唯一需要的参数是指定库的 URI。 对于内置库,URI 具有特殊的 dart: 方案。 对于其他库,您可以使用文件系统路径或 package: 方案 package: scheme 指定包管理器(例如 pub 工具)提供的库。 例如:

import 'package:test/test.dart';

 注意:URI 代表统一资源标识符。 URL(统一资源定位符)是一种常见的 URI。

Specifying a library prefix

如果导入两个具有冲突标识符的库,那么可以为一个或两个库指定一个前缀。 例如,如果 library1 和 library2 都有一个 Element 类,那么可能有这样的代码:

import 'package:lib1/lib1.dart';
import 'package:lib2/lib2.dart' as lib2;

// Uses Element from lib1.
Element element1 = Element();

// Uses Element from lib2.
lib2.Element element2 = lib2.Element();

 

Importing only part of a library

如果只想使用库的一部分,可以有选择地导入库。 例如:

延迟加载(也称为延迟加载)允许 Web 应用程序在需要库时按需加载库。 以下是您可能会使用延迟加载的一些情况:

  • 减少web  app的初始启动时间。
  • 执行 A/B 测试——例如,尝试算法的替代实现。
  • 加载很少使用的功能,例如可选屏幕和对话框。

只有dart compile js支持延迟加载。 Flutter 和 Dart VM 不支持延迟加载。 要了解更多信息,请参阅问题 #33118 和问题 #27776。

https://github.com/dart-lang/sdk/issues/33118

https://github.com/dart-lang/sdk/issues/27776

要延迟加载库,您必须首先使用 deferred as 导入它。

import 'package:greetings/hello.dart' deferred as hello;

当您需要库时,使用库的标识符调用 loadLibrary()。

Future<void> greet() async 
  await hello.loadLibrary();
  hello.printGreeting();

 等待关键字暂停执行,直到加载库。 有关异步和等待的更多信息,请参阅异步支持。

可以在库上多次调用 loadLibrary() 而不会出现问题。 该库仅加载一次。

使用延迟加载时请记住以下几点:

  • 延迟库的常量不是导入文件中的常量。 请记住,这些常量在加载延迟库之前不存在。
  • 您不能在导入文件中使用延迟库中的类型。 相反,考虑将接口类型移动到由延迟库和导入文件导入的库。
  • Dart 隐式地将 loadLibrary() 插入到您使用 deferred 作为命名空间定义的命名空间中。 loadLibrary() 函数返回一个 Future。

The library directive

要指定库级别的文档注释或元数据注释,请将它们附加到文件开头的库声明中。

/// A really great test library.
@TestOn('browser')
library;

 

Implementing libraries

有关如何实施库包的建议,请参阅创建库包,包括:Creating packages | Dart

  • 如何组织库源代码。
  • 如何使用导出指令。
  • 何时使用 part 指令。
  • 如何使用条件导入和导出来实现支持多个平台的库。

以上是关于Dar语法基础-泛型的主要内容,如果未能解决你的问题,请参考以下文章

扎实基础_1语法基础_泛型

Java 基础语法详解 Java 中的泛型

Java 基础语法详解 Java 中的泛型

Java 基础语法Java 的泛型和包装类

泛型--Generic

Java(C#)基础差异-泛型