_ Dart 里的类型系统，2021年Android笔试题总结

class Foo {
// This declares both set:a and get:a
int a;
}

class Bar extends Foo {
// This overrides get:a without touching set:a
int get a => super.a * 2;
}

main() {
var foo = Bar();
foo.a = 2;
print(foo.a); // prints 4
}

子类型

变量可以包含不是其声明类型的实际子类型的值，除了 null ：

int x;
print(x is int); // false

这段代码会打印 false ，因为 is 运算符是子类型检查，而不是可分配性检查。

而另一方面，as 操作会进行可分配性检查：

int x;
print(x as int); // null, works

这是因为，在以下情况下 x 可以是 T 的子类型：

• x 的运行时类型是 T 的子类型。
• x 为空并且 T 可以为空。

Null vs void vs dynamic vs Object

Null 对象是特殊的，当不是 get:hashCode，get:runtimeType 和 operator![](https://www.hualigs.cn/image/61dba891ed8ee.jpg) == 的方法被调用，它抛出一个格式为 NoSuchMethodError 的异常。

dynamic 和 void 类型都是 Object 的有效别名，但它们改变了一些可见的方法：

• 使用 Object，只能方法 Object 的接口（如普通类），例如 hashCode。
• 使用 void，可以存储和转换，但不能访问任何方法。
• 使用 dynamic，可以访问任何方法，并使用任何参数调用它，这些返回值也被视为 dynamic 。

闭包

提取是将实例方法转换为闭包的过程，这通常称为 tear-off。

如果在一个对象上调用函数并省略了括号， Dart 称之为 ”tear-off” ：一个和函数使用同样参数的闭包，当调用闭包的时候会执行其中的函数，比如：names.forEach(print); 等同于 names.forEach((name){print(name);});

可以通过调用名称为 getter 的方法来提取方法：

typedef ToStringFn = String Function();
ToStringFn getToString(Object x) => x.toString;

在这个例子中，我们从一个任意对象中 x 中提取了 toString方法，通过闭包，就可以像调用上的常规实例一样调用 x。

typedef ToStringFn = String Function();
ToStringFn getToString(Object x) => x.toString;
main() {
var foo = 111;
var a = getToString(foo);
print(a());
}

实际上，上面的代码与以下代码相同，除了前者效率更高一些。

typedef ToStringFn = String Function();
ToStringFn getToString(Object x) => () => x.toString();

Functions 非常特殊，它们实际上可以指两个不同的东西：

• 用参数和返回类型声明的函数类型，即 void Function() foo;。
• Function 类作为接口类型，任何方法的父类。

Function 类型类似于泛型接口类型，但可以描述参数名称和类型。

所有函数类型都是 Function 的子类型，无论它们的返回类型和参数如何：

print(print is Function); // true

这里做一个有趣的实验，如下代码所示：

void main() {
void foo() {}
int bar([int aaa]) {}
Null biz({int aaa}) {}
int baz(int aa, {int aaa}) {}

print(foo is void Function());
print(bar is void Function());
print(biz is void Function());
print(baz is void Function());
}

打印结果是

true
true
true
false

这是因为 Dart 类型系统比较灵活，只要函数采用相同位置的参数，并具有兼容的返回类型，它就是有效的函数子类型，所以除了 baz 打印 false 之外所有的结果都是 true。

换个方式，如下代码所示：

void main() {
int foo({int a}) {}
int bar({int a, int b}) {}

print(foo is int Function());
print(foo is int Function({int a}));
print(bar is int Function({int a}));
print(bar is int Function({int b}));
print(bar is int Function({int b, int c}));
}

输出的结果会是：

true
true
true
true
false

因为当函数具有命名参数的子集时，代码检查函数是否具有有效的子类型，所以除最后一个之外的所有函数都打印 true。

如果最后一个修改为 print(bar is int Function({int b, int a})); ，也会打印出 true 。

可调用对象

类是可以被调用的，例如：

class Foo {