_ Dart 里的类型系统(1),95%Android开发者已收藏的十大开源库

print(x is int); // true
print(y is int); // true
int z = y as int; // works

用于声明变量类型的只是 interface ,它可以存储任何实现了该 interface 的子类型。

方法

当在实例上调用方法时,创建实例的类型始终决定了该方法的实现,例如:

class Foo {
void hi() => print(“i am foo”);
}

class Bar implements Foo {
void hi() => print(“i am bar”);
}

void callHi(Foo foo) => foo.hi();

void main() {
callHi(Bar()); // prints “i am bar”
}

如上述例子所示,Bar 实现的 hi 将始终覆盖来自其实例的调用结果,而不管它在什么上下文中。

在 Dart 代码所有可见的类型,都是 Object 的子类型,并继承其默认实现的 interface

Dart 是强类型的语言,这意味着编译器可以在运行时,对值的类型做出强有力的保证。

当然,强类型并不意味着方法一定存在,如果调用时缺少方法,Dart 会调用默认情况下调用 noSuchMethod 会抛出 NoSuchMethodError

(42 as dynamic).foo(); // throws NoSuchMethodError

实例上在 Dart 里的所有字段访问,都是通过对 settergetter 方法的调用来完成,当在类中声明一个字段时,它隐式声明了读取和写入内部变量的 settergetter 方法。

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

class Bar extends Foo {
// This overrides get:a without touch

《Android学习笔记总结+最新移动架构视频+大厂安卓面试真题+项目实战源码讲义》

【docs.qq.com/doc/DSkNLaERkbnFoS0ZF】 完整内容开源分享

ing 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:hashCodeget:runtimeTypeoperator== 的方法被调用,它抛出一个格式为 NoSuchMethodError 的异常。

dynamicvoid 类型都是 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

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值