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 ==
的方法被调用,它抛出一个格式为 NoSuchMethodError
的异常。
dynamic
和 void
类型都是 Object
的有效别名,但它们改变了一些可见的方法:
- 使用
Object
,只能方法Object
的接口(如普通类),例如hashCode
。 - 使用
void
,可以存储和转换,但不能访问任何方法。 - 使用
dynamic
,可以访问任何方法,并使用任何参数调用它,这些返回值也被视为dynamic
。
闭包
提取是将实例方法转换为闭包的过程,这通常称为 tear-off
。
可以通过调用名称为 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 {