记录
记录是一种匿名的、不可变的、聚合类型。与其他 集合类型 一样,它们允许您将多个对象捆绑到单个对象中。与其他集合类型不同,记录是固定大小的、异构的和类型的。
记录是实际值;您可以将它们存储在变量中、嵌套它们、将它们传递到函数中和从函数中传递出来,并将它们存储在诸如列表、映射和集合之类的 数据结构中。
记录语法
#记录表达式 是用逗号分隔的命名或位置字段列表,括在括号中:
var record = ('first', a: 2, b: true, 'last');
记录类型注解 是用逗号分隔的括在括号中的类型列表。您可以使用记录类型注解来定义返回类型和参数类型。例如,以下 (int, int)
语句是记录类型注解:
(int, int) swap((int, int) record) {
var (a, b) = record;
return (b, a);
}
记录表达式和类型注解中的字段反映了 参数 在函数中的工作方式。位置字段直接放在括号内:
// 变量声明中的记录类型注解:
(String, int) record;
// 用记录表达式初始化它:
record = ('A string', 123);
在记录类型注解中,命名字段位于类型和名称对的用大括号括起来的节中,位于所有位置字段之后。在记录表达式中,名称在每个字段值之前,后面跟着一个冒号:
// 变量声明中的记录类型注解:
({int a, bool b}) record;
// 用记录表达式初始化它:
record = (a: 123, b: true);
记录类型中命名字段的名称是 记录类型定义 的一部分,或者说是它的 形状 。两个具有不同名称的命名字段的记录具有不同的类型:
({int a, int b}) recordAB = (a: 1, b: 2);
({int x, int y}) recordXY = (x: 3, y: 4);
// 编译错误!这些记录类型不同。
// recordAB = recordXY;
在记录类型注解中,您也可以命名 位置 字段,但这些名称纯粹用于文档目的,不会影响记录的类型:
(int a, int b) recordAB = (1, 2);
(int x, int y) recordXY = (3, 4);
recordAB = recordXY; // 正确。
这类似于函数声明或函数typedef中的位置参数如何可以具有名称,但这些名称不会影响函数的签名。
记录字段
#记录字段可通过内置 getter 访问。记录是不可变的,因此字段没有 setter。
命名字段公开同名的 getter。位置字段公开名为 $<position>
的 getter,跳过命名字段:
var record = ('first', a: 2, b: true, 'last');
print(record.$1); // 打印 'first'
print(record.a); // 打印 2
print(record.b); // 打印 true
print(record.$2); // 打印 'last'
为了更有效地简化记录字段访问,请查看有关 模式 的页面。
记录类型
#没有单个记录类型的类型声明。记录根据其字段的类型进行结构化类型化。记录的 形状 (其字段的集合、字段的类型以及它们的名称(如果有))唯一地确定记录的类型。
记录中的每个字段都有其自己的类型。同一记录内的字段类型可能不同。类型系统在从记录访问每个字段的任何位置都知道每个字段的类型:
(num, Object) pair = (42, 'a');
var first = pair.$1; // 静态类型 `num` ,运行时类型 `int` 。
var second = pair.$2; // 静态类型 `Object` ,运行时类型 `String` 。
考虑两个不相关的库,它们创建具有相同字段集的记录。即使库彼此之间没有关联,类型系统也能理解这些记录是相同的类型。
记录相等性
#如果两个记录具有相同的 形状 (字段集),并且它们的对应字段具有相同的值,则它们是相等的。由于命名字段的 顺序 不是记录形状的一部分,因此命名字段的顺序不会影响相等性。
例如:
(int x, int y, int z) point = (1, 2, 3);
(int r, int g, int b) color = (1, 2, 3);
print(point == color); // 打印 'true'。
({int x, int y, int z}) point = (x: 1, y: 2, z: 3);
({int r, int g, int b}) color = (r: 1, g: 2, b: 3);
print(point == color); // 打印 'false'。Lint:不相干类型的 Equals。
记录会根据其字段的结构自动定义 hashCode
和 ==
方法。
多返回值
#记录允许函数返回捆绑在一起的多个值。要从返回值中检索记录值,请使用 模式匹配 将值解构为局部变量。
// 在记录中返回多个值:
(String name, int age) userInfo(Map<String, dynamic> json) {
return (json['name'] as String, json['age'] as int);
}
final json = <String, dynamic>{
'name': 'Dash',
'age': 10,
'color': 'blue',
};
// 使用带有位置字段的记录模式解构:
var (name, age) = userInfo(json);
/* 等同于:
var info = userInfo(json);
var name = info.$1;
var age = info.$2;
*/
您还可以使用其 命名字段 解构记录,使用冒号 :
语法,您可以在 模式类型 页面上阅读更多相关信息:
({String name, int age}) userInfo(Map<String, dynamic> json)
// ···
// 使用带有命名字段的记录模式解构:
final (:name, :age) = userInfo(json);
您可以从函数返回多个值而无需记录,但其他方法有缺点。例如,创建类要冗长得多,使用 List
或 Map
等其他集合类型会丢失类型安全。
除非另有说明,否则本网站上的文档反映的是 Dart 3.6.0。页面最后更新于 2025-02-05。 查看源代码 或 报告问题.