这篇继续来学习 Dart 语法。
目录:
- 类和函数
- mixin 入门
- 异步
- 库相关
1. 类和函数
Dart 是一种面向对象的语言,具有类和基于 mixin 的继承。每个对象都是一个类的实例,所有类都来自 Object。 基于 Mixin 的继承意味着虽然每个类(除了 Object)只有一个超类,但是类体可以在多个类层次结构中重用。
(一) 类的分类
(1) 普通类
1) Dart 使用 class 关键字表示一个类,对象具有由函数和数据(分别为方法和实例变量)组成的成员。我们通过 new 关键字来创建一个类对象,然后使用(.)调用类里面的变量或者普通(实例,非静态)函数(注:函数和方法意思是一样的。),以便访问该对象的函数和数据。例如类 Test 里面有一个普通函数 tests(),我们可以使用 new Test().tests(); 来调用这个 tests() 函数,在 Dart2 里面创建对象时可以省略 new 关键字。
例如:
1
2
3
4
5
6
7
8 1class Test{
2 void tests(){}
3}
4
5void main(){
6 new Test().tests();
7}
8
2) 要在运行时获取对象的类型,可以使用 Object 类的 runtimeType 属性,该属性返回一个 Type 对象。
如果没有指明具体类型,Dart 具有类型推断机制,会自动推断变量类型。示例如下:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17 1 var a = 10;
2 var b = 10.0;
3 var c = '10';
4 var d = true;
5 var e = [12.5,13.1];
6 var f = {3:'5',5:'11'};
7 var t = new Test();// 这里就直接使用上面那个Test类 不再去重复写这个类了
8 print('a 的类型是: ${a.runtimeType}'); // a 的类型是: int
9 print('b 的类型是: ${b.runtimeType}'); // b 的类型是: double
10 print('c 的类型是: ${c.runtimeType}'); // c 的类型是: String
11 print('d 的类型是: ${d.runtimeType}'); // d 的类型是: bool
12 print('e 的类型是: ${e.runtimeType}'); // e 的类型是: List<double>
13 print('f 的类型是: ${f.runtimeType}'); // f 的类型是: _InternalLinkedHashMap<int, String>
14 print('t 的类型是: ${t.runtimeType}'); // t 的类型是: Test
15
16 class Test{}
17
3) Dart 和 Java 一样,使用 extends 关键字,表示一个类继承另一个类。
使用 @override 注解声明你要重写的函数,在这个函数内部可以使用 super 调用重写的这个父类的函数。实例如下:
1
2
3
4
5
6
7
8
9
10
11
12
13
14 1class Test {
2 void test() {/*这里省略方法内部的逻辑操作*/}
3 // 其他逻辑
4}
5
6class TestChild extends Test {
7 @override //@override标注在test()函数上面 表示test()函数是重写父类的。
8 void test() {
9 super.test();// 调用父类的test()函数
10 /*这里省略方法内部的逻辑操作*/
11 }
12 // 其他逻辑
13}
14
@override是元数据。元数据注解以字符开头@,后跟对编译时常量(如 deprecated)的引用或对常量构造函数的调用。元数据可以出现在库,类,typedef,类型参数,构造函数,工厂,函数,字段,参数或变量声明之前以及导入或导出指令之前。你可以使用反射在运行时检索元数据。所有 Dart 代码都有两个注解:@deprecated和 @override。以下是使用 @deprecated 注解的示例:
1
2
3
4
5
6
7
8
9
10
11
12
13 1class Television {
2 /// _Deprecated: Use [turnOn] instead._
3 @deprecated
4 void activate() {
5 turnOn();
6 }
7
8 // Turns the TV's power on.
9 void turnOn() {
10 //...
11 }
12}
13
你可以定义自己的元数据注释。这是一个定义带有两个参数的 @todo 注释的示例:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16 1library todo;
2
3class Todo {
4 final String who;
5 final String what;
6
7 const Todo(this.who, this.what);
8}
9
10// 以下是使用@todo注释的示例:
11import 'todo.dart';
12@Todo('seth', 'make this do something')
13void doSomething() {
14 print('do something');
15}
16
4) 静态变量
使用 static 关键字修饰的类范围的变量。静态变量(类变量)对于类范围的状态和常量很有用。静态变量在使用之前不会初始化。
1
2
3
4
5
6
7
8
9 1class Test {
2 static const num = 16;
3 // ···
4}
5
6void main() {
7 print(Test. num); // 16
8}
9
5) 重写操作符
你可以重写下表中显示的运算符。
<
+
|
[]
/
^
[]=
<=
~/
&
~
=
<<
%
注意:!= 不是可重写的运算符。表达式e1 != e2 是 !(e1==e2) 的语法糖。以下是一个重写 + 和 – 运算符的类的示例:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36 1void main(){
2 final a = Testoperator(2, 3);
3 final b = Testoperator(2, 2);
4 var num1 = Testoperator(4, 5);
5 var num2= Testoperator(0,1);
6 print(a + b == num1); // true
7 print(a - b == num2); // true
8}
9
10class Testoperator {
11 final int x, y;
12
13 Testoperator(this.x, this.y);
14
15 Testoperator operator +(Testoperator o) => Testoperator(x + o.x, y + o.y);
16 Testoperator operator -(Testoperator o) => Testoperator(x - o.x, y - o.y);
17
18 // Override hashCode using strategy from Effective Java, Chapter 11.
19 @override
20 int get hashCode {
21 int result = 17;
22 result = 37 * result + x.hashCode;
23 result = 37 * result + y.hashCode;
24 return result;
25 }
26
27 // 如果重写了 hashCode,应该重写==操作符。
28 @override
29 bool operator ==(dynamic other) {
30 if (other is! Testoperator) return false;
31 Testoperator person = other;
32 return (person.x == x &&
33 person.y == y);
34 }
35}
36
6) noSuchMethod()
要在代码尝试使用不存在的方法或实例变量时检测或做出反应,你可以重写 noSuchMethod()。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19 1void main() {
2 TestMethod test = new TestMethod();
3 dynamic f = test.foo;
4 // Invokes `Object.noSuchMethod`, not `TestMethod.noSuchMethod`, so it throws.
5 f(42);
6}
7
8class TestMethod {
9// 除非你重写noSuchMethod,否则使用不存在的成员会导致NoSuchMethodError
10 // Unless you override noSuchMethod, using a
11 // non-existent member results in a NoSuchMethodError.
12 @override
13 void noSuchMethod(Invocation invocation) {
14 print('You tried to use a non-existent member: ' +
15 '${invocation.memberName}');
16 }
17dynamic foo();
18}
19
你不能调用未实现的方法,除非以下的某一条是 true:
-
- 接收处有静态类型 dynamic。
-
- 接收处定义了一个未实现的方法(abstract 也是 OK 的)的静态类型 dynamic,接收器的动态类型的实现与类 noSuchMethod() 中的实现不同 Object。
(2) 抽象类
1) 使用 abstract 修饰符定义抽象类(无法实例化的类)。抽象类对于定义接口非常有用,通常还有一些实现。如果希望抽象类看起来是可实例化的,请定义工厂构造函数。
抽象类通常有抽象方法。这是一个声明具有抽象方法的抽象类的示例:
1
2
3
4
5
6
7
8
9 1// 此类声明为abstract,因此无法实例化
2abstract class Test {
3 //定义构造函数,字段,方法...
4
5 // 抽象方法
6 void test();
7}
8
9
2) 隐式接口
每个类都隐式定义一个接口,该接口包含该类的所有实例成员及其实现的任何接口。如果要在不继承 B 实现的情况下创建支持 B类 API 的 A 类,则 A 类应实现 B 接口。一个类通过在 implements 子句中声明它们然后提供接口所需的 API 来实现一个或多个接口。例如:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33 1void main() {
2 print(sayHello(Person('李四'))); // 你好 张三. 我是 李四.
3 print(sayHello(PersonImpl())); // 你好 张三 你知道我是谁吗?
4}
5
6// Person类 隐式接口包含hello()
7class Person {
8 // 在接口中,但是仅在此库中可见。
9 final _name;
10
11 // 不在接口中,因为这是一个构造函数
12 Person(this._name);
13
14 // 在接口中
15 String hello(String who) => '你好 $who. 我是 $_name.';
16}
17
18// Person接口的实现
19class PersonImpl implements Person {
20 get _name => '';
21
22 String hello(String name) => '你好 $name 你知道我是谁吗?';
23}
24
25String sayHello(Person person) => person.hello('张三');
26
27一个类也可以实现多个接口,例如:
28class ZhangSan implements Run,Life {
29 //...
30}
31class Run {}
32class Life {}
33
(3) 可调用的类(Callable Class)
更多详情可以查看 Dart 官网: 在 Dart 中模拟函数。要允许像函数一样调用 Dart 类,请实现该 call() 方法。在下面的示例中,Test 类定义了一个 call() 方法,它接受三个字符串并连接它们,用空格分隔每个字符串,并附加一个感叹号。
1
2
3
4
5
6
7
8
9
10
11 1void main() {
2 var test = new Test();
3 var result = test(166.6665,"Flutter真好玩",672);
4 print("$result");// 666.666 Flutter真好玩 666
5}
6
7class Test {
8 // 必须是call函数
9 call(double a, String b, int c) => '${a*4} ${b} ${c-6}';
10}
11
(4) 枚举类型
1) 使用 enum 关键字声明枚举类型:
例如:enum Color { red, green, blue }
2) 枚举中的每个值都有一个 index getter,它返回枚举声明中值的从零开始的位置。例如,第一个值具有索引0,第二个值具有索引1。
1
2
3
4 1assert(Color.red.index == 0);
2assert(Color.green.index == 1);
3assert(Color.blue.index == 2);
4
3) 要获取枚举中所有值的列表,请使用枚举 values 常量。
1
2
3 1List<Color> colors = Color.values;
2assert(colors[2] == Color.blue);
3
-
你可以在 switch 语句中使用枚举,如果你不处理所有枚举值,你将收到警告。
1
2
3
4
5
6
7
8
9
10
11
12 1var aColor = Color.blue;
2switch (aColor) {
3 case Color.red:
4 print('Red');
5 break;
6 case Color.green:
7 print('Green');
8 break;
9 default: // 你没有这个 你会看到一个警告
10 print(aColor); // 'Color.blue'
11}
12
5) 枚举类型的限制条件
-
- 你不能在子类,mixin 或者实现枚举。
-
- 你不能显式实例化枚举。
(5) mixin
Mixins 是一种在多个类层次结构中重用类代码的方法。
1) 要实现 mixin,请创建一个扩展 Object 的类,并且不声明构造函数。除非你希望 mixin 可用作常规类,否则请使用 mixin 关键字而不是 class。例如:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57 1// 声明mixin
2// 专家
3mixin Expert {
4 // 发现和解决难题
5 bool solveProblems = false;
6 // 精通数据结构和算法
7 bool dataStructureAndAlgorithms = false;
8 // 会架构设计
9 bool architectureDesign = false;
10 // 性能优化
11 bool performanceOptimization = false;
12 // 熟练掌握计算机系统
13 bool computerSystem = false;
14
15 void develop() {
16 // 娱乐节目
17 if (solveProblems) {
18 print('发现和解决难题');
19 }
20 if (dataStructureAndAlgorithms) {
21 print('精通数据结构和算法');
22 }
23 if (architectureDesign) {
24 print('会架构设计');
25 }
26 if (performanceOptimization) {
27 print('熟练掌握性能优化');
28 }
29 if (computerSystem) {
30 print('熟练掌握计算机系统');
31 }
32 }
33}
34
35// 特性
36
37// 有效率的
38mixin Efficient {
39 void getEfficientAttrs() {
40 print('有效率的');
41 }
42}
43
44// 和蔼的
45mixin Kind {
46 void getKindAttrs() {
47 print('和蔼的');
48 }
49}
50
51// 软件架构师
52class SoftwareArchitect {
53 SoftwareArchitect() {
54 print('软件架构师');
55 }
56}
57
2) 要使用 mixin,请使用 with 关键字后跟一个或多个 mixin 名称。以下示例显示了两个使用 mixins 的类。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56 1void main() {
2 // 姓名:张三
3 // 发现和解决难题
4 // 精通数据结构和算法
5 // 会架构设计
6 ACompanySoftwareArchitect architect1 = new ACompanySoftwareArchitect('张三');
7 architect1.develop();
8 print('====');
9 // 姓名:李四
10 // 发现和解决难题
11 // 精通数据结构和算法
12 // 会架构设计
13 // 熟练掌握性能优化
14 // 熟练掌握计算机系统
15 // 有效率的
16 // 和蔼的
17 BCompanySoftwareArchitect architect2 = new BCompanySoftwareArchitect('李四');
18 architect2.develop();
19 architect2.getEfficientAttrs();
20 architect2.getKindAttrs();
21}
22
23// 使用mixin
24// A公司的软件架构师,继承自软件架构师,拥有专家的特性。
25class ACompanySoftwareArchitect extends SoftwareArchitect with Expert {
26 String name;
27 ACompanySoftwareArchitect(String name) {
28 this.name = name;
29 print('姓名:' + name);
30 solveProblems = true;
31 dataStructureAndAlgorithms = true;
32 architectureDesign = true;
33 }
34
35 @override
36 void develop() {
37 super.develop();
38 }
39}
40
41// B公司的软件架构师,继承自软件架构师,
42class BCompanySoftwareArchitect extends SoftwareArchitect
43 with Expert, Efficient, Kind {
44 String name;
45
46 BCompanySoftwareArchitect(String name) {
47 this.name = name;
48 print('姓名:' + name);
49 solveProblems = true;
50 dataStructureAndAlgorithms = true;
51 architectureDesign = true;
52 performanceOptimization = true;
53 computerSystem = true;
54 }
55}
56
3) 要指定只有某些类型可以使用 mixin。例如,所以你的 mixin 可以调用它没有定义的方法, 用于 on 指定所需的超类。
mixin SoftwareDeveloper on ACompanySoftwareArchitect{}
(二) 泛型
如果你查看基本数组类型的 API 文档 List,你会看到该类型实际上是 List<E>。<…> 表示法将 List 标记为泛型(或参数化)类型 – 具有正式类型参数的类型。按照惯例,大多数类型变量都有单字母名称,例如 E,T,S,K和V
1 | 1` |
。
(1) 为什么使用泛型?
类型安全通常需要泛型,但它们比仅允许代码运行有更多好处:
1) 正确指定泛型类型可以生成更好的代码。
如果你希望列表只包含字符串,则可以将其声明为 List<String>(将其读作“字符串列表”)。这样一来,工具可以检测到将非字符串分配给列表可能是一个错误。例子:
1
2
3
4
5 1var names = List<String>();
2names.addAll(['Seth', 'Kathy', 'Lars']);
3// 报错 The argument type 'int' can't be assigned to the parameter type 'String'.
4names.add(42);
5
- 你可以使用泛型来减少代码重复。
泛型允许你在多种类型之间共享单个接口和实现,同时仍然利用静态分析。例如:创建了一个用于缓存对象的接口:
1
2
3
4
5 1abstract class ObjectCache {
2 Object getByKey(String key);
3 void setByKey(String key, Object value);
4}
5
你发现需要此接口针对字符串的做一个缓存,因此你需要创建另一个接口:
1
2
3
4
5 1abstract class StringCache {
2 String getByKey(String key);
3 void setByKey(String key, String value);
4}
5
如果还有其他更改,就要写很多接口。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24 1class Test1 extends ObjectCache {
2 @override
3 Object getByKey(String key) {
4 return 'object cache';
5 }
6
7 @override
8 void setByKey(String key, Object value) {
9 return null;
10 }
11}
12
13class Test2 extends StringCache {
14 @override
15 String getByKey(String key) {
16 return 'String cache';
17 }
18
19 @override
20 void setByKey(String key, String value) {
21 return null;
22 }
23}
24
泛型可以省去创建所有这些接口的麻烦。你可以创建一个带有类型参数的接口。示例如下:T 是一个占位符,你可以将其视为开发人员稍后定义的类型。
1
2
3
4 1abstract class Cache<T> {
2 T getByKey(String key);
3}
4
使用泛型以前的调用方式:
1
2
3 1print(new Test1().getByKey('123'));
2print(new Test2().getByKey('456'));
3
(2) 使用集合文字
list 和 map 文字可以参数化。参数化文字就像你已经看到的文字一样,除了你在开始括号之前添加 <type>(对于 list)或 <keyType, valueType>(对于 map)。以下是使用类型文字 (typed literals) 的示例:
1
2
3
4
5
6
7 1var numbers = <String>['11', '22', '33'];
2var pages = <String, String>{
3 'index.html': 'Homepage',
4 'store.html': 'Store',
5 'mine.html': 'Mine'
6};
7
(3) 使用带有构造函数的参数化类型
要在使用构造函数时指定一个或多个类型,请将类型放在类名称后面的尖括号 <…> 中。例如:
1
2
3
4 1var names = List<String>();
2names.addAll(['Seth', 'Kathy', 'Lars']);
3var nameSet = Set<String>.from(names);
4
以下代码创建一个具有整数的 key 和 View 类型的 value 的 map:
1
2 1var views = Map<int, View>();
2
(4) 泛型集合及其包含的类型
Dart 的泛型类型是具体的。也就说,它们在运行时会携带类型信息。
1
2
3
4
5 1var names = List<String>();
2names.addAll(['Seth', 'Kathy', 'Lars']);
3print(names is List<String>); // true
4print(names.runtimeType); // List<String>
5
注意:相反,Java 中的泛型使用擦除,这意味着在运行时删除泛型类型参数。在 Java 中,你可以测试对象是否为 List,但你无法测试它是否是 List<String>。
(5) 限制参数类型
实现泛型类型时,你可能希望限制其参数的类型。你可以在 <> 里面使用 extends。例如:
1
2
3
4
5
6
7
8
9
10
11
12
13
14 1abstract class SomeBaseClass {
2 // 其他操作
3}
4
5class Foo<T extends SomeBaseClass> {
6 String toString() {
7 return "Instance of Foo<$T>";
8 }
9}
10
11class Extender extends SomeBaseClass {
12 //其他操作
13}
14
现在可以使用 SomeBaseClass 或它的任何子类作为泛型参数。例如:
1
2
3
4
5
6
7 1void main() {
2 var someBaseClassFoo = Foo<SomeBaseClass>();
3 var extenderFoo = Foo<Extender>();
4 print(someBaseClassFoo.toString());// Instance of Foo<SomeBaseClass>
5 print(extenderFoo.toString());// Instance of Foo<SomeBaseClass>
6}
7
也可以不指定泛型参数。例如:
1
2 1var foo = Foo();
2
//等同于 print(foo.toString());
1
2 1print(foo);// Instance of Foo<SomeBaseClass>
2
如果指定任何非 SomeBaseClass 类型会导致错误。例如:var foo = Foo<Object>;
(6) 使用泛型方法
新版本的 Dart 的泛型方法,允许在方法和函数上使用类型参数。(但它同样适用于实例方法,静态方法,顶级函数,本地函数甚至 lambda 表达式)例如:
1
2
3
4
5
6
7 1 T first<T>(List<T> data) {
2 // 做一些初始工作或错误检查...
3 T tmp = data[0];
4 // 做一些额外的检查或处理...
5 return tmp;
6 }
7
在 first(<T>) 上的的泛型类型参数,允许你在以下几个地方使用类型参数T:
- 1) 在函数的返回类型 (T) 中。
- 2) 在参数类型 (List<T>) 中。
- 3) 在局部变量的类型 (T tmp)。
泛型方法可以声明类方法 (实例和静态) 以相同的方式获取泛型参数。
1
2
3
4
5 1class Test {
2 static int f<M, N>(int x) => 3;
3 int m<M, N>(int y) => 5;
4}
5
泛型方法也适用于函数类型参数,本地函数和函数表达式。
// 作为参数
1
2 1void functionTypedParameter<T>(T callback){}
2
// 声明一个本地泛型函数本身。
1
2
3
4 1void localFunction(){
2 T itself<T>(T thing) => thing;
3}
4
// 将泛型函数表达式绑定到局部变量。
1
2
3
4 1void functionExpression(){
2 var lambda = <T>(T thing) => thing;
3}
4
使用泛型方法:
1
2
3
4
5
6 1void main() {
2 List<String> data = ["张三","李四","王五"];
3 var result = first(data);
4 print(result);
5}
6
(三) 函数
(1) 普通函数
Dart 是一种真正的面向对象的语言,所以即使是函数也是对象,函数属于 Function 类型。可以通过函数指定变量或者把函数作为其他函数的参数。
1)函数的简写。
- 对于只有一个表达式的函数,可以简写。
例如 Flutter 新建工程里面的 main.dart, 找到里面的 runApp 函数,可以使用 => 这样的箭头函数去操作,如下所示:
操作前:
1
2
3
4 1 void main(){
2 runApp(new MyApp());
3 }
4
操作后:(main.dart 文件里面默认使用的是 ==> 箭头函数)
1
2 1void main() => runApp(new MyApp());
2
注意:】main 函数是程序的入口,不管是纯 Dart 代码,还是 Flutter 项目,或者其他语言,基本都是 main 函数是入口函数。
- 返回值为 void 时,可以省略 void 关键字 (开发中不建议这么做)。
函数的返回值可以是 void, 也可以是 null,也可以是具体对象。如果没有指定返回值,则该函数返回的是 null。例如 Flutter 新建工程里面的 main.dart, _incrementCounter() 函数,可以省略关键字 void,如下所示:
操作前:
1
2
3
4 1void _incrementCounter(){
2 //...
3}
4
操作后:
1
2
3
4 1_incrementCounter(){
2 //...
3}
4
我们使用 assert(_incrementCounter()==null); 测试一下,发现程序运行正常,可以看出该函数返回值为 null【注意】函数属于 Function 类型,可以通过断言 assert(XXX is Funtion); 判断出结果,返回值必须是具体类型或者省略,如果返回值写为 void,编译器有错误提示。举例如下:
1
2
3
4 1void testMethod (){
2 //...
3}
4
例如我们:assert(testMethod () is Function); //这时候编译器会报错。
2)普通参数与可选参数
Dart 的函数最好玩的就是这个可选参数了,就是可以声明多个参数,使用时可以调用其中的某一个或者多个参数,与参数位置无关。
- 可选参数的基本使用
可选参数的定义方式:{参数1,参数2,,…},使用方式:函数名(paramName1: value1, paramName2: value2, paramName3: value3…); 下面我们来看一个简单的示例对比一下普通函数和可选参数:
操作前:
1
2
3
4
5
6
7
8
9
10 1// 工作:地址、公司名、工资、工作时长、公司人数
2void work(
3 String address,
4 String cpompany,
5 double money,
6 String workTime,
7 int workerNumbers) {
8 //TODO:...
9}
10
使用:
1
2
3
4
5 1void main() {
2 // 缺一个参数都会报错
3 work('hangzhou','XXCompany',1000000.00,'9:00-5:00',500);
4}
5
操作后:
1
2
3
4
5
6
7
8
9 1void work2({
2 String address,
3 String cpompany,
4 double money,
5 String workTime,
6 int workerNumbers}) {
7 //TODO:...
8}
9
使用:
1
2
3
4
5 1void main() {
2 //你随意使用其中的参数都是可以的,例如我使用了其中的参数1,参数4和参数5
3 work2(address:'hangzhou', workTime:'9:00-5:00', workerNumbers:500);
4}
5
- 可选参数默认的值
可以使用 = 为任意的可选参数设置默认值,默认值必须是编译时常量,如果没有提供默认值,则默认值为 null。例如下例就是给参数1和参数2设置了默认值:
1
2
3
4
5
6
7
8
9 1void work3({
2 String address = 'hangzhou',
3 String cpompany = ' XXCompany ',
4 double money,
5 String workTime,
6 int workerNumbers}) {
7 //TODO:...
8}
9
- 普通函数参数为 list 或者 map 的默认值
如果普通函数的参数是一个匿名 List 集合 (也叫数组),也可以使用 = 设置默认值,数组不能被包含在可选参数里面。例如:
1
2
3
4
5
6
7
8
9 1void work4(
2 String address,
3 [String cpompany = 'XXCompany',
4 double money,
5 String workTime,
6 int workerNumbers]) {
7 //TODO:...
8}
9
- 可变参数为 list 或者 map 的默认值
可变参数可以是显示声明的 List 集合或者 map,但是 list 或者 map 的值比如是 const 修饰。举例如下:
1
2
3
4
5
6
7
8
9
10 1void work5({
2 List<int> list = const [10, 20, 30],
3 Map<String, String> gifts = const {
4 'cpompany':'XXCompany',
5 'money':'50000',
6 'workTime':'9:00-5:00',
7 }}) {
8 //TODO:...
9}
10
3)函数作为一个参数传给另一个函数
这个就类似于 Java 里面的回调功能。例如 Flutter 新建工程里面的 main.dart,我们看看这段代码就知道了:
1
2
3
4
5
6
7
8
9
10
11
12 1// 函数作为参数传给另一个函数
2void main() {
3 // 例如main.dart里面FloatingActionButton的onPressed参数引入了一个_incrementCounter()函数
4 // floatingActionButton: new FloatingActionButton(onPressed: _incrementCounter,),
5}
6
7void _incrementCounter() {
8// setState(() {
9// _counter++;
10// });
11}
12
4)匿名函数我们还是以 Flutter 新建工程里面的 main.dart 为例,我们看看这里的 setState 函数,这里面的参数是一个(){}。小括号里面没有参数,我们去看看 setState 源码你会发现它的参数是一个 Function,这里没有传入任何参数。这里面其实就是一种匿名函数的用法。
1
2
3
4
5
6 1void _incrementCounter() {
2 setState(() {
3 _counter++;
4 });
5}
6
再比如常见的 list.foreach 用法也会用到匿名函数,例如下例中的 forEach() 我们这里写的是无类型参数的匿名函数item,forEach 源码是:forEach (void f(E element)), 它的参数是一个函数。
1
2
3
4
5 1List list = [10, 7, 23];
2list.forEach((item) {
3 print('$item');
4});
5
以上语句可以简写成:list.forEach((item) => print('$item'));
5)函数作用域
Dart 是一种具有语法范围的语言,变量的范围是静态确定的,只需通过代码布局来确定。通过花括号向外查看,可以确定变量是否在范围内。以下是一个嵌套函数的例子,每个作用域级别上都有变量,变量作用域为函数内部,外部无法访问。我们可以看看日志就清楚了:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36 1// main函数里面可以输出topLevel和insideMain的值。
2// myFunction函数里面可以输出topLevel、insideMain和insideFunction的值。
3// nestedFunction函数里面可以输出topLevel、insideMain、insideFunction和insideNestedFunction的值。
4bool topLevel = true;
5void main() {
6 var insideMain = true;
7 void myFunction() {
8 var insideFunction = true;
9 void nestedFunction() {
10 var insideNestedFunction = true;
11 print('topLevel\r');
12 print(topLevel);
13 print('insideMain\r');
14 print(insideMain);
15 print('insideFunction\r');
16 print(insideFunction);
17 print('insideNestedFunction\r');
18 print(insideNestedFunction);
19 }
20 // print('topLevel\r');
21 // print(topLevel);
22 // print('insideMain\r');
23 // print(insideMain);
24 // print('insideFunction\r');
25 // print(insideFunction);
26 // 调用函数nestedFunction
27 nestedFunction();
28 }
29 // 调用函数myFunction
30 myFunction();
31 // print('topLevel\r');
32 // print(topLevel);
33 // print('insideMain\r');
34 // print(insideMain);
35}
36
6)闭包
当函数定义和函数表达式位于另一个函数的函数体内。而且这些内部函数可以访问它们所在的外部函数中声明的所有局部变量、参数和声明的其他内部函数。当其中一个这样的内部函数在包含它们的外部函数之外被调用时,就会形成闭包。
-
a. 内部函数为有参数的匿名函数示例:
1
2
3
4
5
6
7
8
9
10 1void main() {
2 var result = test();
3 print(result(2.0));//结果为:12.56
4}
5
6Function test(){
7 const PI = 3.14;
8 return (double r) => r * r * PI;
9}
10
-
b. 内部函数为无参数的匿名函数示例:
1
2
3
4
5
6
7
8
9
10 1void main() {
2 var result2 = test2();
3 print(result2());//结果为:3.14
4}
5
6Function test2() {
7 const PI = 3.14;
8 return () => PI;
9}
10
7)等价函数
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33 1//函数也是对象
2
3void topMethod() {} // 一个顶级函数
4
5class Demo {
6 static void staticMethod() {} //一个静态方法
7 void caseMethod() {} //实例方法
8}
9
10void main() {
11 var compareVar;
12
13 // 比较顶级的函数
14 compareVar = topMethod;
15 print(topMethod == compareVar);
16
17 // 比较静态方法
18 compareVar = Demo.staticMethod;
19 print(Demo.staticMethod == compareVar);
20
21 // 比较实例方法
22 var demo1 = Demo(); // Demo类的实例1
23 var demo2 = Demo(); // Demo类的实例2
24 var y = demo2;
25 compareVar = demo2.caseMethod;
26
27 //这些闭包指向同一个实例demo2,所以它们相等。
28 print(y.caseMethod == compareVar);
29
30 //这些闭包是指不同的实例,所以他们不平等。
31 print(demo1.caseMethod != demo2.caseMethod);
32}
33
8)函数别名
在 Dart 中,函数是对象,就像字符串一样,数字是对象。一个类型定义,或功能型的别名,给出了一个函数类型声明字段时,你可以使用和返回类型的名称。当函数类型分配给变量时,typedef 会保留类型信息。以下代码,它不使用 typedef:我们可以看到 funs 是一个函数,但它是哪一种类型的函数? 不是很清楚。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15 1class Demo {
2 Function funs;
3 Demo (int f(Object a, Object b)) {
4 funs = f;
5 }
6}
7
8int test(Object a, Object b) => 0;
9
10void main() {
11 Demo demo = Demo(test);
12 // funs是一个函数,但它是哪一种类型的函数?
13 print(demo.funs is Function); // true
14}
15
可以使用 typedef 给函数取个别名,这一点让我想起了 C 语言里面的函数指针。接下来使用 typedef 改造一下,我们将代码更改为使用显式名称并保留类型信息,开发人员和工具都可以使用该信息。
-
-
给 Function 取一个别名叫做 TypedefFuns
-
1
2 1typedef TypedefFuns = int Function(Object a, Object b);
2
-
-
Demo 类里的构造方法使用这个别名
-
1
2
3
4
5 1class Demo {
2 TypedefFuns funs;
3 Demo(this.funs);
4}
5
-
-
使用 Demo 类,传入一个函数。这里给 Demo 类传入了一个函数 test。如果想知道然后判断 demo.funs 属于哪一种类型。
-
1
2
3
4
5
6
7
8 1int test(Object a, Object b) => 0;
2
3void main() {
4 Demo demo = Demo(test);
5 print(demo.funs is Function); // true
6 print(demo.funs is Demo); // false
7}
8
目前:typedef 仅限于函数类型。
因为 typedef 只是别名,Dart 提供了一种检查任何函数类型的方法。例如:
1
2
3
4
5
6 1typedef TypedefFuns2<T> = int Function(T a, T b);
2int test2(int a, int b) => a - b;
3void main() {
4 print(test2 is TypedefFuns2<int>); // True
5}
6
9)getter 和 setter
getter 和 setter 是提供对象属性的读写访问权限的特殊方法。所有实例变量都生成一个隐式 getter 方法。非 final 实例变量也会生成隐式 setter 方法。使用 get 和 set 关键字通过实现 getter 和 setter 来创建其他属性。
-
- 使用 getter 和 setter,可以从实例变量开始。
例如:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18 1void main() {
2 var rect = Rectangle(3, 4, 20, 15);
3 print(rect.left == 3); // true
4 rect.right = 12;
5 print(rect.left == -8); // true
6}
7
8class Rectangle {
9 num left, top, width, height;
10
11 Rectangle(this.left, this.top, this.width, this.height);
12
13 num get right => left + width;
14 set right(num value) => left = value - width;
15 num get bottom => top + height;
16 set bottom(num value) => top = value - height;
17}
18
注意: 无论是否明确定义了 getter,增量(++)等运算符都以预期的方式工作。为避免任何意外的副作用,只需调用一次getter,将其值保存在临时变量中。
- 2.实例变量的隐式 getter 和 setter 方法
所有实例变量都生成一个隐式 getter 方法。非 final 实例变量也会生成隐式 setter 方法。例如:
1
2
3
4
5
6
7
8
9
10
11
12 1class Point {
2 num x;
3 num y;
4}
5
6void main() {
7 var point = Point();
8 point.x = 4; // Use the setter method for x.
9 assert(point.x == 4); // Use the getter method for x.
10 assert(point.y == null); // Values default to null.
11}
12
如果初始化声明它的实例变量(而不是构造函数或方法),则在创建实例时设置该值,该实例在构造函数及其初始化列表执行之前。例如:
1
2
3
4
5
6
7
8
9
10
11
12 1class Point2 {
2 num x = 10;
3 num y = 5;
4 Point2 p = new Point2();//p在构造函数之前执行
5 Point2(){}
6}
7
8void main() {
9 var point2 = Point2();
10 point2.x = 4; //
11}
12
10)抽象方法
实例,getter 和 setter 方法可以是抽象的,定义一个接口,但将其实现留给其他类。抽象方法只能存在于抽象类中。要使方法抽象,请使用分号(;)而不是方法体。
1
2
3
4
5
6
7
8
9
10
11
12
13
14 1abstract class Test {
2 //定义实例变量和方法...
3
4//定义一个抽象方法
5void doSomething();
6}
7
8class TestImpl extends Test {
9 // 抽象方法的实现
10 void doSomething(){
11 // 具体的实现...
12 }
13}
14
11)静态方法
静态方法:使用 static 关键字修饰的方法,也叫类方法,它不对实例进行操作,因此无权访问 this。
1
2
3
4
5
6
7
8
9
10 1void main() {
2 print(Point.area(5, 4));// 10
3}
4
5class Point {
6 static num area(num x, num y) {
7 return (x * y)/2;
8 }
9}
10
注意:对于常用或广泛使用的实用程序和功能,请考虑使用顶级函数而不是静态方法。你可以使用静态方法作为编译时常量。例如,你可以将静态方法作为参数传递给常量构造函数。
(2) 构造函数
通过创建一个与其类同名的函数来声明构造函数(另外,还有一个额外的标识符,如命名构造函数中所述)。
1) 最常见的构造函数形式,即生成构造函数,创建一个类的新实例。
例如:
1
2
3
4
5
6
7
8
9
10
11
12
13
14 1class Test {
2 int x, y;
3
4 Test(int x, int y) {
5 this.x = x;//this.x指向的是当前Test类里面的变量int x
6 this.y = y;
7 }
8}
9
10void main(){
11 // 使用Test构造函数创建Test对象
12 var test = new Test(5, 15);
13}
14
2) Dart 具有语法糖,可以将构造函数参数赋值给实例变量。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17 1class Test {
2 num x, y;
3
4 // 构造函数运行之前设置x和y
5 Test(this.x, this.y) {
6 print('x:$x, y:$y');
7 }
8}
9
10如果没有内容体,可以使用简写形式,示例如下:
11class Test {
12 num x, y;
13
14 // 构造函数运行之前设置x和y
15 Test(this.x, this.y);
16}
17
3) 默认构造函数(空参构造)
如果你未声明构造函数,则会为你提供默认构造函数。默认构造函数没有参数,并在超类中调用无参数构造函数。注意:如果定义了空参构造,再去写实参构造,会报错(这一点和 Java 不一样)。
1
2
3
4
5 1 class Test{
2 // 如果不写 默认就是空参构造
3 Test(){}
4 }
5
4) 命名构造函数
Java 可以做到 方法重载(也就是:多个同名不同参数构造函数),但是 Dart 不可以这么做。Dart 提供了命名构造。使用命名构造函数为类实现多个构造函数或提供更多的解释说明。
例如:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15 1class Test{
2 num x, y;
3
4 // 命名构造
5 Test.help() {
6 x = 5;
7 y = 10;
8 print('x=${x}, y = ${y}');
9 }
10}
11
12void main(){
13 Test.help();// 调用命名构造函数
14}
15
构造函数不是继承的,也就是说超类的命名构造函数不会被子类继承。如果希望使用超类中定义的命名构造函数创建子类,则必须在子类中实现该构造函数。例如:Test 类里面有一个 Test.help() 命名构造,它的子类是 TestChild,如果使用 new TestChild.help() 就会报错,因为构造函数不能继承。只有在 TestChild 类里面写一个 TestChild.help() 命名构造函数,才可以使用该命名构造。示例如下:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33 1void main() {
2 // 先执行Test类的空参构造, 再执行TestChild类的空参构造。
3new TestChild();
4 // 调用时会报错
5 //new TestChild.help();
6}
7
8class Test{
9 var x, y;
10 Test(){
11 print('这是 Test 类的空参构造');
12 }
13// 命名构造不能被继承
14 Test.help(){
15 x = 5;
16 y = 10;
17 print('Test.help() 命名函数 x=${x}, y = ${y}');
18 }
19}
20
21class TestChild extends Test{
22 var x, y;
23 TestChild(){
24 print('这是 TestChild 类的空参构造');
25 }
26 // 加上与父类相同的命名构造就不会错 注释了就会报错
27 // TestChild.help(){
28 // x = 3;
29 // y = 2;
30 // print('TestChild.help() 命名函数 x=${x}, y = ${y}');
31 // }
32}
33
5) 构造函数不是继承的
子类不从其超类继承构造函数。声明没有构造函数的子类只有默认(无参数,无名称)构造函数。
6) 构造函数调用流程
默认情况下,子类中的构造函数调用超类的无参构造函数。超类的构造函数在构造函数体的开头被调用。如果还使用初始化列表,则在调用超类之前执行。
执行顺序如下:
初始化列表 -> 超类的无参数构造函数 -> 主类的无参数构造函数,
超类必须要有一个空参构造,如果超类没有未命名的无参数构造函数,则必须手动调用超类中的一个构造函数。在冒号(:)之后,在构造函数体(如果有)之前指定超类构造函数。例如下面的示例:TestChild 类和其超类 Test 类。运行结果为:
1
2
3
4 1Test 空参构造
2TestChild 有参构造
3面积为:6.0
4
示例代码:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39 1void main() {
2 var result = new TestChild.area(3, 4);
3 print('面积为:${result.area}');
4}
5
6class Test {
7 num width;
8 num height;
9 num area;
10
11 // 必须加上空参构造,如果注释掉 它的子类会报错
12 Test() {
13 print('Test 空参构造');
14 }
15
16 Test.area(width, height)
17 : width = width,
18 height = height,
19 area = width * height {
20 print('Test 有参构造');
21 }
22}
23
24class TestChild extends Test {
25
26 num width;
27 num height;
28 num area;
29
30 TestChild() {
31 print('TestChild 空参构造');
32 }
33
34 TestChild.area(num width, num height)
35 : area = (width * height)/2 {
36 print('TestChild 有参构造');
37 }
38}
39
7) 重定向构造函数
有时构造函数的唯一目的是重定向到同一个类中的另一个构造函数。重定向构造函数的主体是空的,构造函数调用出现在冒号(:)之后。示例如下:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19 1void main() {
2 var result = new Test(4, true, '数字', 10);
3 print('abcd分别是:${result.a},${result.b},${result.c},${result.d}');
4}
5
6class Test {
7 num a;
8 bool b;
9 String c;
10 num d;
11 // 主构造函数
12 Test(this.a, this.b, this.c, this.d);
13
14 // 委托给主构造函数
15 Test.test1(num x,bool y) : this(x, y,'', 0);
16 Test.test2(num a,bool b, String c) : this(a, b, c, 0);
17 Test.test3(num a,bool b, String c,num d) : this(a, b, c, d);
18}
19
结果是:abcd 分别是:4, true, 数字, 10。
8) 常量构造函数
-
- 如果你的类生成永远不会更改的对象,则可以使这些对象成为编译时常量。为此,请定义 const 构造函数并确保所有实例变量都是 final。要使用 const 构造函数创建编译时常量,请将 const 关键字放在构造函数名称之前。
示例代码:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18 1oid main() {
2 var result = new Test(4, 10);
3 print('x=${result.x}, y:=${result.y}'); // x=4, y=10
4 print(Test.origin.x); // 5
5 print(Test.origin.y); // 1
6
7 var a = const Test(1, 1);
8 var b = const Test(1, 1);
9// 它们是相同示实例
10 print(a == b); // true
11
12class Test {
13 static final Test origin = const Test(5, 1);
14 final num x;
15 final num y;
16 const Test(this.x, this.y);
17}
18
-
- 常量上下文中的 const 构造函数
在常量上下文中,你可以省略 const 构造函数或文字之前的内容。常量上下文,可以简单的理解为:const 后面包裹的语句一定是连续的一个整体,例如声明一个 list 或者 map。例如,查看此代码,该代码创建一个 const 的 map:
1
2
3
4
5
6
7
8
9
10 1// 这里有很多const关键字
2const pointAndLine = const {
3 'point': const [const ImmutablePoint(0, 0)],
4 'line': const [const ImmutablePoint(1, 10), const ImmutablePoint(-2, 11)],
5};
6
7class ImmutablePoint{
8 const ImmutablePoint(int a, int b);
9}
10
你可以省略除 const 关键字的第一次使用之外的所有内容:
1
2
3
4
5
6 1// 只有一个const, 它建立了常量上下文
2const pointAndLine2 = {
3 'point': [ImmutablePoint(0, 0)],
4 'line': [ImmutablePoint(1, 10), ImmutablePoint(-2, 11)],
5};
6
如果一个常量构造函数在常量上下文之外,并且在没有常量的情况下被调用,则会创建一个非常量对象:
1
2
3
4 1var a = const ImmutablePoint(1, 1); //创建一个常量
2var b = ImmutablePoint(1, 1); // 不创建常量
3assert(!identical(a, b)); // 不是同一个实例
4
9) 工厂构造函数
factory 是在实现不总是创建其类的新实例的构造函数时使用关键字。例如,工厂构造函数可能从缓存中返回实例,或者它可能返回子类型的实例。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25 1class Test{
2 final String name;
3 static Map<String, Test> _cache = new Map<String, Test>();
4 factory Test(String name) {
5 if (_cache.containsKey(name)) {
6 return _cache[name];
7 } else {
8 final symbol = new Test._internal(name);
9 _cache[name] = symbol;
10 return symbol;
11 }
12 }
13 Test._internal(this.name);
14 void test(){
15 print('调用了test()');
16 }
17}
18void main(){
19 var a = new Test('abc');
20 var b = new Test('abc');
21 // 检查两个是否引用的相同的对象
22 print(identical(a, b)); // true
23 new Test('abc').test();
24}
25
运行结果:
1
2
3 1true
2调用了test()
3
说明:
-
- 工厂构造函数无权访问 this。
-
- 可以创建子类的实例(例如:取决于传递的参数)。
-
- 返回缓存的实例而不是新的实例。
-
- 可以使用 new 关键字,也可以不使用。(上例中可以这样写:Test('abc').test())
-
- 工厂构造函数没有初始化列表(没有 :super())
以下是 Dart 的工厂函数实现的单例:
1
2
3
4
5
6
7
8
9
10
11 1// factory实现的单例
2class Singleton {
3 factory Singleton() => const Singleton._internal_();
4 const Singleton._internal_();
5}
6
7void main() {
8 print(new Singleton() == new Singleton());
9 print(identical(new Singleton(), new Singleton()));
10}
11
(3) 初始化列表
1) 可以在构造函数体运行之前初始化实例变量,用逗号分隔初始化。例如:
有参构造的初始化:
1
2
3
4
5
6
7
8
9 1class Test1 {
2 var x, y;
3 Test1(var x, var y)
4 : x = x,
5 y = y {
6 print('Test1 有参构造初始化');
7 }
8}
9
命名构造的初始化:
1
2
3
4
5
6
7
8
9 1class Test2{
2 var x,y;
3 Test2.from(Map<String, num> json)
4 : x = json['x'],
5 y = json['y'] {
6 print('Test2.from(): ($x, $y)');
7 }
8}
9
2) 在实际应用开发中,可以使用 assert 在初始化列表用来校验输入参数。
例如:
有参构造使用 assert 校验参数:
1
2
3
4
5
6
7
8 1class Test1 {
2 var x, y;
3
4 Test1(var x, var y) : assert(x >= 0) {
5 print('Test1(): ($x, $y)');
6 }
7}
8
命名构造使用 assert 校验参数:
1
2
3
4
5
6
7 1class Test2 {
2 var x, y;
3 Test2.withAssert(this.x, this.y) : assert(x >= 0) {
4 print('Test2.withAssert(): ($x, $y)');
5 }
6}
7
3) 如果没有更多实际操作内容,可以简写。
有参构造使用 assert 校验参数的简写形式:
1
2
3
4
5
6
7 1class Test1 {
2 var x, y;
3
4 Test1(var x, var y) : assert(x >= 0);
5
6}
7
命名构造使用 assert 校验参数的简写形式:
1
2
3
4
5 1class Test2{
2var x, y;
3 Test2.withAssert(this.x, this.y) : assert(x >= 0);
4}
5
4) 如果要把构造的初始化和 assert 校验同时使用,可以采用这种方式:
使用 assert 简写,然后在内容体里面执行初始化操作。
1
2
3
4
5
6
7
8
9 1class Test1{
2 var x, y;
3 Test1(var x, var y) : assert(x > 0){
4 this.x = x;
5 this.y = y;
6 print('Test1 有参构造初始化');
7 }
8}
9
5) 设置 final 字段,初始化程序时更方便。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20 1import 'dart:math';
2
3// 设置final字段,初始化程序时更方便
4
5void main() {
6 var p = new Test1(4, 3);
7 print('长方形的对角线长度:${p.hypotenuse}');
8}
9
10class Test1 {
11 final num width;
12 final num height;
13 final num hypotenuse;
14
15 Test1(width, height)
16 : width = width,
17 height = height,
18 hypotenuse = sqrt(width * width + height * height);
19}
20
2. mixin 入门
在面向对象的编程语言中,Mixin 是包含供其他类使用的方法的类,而不必是其他类的父类。其他类如何访问 Mixin 的方法取决于语言。Mixin 有时被描述为“包含的”而不是“继承的”。
Mixins 鼓励代码重用,并且可用于避免多重继承可能导致的继承歧义 (菱形问题),或者用于解决语言中缺少对多重继承的支持的问题。Mixin 还可以被视为具有实现方法的接口。这个模式是执行依赖倒置原则的一个例子。
一、继承歧义
(一) 定义
继承歧义,也叫菱形问题,也叫做钻石问题,或者有时被称为致命的死亡钻石。当两个 B 和 C 类继承自 A,D 类继承自 B 和 C 时产生歧义。如果 A 中有一个方法在 B 和 C 中已经重写,而 D 没有重写它,那么 D 继承的方法的版本是 B,还是 C?
如下图所示:
(二) 继承歧义的缓解
不同的编程语言有不同的方法来处理这些重复继承的问题,这里列举几个用的比较多的语言。
C++(底层、硬件、编解码、算法等都用得到)
默认情况下,每个继承路径都是分开的,因此D对象实际上包含两个独立的a对象,并且必须正确限定a成员的使用。如果从A到B的继承和从A到C的继承都标记为virtual(例如,class B:virtual public A),那么c++会特别注意只创建一个对象,并正确使用A的成员。如果虚拟继承和非虚拟继承是混合的,那么只有一个虚拟A,对于每个到A的非虚拟继承路径,都有一个非虚拟A。C++需要显式地声明要使用的特性是从哪个父类调用的(例如:Worker::Human.Age)。C++不支持显式的重复继承,因为没有办法限定要使用哪个超类(例如:在一个派生列表[class Dog : public Animal, Animal]中出现一个类不止一次)。C++还允许通过虚拟继承机制创建多个类的单个实例(例如:Worker::Human和Musician::Human将引用相同的对象)。
Java8(服务端开发、Android开发)
Java 8在接口上引入默认方法。如果A、B、C是接口,B、C可以为A的抽象方法提供不同的实现,从而导致菱形问题。D类必须重新实现该方法(它的主体可以简单地将调用转发给一个超类来实现),否则模糊将被拒绝作为编译错误。(在Java 8之前,Java不受钻石问题风险的影响,因为它不支持多重继承。)
Go(可以用于区块链有关)
在编译时防止钻石问题。如果一个结构体D嵌入两种结构体B和C(这两个结构体都有一个方法F()),从而满足接口A,那么如果调用D.F(),或者如果D的实例被分配给类型A.B和C的变量,则编译器将会提示ambiguous selector(模拟两可的选择)。
Python(可以用于人工智能有关)
Python的继承顺序影响类语义。Python在引入新样式的类时必须处理这个问题,所有这些类都有一个共同的祖先对象。Python使用C3线性化(或方法解析顺序(Method Resolution Order,MRO))算法创建类列表。该算法强制执行两个约束:子类先于父类,如果一个类从多个类继承,它们将按照基类元组中指定的顺序保存(但是在这种情况下,继承图中较高的一些类可能先于图中较低的类)。因此,方法的分辨率顺序为:D, B, C, A。
Scala(可以用于大数据方面)
Scala允许特性的多个实例化,通过在类层次结构和特征层次结构之间添加区别,可以实现多重继承。类只能从单个类继承,但是可以根据需要混合(mix-in)任意多的特性。Scala使用扩展的traits的右优先深度优先的搜索来解析方法名,然后除去结果列表中每个模块的最后一次出现。所以,解决的顺序是[D, C, A, B, A],被减少到[D, C, B, A]
只允许单个继承 (类只能从一个基类派生) 的语言没有菱形问题。这样做的原因是,无论方法的重复或位置如何,这些语言在继承链的任何级别上最多只能实现一个方法。通常,这些语言允许类实现多个 protocols,在 Java 中称为接口。这些协议定义了方法,但没有提供具体的实现。这个策略已经被 ActionScript、c#、D、Java、Nemerle、Object Pascal (Free Pascal and Delphi)、Objective-C、Smalltalk、Swift、PHP 所使用。所有这些语言都允许类实现多个 protocols。此外,Ada、Objective-C、c#、Delphi/Free Pascal、Java、Swift、PHP 等语言允许接口的多重继承 (在 Objective-C 和 Swift 中称为 protocols(协议))。接口就像抽象基类,它们指定方法签名而不实现任何行为。(“纯”接口,例如版本7之前的Java 接口,不允许接口中的任何实现或实例数据。)然而,即使当多个接口声明相同的方法签名时,只要该方法在继承链中的任何位置实现(定义),它就会覆盖该方法在其上链中的任何实现(在它的超类中)。因此,在继承链的任何给定级别上,任何方法最多只能有一个实现。因此,单继承方法实现即使在接口的多继承中也不存在菱形问题。随着 Java 8 中接口的默认实现的引入,仍然有可能生成菱形问题,尽管这只会作为编译时错误出现。
3. 异步
Dart 库中包含许多返回 Future 或 Stream 对象的函数。这些函数是异步的:它们在设置可能耗时的操作(例如I / O)后返回,而不等待该操作完成。
async 和 await 关键字支持异步编程,让你写异步代码看起来类似于同步代码。
(一) 处理Future
当你需要完成 Future 的结果时,你有两个选择:
- 1) 使用 async 和 await。
- 2) 使用 Future API。
(二) 使用 async 和 await
使用 async 和 await 异步的代码,但它看起来很像同步代码。例如,这里有一些代码 await 用于等待异步函数的结果。例如:await lookUpVersion();
要使用 async,代码必须在 async 函数中(标记为 async 的函数)。
例如:
1
2
3
4
5
6 1Future checkVersion() async {
2 var version = await lookUpVersion();
3 // 其他操作
4}
5
6
注意: 虽然 async 函数可能执行耗时的操作,但它不会等待这些操作。async 函数只在遇到第一个 await 表达式时执行。然后它返回一个 Future 对象,仅在 await 表达式完成后才恢复执行。
使用 try,catch,finally 在使用 await 的代码中处理错误和清理代码。
1
2
3
4
5
6
7
8
9 1try {
2 var version = await lookUpVersion();
3} catch (e) {
4 // 这里可以看到是什么错误。
5}finally{
6 // 正确的解决方式写在这里
7}
8
9
你可以在异步功能中多次使用 await。例如,以下代码等待三次函数结果:
1
2
3
4
5 1var entrypoint = await findEntrypoint();
2var exitCode = await runExecutable(entrypoint, args);
3await flushThenExit(exitCode);
4
5
在 await 表达式中,表达式的值通常是 Future; 如果不是,那么该值将自动包含在 Future中。 这个 Future 对象表示返回一个对象的 promise。await 表达式的值是返回的对象。 await 表达式使执行暂停,直到该对象可用。
如果在使用 await 时遇到编译时错误,请确保 await 在 async 函数中。
例如,要在应用程序的 main() 函数中使用 await,main() 方法必须标记为 async:以下是一个完整的示例代码:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18 1import 'dart:async';
2
3Future main() async {
4 checkVersion();
5 print('In main: version is ${await lookUpVersion()}');
6}
7
8Future checkVersion() async {
9 print('checkVersion()');
10 var version = await lookUpVersion();
11}
12
13Future<String> lookUpVersion() async{
14 print('lookUpVersion()');
15 return '版本号:v1.0';
16}
17
18
结果:
1
2
3
4
5
6 1// checkVersion()
2// lookUpVersion()
3// lookUpVersion()
4// In main: version is 版本号:v1.0
5
6
(三) 定义一个异步函数
方法被 async 修饰的函数是异步函数。给一个函数添加 async 关键字,使得返回值是一个 Future。
1
2
3
4
5
6
7 1void main(){
2 lookUpVersion(); //输出结果:lookUpVersion()同步方法 返回值是:1.0.0
3 lookUpVersion2(); // 输出结果:lookUpVersion2()异步方法 返回值是:1.0.0
4 lookUpVersion3(); // 输出结果:lookUpVersion3()异步方法 没有返回值
5}
6
7
例如,看下面这个返回值是 String 的同步函数:
1
2
3
4
5
6 1String lookUpVersion() {
2 print('lookUpVersion()同步方法 返回值是:1.0.0');
3 return '1.0.0';
4}
5
6
如果将其更改为异步函数 – 例如,因为 Future 的实现将非常耗时 – 返回的值是 Future:
1
2
3
4
5
6 1Future<String> lookUpVersion2() async{
2 print('lookUpVersion2()异步方法 返回值是:1.0.0');
3 return '1.0.0';
4}
5
6
如果你的函数没有返回有用的值,请设置其返回类型 Future<void>
例如:
1
2
3
4
5 1Future<void> lookUpVersion3() async {
2 print('lookUpVersion3()异步方法 没有返回值');
3}
4
5
(四) 处理 Stream
当你需要完成 Future 的结果时,你有两个选择:
- 1) 使用 async 和异步 for 循环 (await for)。
注意:在使用 await for 之前,请确保它使代码更清晰,并且你确实希望等待所有 Stream 的结果。 例如,通常情况,不应该使用 await for UI 事件侦听器,因为 UI 框架会发送无穷无尽的事件流(streams of events)。
- 2) 使用 Stream API (主要是 IO 操作)。
异步 for 循环的格式:await for(var 或具体类型 标识符 in 表达式){}
例如:我们读取本地的一个文件内容,实例代码如下:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26 1import 'dart:io';
2import 'dart:convert';
3void main() {
4 test();
5}
6// await for循环的使用示例
7// 这里是读取本地文件的内容
8Future test() async {
9 var config=File('d:\\test.txt');
10 // 打开io流进行文件读取
11 Stream<List<int>> inputStream = config.openRead();
12 var lines = inputStream
13 // 设置编码格式为utf-8
14 .transform(utf8.decoder)
15 .transform(LineSplitter());
16 try {
17 await for (var line in lines) {
18 print('从Stream中获取到的内容是: ${line} \r文本内容长度为:'+ '${line.length}\r=======');
19 }
20 print('文件现在没有关闭。。。');
21 } catch (e) {
22 print(e);
23 }
24}
25
26
表达式的值必须有 Stream 类型,执行过程如下:
- 1) 等待,知道 Stream 发出一个数值。
- 2) 执行 for 循环的主体,讲变量设置为这个发出的数值。
- 3) 重复1和2,知道关闭 Stream。
要停止监听 Stream,你可以使用 break 或者 return 语句跳出 for 循环 B 并且从 Stream 中取消订阅。
如果在实现异步 for 循环时遇到编译时错误,确保 await for 在一个 async 函数中。
例如,要在应用程序的 main() 函数中使用 await for 循环,main() 方法必须标记为 async:以下是一个完整的示例代码:
1
2
3
4
5
6
7
8
9 1Future main() async {
2 // ...
3 await for (var request in requestServer) {
4 handleRequest(request);
5 }
6 // ...
7}
8
9
4. 库相关
import 和 library 指令可以帮助你创建一个模块化的,可共享的代码库。库不仅提供 API,还是隐私单元(以下划线(_)开头的标识符仅在库内可见)。每个 Dart 应用程序都是一个库,即使它不使用 library 指令。可以使用包来分发库。
(一) 使用库
使用 import 指定一个库中的命名空间如何在另一个库汇总使用。
例如,Dart Web 应用程序通常使用 dart:html 库,它们可以像这样导入:
import 'dart:html';
对于内置库,URI 具有特殊 dart: 方案 (scheme)。对于其他库,你可以使用文件系统路径或 package: 方案 (scheme),这个是由包管理器(如 pub 工具)提供的库。
例如:
import 'libs/mylib.dart';
(二) 指定库前缀
如果导入两个具有冲突标识符的库,则可以为一个或两个库指定前缀。例如,如果 test2.dart 和 test3.dart 都有一个 hello() 函数,那么直接导入这两个文件会有冲突,这种情况下我们可以使用 as 关键字给库指定一个前缀:
test2.dart 代码如下:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26 1void hello() {
2 print('test2.dart : hello()函数');
3}
4
5test3.dart代码如下:
6void hello(){
7 print('test3.dart : hello()函数');
8}
9
10现在要在test1.dart中导入这两个文件:
11// 这样写会报错
12// import 'test2.dart';
13// import 'test3.dart';
14
15 // 正确写法:
16import 'test2.dart';
17// 给导入的库指定一个前缀 方便识别
18import 'test3.dart' as test3;
19
20 调用方式:
21 void main(){
22 hello();//test2.dart : hello()函数
23 test3.hello();//test3.dart : hello()函数
24}
25
26
导入库也可以使用相对路径。例如:lib/demo1/a.dart, lib/demo2/b.dart 这两个文件。现在 b.dart 这个文件需要引用 a.dart,可以使用 import '../demo1/a.dart' 导入。
(三) 仅导入库的一部分
如果只想使用库的一部分,则可以有选择地导入库,可以使用 show 或者 hide 关键字。例如:show 表示仅导入当前库,hide表示除了当前库之外全部导入。
1
2
3
4
5
6
7
8 1// 仅导入mylib.dart里面的test2函数
2// import 'libs/mylib.dart' show test2;
3// 刚好和show相反 除了test2函数之外 其它的都导入
4import 'libs/mylib.dart' hide test2;
5//我们想导入mylib库,但是不想用里面的otherLib这个库 可以这样写
6// import 'libs/mylib.dart' hide otherLib;
7
8
(四) 懒加载一个库
延迟加载(也称为延迟加载)允许应用程序根据需要加载库,如果需要的话。以下是你可能使用延迟加载的一些情况:
- 1) 减少应用程序的初始启动时间。
- 2) 例如,执行 A/B 测试 – 尝试算法的替代实现。
- 3) 加载很少使用的功能,例如可选的屏幕和对话框。
要延迟加载库,必须先使用 deferred as 它导入一个库。当我们 import 一个库的时候,如果使用了 as 不能同时使用deferred as
例如:
1
2
3
4 1// import 'libs/mylib.dart'; // 不能同时使用
2import 'libs/mylib.dart' deferred as tests;
3
4
当你需要库时,使用库的标识符调用 loadLibrary()。
例如(注意导包:import 'dart:async';):
1
2
3
4
5
6
7
8
9
10 1Future hello() async {
2 await tests.loadLibrary();
3 tests.test2();
4}
5// 然后再去使用:
6void main(){
7 hello(); // 结果是: mylib.dart:test2()函数
8}
9
10
在上述的代码中,await 关键字暂停执行,直到库被加载。
你可以在一个库上调用 loadLibrary() 多次,而不会出现问题。该库只加载一次。
使用延迟加载时请记住以下内容:
- 1) 延迟库的常量不是导入文件中的常量。请记住,在加载延迟库之前,这些常量不存在。
-
- 你不能在导入文件中使用延迟库中的类型。相反,请考虑将接口类型移动到由延迟库和导入文件导入的*库。
- 3) Dart 隐式插入 loadLibrary() 到你使用 deferred as namespace 定义的命名空间。loadLibrary() 函数返回 Future。
(五) 库的拆分
【说明】dart 官网不推荐使用 part ,这个仅作为了解。
使用 part 指令,可以将库拆分为多个 Dart 文件。part of 表示隶属于某个库的一部分。
注意事项:
不能同时使用 library 和 part of,它们都用于指定属于库的内容。
1
2
3
4
5 1// library testlib2; 这个不能和part of同时使用 会报错
2// part of 表示这个库是testlib库的一部分
3part of testlib1;
4
5
B 库是 A 库的一部分,在 B 库里面声明:part of A 库名称。
例如:在 testlib2.dart 里面声明 part of testlib1; 表示 testlib2 这个库是 testlib 库的 yi 部分。
如果 B 库声明 A 库的一部分,同时 A 库也想声明它的一部分是 B 库,正确写法:B 库声明 part of A 库名称,然后 A 库声明 part 'B库的路径' , 同时,如果 B 库没有声明,那么在 A 库里面使用 part 指令会报错。
testlib1.dart 内容:
1
2
3
4
5
6
7
8
9 1// 第1个库:
2library testlib1;
3// 可以不写
4part 'testlib2.dart';
5void run() {
6 print('testlib1库 : run()函数');
7}
8
9
testlib2.dart 内容:
1
2
3
4
5
6
7 1part of testlib1;
2class testLib2 {}
3void start() {
4 print('testlib2库 : start()函数');
5}
6
7
B 库声明了part of A 库名称,A 库可以省去声明 part 'B 库的路径'
1
2
3
4
5
6 1// 第1个库:
2library testlib1;
3// 可以不写
4part 'testlib2.dart';
5
6
(六) 库的自动导入
在 A 库中使用 export 关键字引入 B 库,当我们使用 A 库的时候,会自动引入 B 库,也就是说我们导入了 A 库,就可以使用 B 库了。mylib.dart 内容为:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18 1// 这是一个库 命名为mylib
2library mylib;
3// 希望使用mylib的时候 自动使用otherlib.dart 可以使用export关键字引入其他库
4export 'otherlib.dart';
5// 导入otherlib2.dart
6export 'otherlib2.dart';
7
8class MyLib {
9 void test() {
10 print('mylib.dart: MyLib : test()函数');
11 }
12}
13
14void test2() {
15 print('mylib.dart: test2()函数');
16}
17
18
otherlib.dart 库内容为:
1
2
3
4
5
6
7
8 1// otherlib库
2library otherlib;
3class otherLib {}
4void test() {
5 print('otherLib库 : test()函数');
6}
7
8
otherlib2.dart 库内容为:
1
2
3
4
5
6
7
8 1// otherlib2库
2library otherlib2;
3class otherLib2 {}
4void test2() {
5 print('otherLib2库 : test2()函数');
6}
7
8
(七) 库的组成结构
库的最低要求是:pubspec.yaml 文件和 lib 目录。
库的 pubspec.yaml 文件与普通应用程序包的文件格式相同。
lib 目录:库代码位于 lib 目录下,并且对其他包是公共的。你可以根据需要在 lib 下创建任何层次结构。
声明一个库的关键字是 library。
例如在文件 test.dart 文件首行加上:library mylib; 表示这个库的名称是 mylib。