Flutter 的 Records

22 阅读1分钟

Records语法

Records表达式是用逗号分隔的命名或位置字段列表,括在括号中:

var record = ('first', a: 2, b: true, 'last');

Records类型注释是用括号括起来的逗号分隔的类型列表。您可以使用记录类型注释来定义返回类型和参数类型。例如,以下(int, int)语句是记录类型注释:

(int, int) swap((int, int) record) {
  var (a, b) = record;
  return (b, a);
}

在记录类型注释中,命名字段位于所有位置字段之后,位于类型和名称对的花括号分隔部分内。在记录表达式中,名称位于每个字段值之前,后面带有冒号:

// Record type annotation in a variable declaration:
({int a, bool b}) record;

// Initialize it with a record expression:
record = (a: 123, b: true);

记录字段

记录字段可通过内置 getter 访问。记录是不可变的,因此字段没有 setter。

命名字段会公开同名的 getter。位置字段会公开名称为 的 getter $<position>,跳过命名字段:

var record = ('first', a: 2, b: true, 'last');

print(record.$1); // Prints 'first'
print(record.a); // Prints 2
print(record.b); // Prints true
print(record.$2); // Prints 'last'

记录类型

单个记录类型没有类型声明。记录根据其字段的类型进行结构化类型划分。记录的形状(其字段集、字段类型及其名称(如果有))唯一地决定了记录的类型。

记录中的每个字段都有自己的类型。同一记录中的字段类型可能不同。无论从记录中访问哪个字段,类型系统都能识别每个字段的类型:

(num, Object) pair = (42, 'a');

var first = pair.$1; // Static type `num`, runtime type `int`.
var second = pair.$2; // Static type `Object`, runtime type `String`.

记录平等

如果两个记录具有相同的形状(字段集),并且其对应字段具有相同的值,则它们相等。由于命名字段顺序不是记录形状的一部分,因此命名字段的顺序不会影响相等性。

(int x, int y, int z) point = (1, 2, 3);
(int r, int g, int b) color = (1, 2, 3);

print(point == color); // Prints '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); // Prints 'false'. Lint: Equals on unrelated types.

多次返回


// Returns multiple values in a record:
(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',
};

// Destructures using a record pattern with positional fields:
var (name, age) = userInfo(json);

/* Equivalent to:
  var info = userInfo(json);
  var name = info.$1;
  var age  = info.$2;
*/