Flutter学习指南：熟悉Dart语言

本文是 Flutter 学习指南的第4篇，假定读者有必定的编程经验。经过快速浏览 Dart 的一些基础特性，让读者具有使用它进行开发的基本能力。

变量

基本类型

bool done = true;
int num = 2;
double x = 3.14;

final bool visible = false;
final int amount = 100;
final double y = 2.7;

const bool debug = true;
const int sum = 42;
const double z = 1.2;
复制代码

跟经常使用的其余语言不一样，Dart 没有 byte、char 和 float，int、double 都是 64 位。final 跟 Java 里的 final 同样，表示一个运行时常量（在程序运行的时候赋值，赋值后值再也不改变）。const 表示一个编译时常量，在程序编译的时候它的值就肯定了。

若是你以为每次写变量类型太麻烦，你应该会喜欢 Dart 的类型推断功能：

var done = true;
var num = 2;
var x = 3.14;

final visible = false;
final amount = 100;
final y = 2.7;

const debug = true;
const sum = 42;
const z = 1.2;
复制代码

Dart 里全部的东西都是对象，包括 int、函数。

String

var str = ' foo';
var str2 = str.toUpperCase();
var str3 = str.trim();
assert(str == str2);
assert(!identical(str, str2));
复制代码

Dart 里的 String 跟 Java 中的同样，是不可变对象；不一样的是，检测两个 String 的内容是否同样事，咱们使用 == 进行比较；若是要测试两个对象是不是同一个对象（indentity test），使用 identical 函数。

List、Map 和 Set

List

// 使用构造函数建立对象
// 跟 var list = new List<int>(); 同样
var list = List<int>();
list.add(1);
list.add(2);

// 经过字面量建立对象，list 的泛型参数能够从变量定义推断出来。
// 推荐使用字面量方式建立对象
var list2 = [1, 2];
// 没有元素，显式指定泛型参数为 int
var list3 = <int>[];
list3.add(1);
list3.add(2);

var list4 = const[1, 2];
// list4 指向的是一个常量，咱们不能给它添加元素（不能修改它）
list4.add(3);       // error
// list4 自己不是一个常量，因此它能够指向另外一个对象
list4 = [4, 5];     // it's fine

const list5 = [1, 2];
// 至关于 const list5 = const[1, 2];
list5.add(3);       // error

// Dart 一样提供了 for-in 循环。
// 由于语音设计时就考虑到了这个需求，in 在 Dart 里是一个关键字
var list6 = [1, 3, 5, 7];
for (var e in list6) {
  print(e);
}
复制代码

在 Dart 2 里，建立对象时能够省略 new 关键字，也推荐省略 new。

Set

var set = Set<String>();
set.add('foo');
set.add('bar');
assert(set.contains('foo'));
复制代码

咱们只能经过 Set 的构造函数建立实例。

Map

var map = Map<String, int>();
// 添加
map['foo'] = 1;
map['bar'] = 3;
// 修改
map['foo'] = 4;
// 对应的 key 不存在时，返回 null
if (map['foobar'] == null) {
  print('map does not contain foobar');
}

var map2 = const {
  'foo': 2,
  'bar': 4,
};
var map3 = <String, String>{};
复制代码

dynamic 和 Object

前面咱们说过，Dart 里全部东西都是对象。全部这些对象的父类就是 Object。

Object o = 'string';
o = 42;
o.toString();   // 咱们只能调用 Object 支持的方法

dynamic obj = 'string';
obj['foo'] = 4;  // 能够编译经过，但在运行时会抛出 NoSuchMethodError
复制代码

Object 和 dynamic 都使得咱们能够接收任意类型的参数，但二者的区别很是的大。

使用 Object 时，咱们只是在说接受任意类型，咱们须要的是一个 Object。类型系统会保证其类型安全。

使用 dynamic 则是告诉编译器，咱们知道本身在作什么，不用作类型检测。当咱们调用一个不存在的方法时，会执行 noSuchMethod() 方法，默认状况下（在 Object 里实现）它会抛出 NoSuchMethodError。

为了在运行时检测进行类型检测，Dart 提供了一个关键字 is：

dynamic obj = <String, int>{};
if (obj is Map<String, int>) {
  // 进过类型判断后，Dart 知道 obj 是一个 Map<String, int>，
  // 因此这里不用强制转换 obj 的类型，即便咱们声明 obj 为 Object。
  obj['foo'] = 42;
}

// 虽然 Dart 也提供了 as 让咱们进行类型的强制转换，但为了进来更安全
// 的转换，更推荐使用 is
var map = obj as Map<String, int>;
复制代码

语句

var success = true;
if (success) {
  print('done');
} else {
  print('fail');
}

for (var i = 0; i < 5; ++i) {
  print(i);
}

var sum = 0;
var j = 1;
do {
  sum += j;
  ++j;
} while (j < 5);

while (sum-- > 0) {
  print(sum);
}

var type = 1;
switch (type) {
  case 0:
    // ...
    break;
  case 1:
    // ..
    break;
  case 2:
    // ...
    break;
  default:
    // ...
    break;
}
复制代码

常见的 if/else，do while，while 和 switch 在 Dart 里面都支持。switch 也支持 String 和 enum。

函数

最普通的函数看起来跟 Java 里的同样：

int foo(int x) {
  return 0;
}
复制代码

Dart 也支持可选参数：

void main() {
  print(foo(2));
  print(foo(1, 2));
}

int foo(int x, [int y]) {
  // 是的，int 也能够是 null
  if (y != null) {
    return x + y;
  }
  return x;
}

// 结果：
// 2
// 3
复制代码

默认参数也是支持的：

int foo(int x, [int y = 0]) {
  return x + y;
}
复制代码

还能用具名参数（named parameters）：

void main() {
  print(foo(x: 1, y: 2));
  // 具名参数的顺序能够是任意的
  print(foo(y: 3, x: 4));
  // 全部的具名参数都是可选的，这个调用是合法的，但它会致使 foo() 在运行时抛异常
  print(foo());
}

int foo({int x, int y}) {
  return x + y;
}
复制代码

具名参数也能够有默认参数：

void main() {
  print(foo(x: 1, y: 2));
  print(foo());
}

int foo({int x = 0, int y = 0}) {
  return x + y;
}
复制代码

若是想告诉用户某个具名参数是必须的，可使用注解 @required：

int foo({@required int x, @required int y}) {
  return x + y;
}
复制代码

@required 是 meta 包里提供的 API，更多的信息读者能够查看 pub.dartlang.org/packages/me…。

函数还能够在函数的内部定义：

// typedef 在 Dart 里面用于定义函数类型的别名
typedef Adder = int Function(int, int);

Adder makeAdder(int extra) {
  int adder(int x, int y) {
    return x + y + extra;
  }
  return adder;
}

void main() {
  var adder = makeAdder(2);
  print(adder(1, 2));
}

// 结果：
// 5
复制代码

像上面这样简单的函数，咱们还可使用 lambda：

typedef Adder = int Function(int, int);

Adder makeAdder(int extra) {
  return (int x, int y) {
    return x + y + extra;
  };
  // 若是只有一个语句，咱们可使用下面这种更为简洁的形式
  // return (int x, int y) => x + y + extra;
}

void main() {
  var adder = makeAdder(2);
  print(adder(1, 2));
}
复制代码

Dart 里面不只变量支持类型推断，lambda 的参数也支持自动推断。上面的代码还能够进一步简化为：

typedef Adder = int Function(int, int);

Adder makeAdder(int extra) {
  // 咱们要返回的类型是 Adder，因此 Dart 知道 x, y 都是 int
  return (x, y) => x + y + extra;
}

void main() {
  var adder = makeAdder(2);
  print(adder(1, 2));
}
复制代码

美中不足的是，Dart 不支持函数的重载。

异常

抛出异常：

throw Exception('put your error message here');
复制代码

捕获异常：

try {
  // ...
// 捕获特定类型的异常
} on FormatException catch (e) {
  // ...
// 捕获特定类型的异常，但不须要这个对象
} on Exception {
  // ..
// 捕获全部异常
} catch (e) {
  // ...
} finally {
  // ...
}
复制代码

跟 Java 不一样的是，Dart 能够抛出任意类型的对象：

throw 42;
复制代码

类

定义一个类：

class Point2D {
  static const someConst = 2;

  int x;
  // 成员变量也能够是 final 的
  final int y;

  Point2D(int x, int y) {
    this.x = x;
    this.y = y;
  }
}
复制代码

因为这种初始化方式很常见，Dart 提供了更简洁的方式：

class point2d {
  int x;
  int y;

  point2d(this.x, this.y);
}
复制代码

此外，还可使用初始化列表（initializer list）对对象进行初始化：

class Point2D {
  int x;
  int y;

  // 因为是在 initializer list 中，Dart 知道第一个 x 是 this.x，
  // 第二个 x 是构造函数的参数
  Point2D(int x, int y) : x = x, y = y {
    // ...
  }
}
复制代码

initializer list 会在构造函数的函数体运行前执行。

Dart 具备垃圾收集功能，对象的使用跟 Java 里几乎是同样的：

main() {
  var point = Point2D(1, 2);
  point.x = 4;
  print(point);
}

class Point2D {
  int x;
  int y;
  Point2D(this.x, this.y);

  // 全部的类都继承自 Object，toString() 是 Object 中的方法
  @override
  String toString() {
    // 在字符串的内部能够经过 ${expression} 的方式插入值，若是
    // expression 是一个变量，能够省略花括号
    return "Point2D{x=$x, y=$y}";
  }
}

// 结果：
// Point2D{x=4, y=2}
复制代码

Dart 使用 package 的概念来管理源码和可见性。它没有 public、private 之类的访问权限控制符，默认状况下，全部的符号都是公开的。若是咱们不想某个变量对包的外部可见，可使用下划线开头来给变量命名。

class _Foo {
  // ...
}

class Bar {
  int _x;
}
复制代码

下面咱们使用 Dart 的访问控制，实现一个带偏移量的 Point：

class OffsetPoint {
  int _x;
  int _y;
  int offset;

  OffsetPoint(int x, int y, int offset)
      : _x = x, _y = y, offset = offset {}

  // 定义一个 getter
  int get x => _x + offset;
  // getter 不能有参数，连括号都省掉了
  int get y {
    return _y + offset;
  }
  // 定义 setter
  void set x (int x) => _x = x;
  void set y (int y) => _y = y;

  @override
  String toString() {
    return "OffsetPoint{x=$x, y=$y}";
  }
}

main() {
  var point = OffsetPoint(1, 2, 10);
  // 使用 getter/setter 时，就像它是一个普通的成员变量
  print(point.x)
  print(point);
  point.x = 4;
  print(point);
}

// 结果：
// 11
// OffsetPoint{x=11, y=12}
// OffsetPoint{x=14, y=12}
复制代码

在 Dart 里继承对象也很简单：

class Point2D {
  int x;
  int y;
  Point2D(this.x, this.y);
}

class Point3D extends Point2D {
  int z;
  // 父类的构造函数只能在 initializer list 里调用
  Point3D(int x, int y, int z): z = z, super(x, y) {
  }
}
复制代码

可是对象构造时它跟 Java、C++ 都不太同样：

1. 先执行子类 initializer list，但只初始化本身的成员变量
2. 初始化父类的成员变量
3. 执行父类构造函数的函数体
4. 执行之类构造函数的函数体

基于这个初始化顺序，推荐是把 super() 放在 initializer list 的最后。此外，在 initializer list 里不能访问 this（也就是说，只能调用静态方法）。

虽然 Dart 是单继承的，但它也提供了必定程度的多重继承支持：

abstract class Bark {
  void bark() {
    print('woof');
  }
}

class Point3D extends Point2D with Bark {
  int z;
  // 父类的构造函数只能在 initializer list 里调用
  Point3D(int x, int y, int z): z = z, super(x, y) {
  }
}

// 没有其余类须要继承，因此直接 extends Bark 就能够了
class Foo extends Bark {}

void main() {
  var p = Point3D(1, 2, 3);
  p.bark();
}
复制代码

Dart 把支持多重继承的类叫作 mixin。更详细的介绍，读者能够参考www.dartlang.org/articles/la…。

泛型

class Pair<S, T> {
  S first;
  T second;
  Pair(this.first, this.second);
}

void main() {
  var p = Pair('hello', 2);
  print(p is Pair<String, int>);
  // is! 也是 Dart 的运算符，下面的语句跟 !(p is Pair<int, int>) 是同样的，
  // 但 is! 读起来跟像英语
  print(p is! Pair<int, int>);
  print(p is Pair);
}

// 结果：
// true
// true
// true
复制代码

跟 Java 不一样，Dart 的泛型参数类型在运行时是保留的。

Future

Dart 是单线程的，主线程由一个事件循环来执行（相似 Android 的主线程）。对于异步代码，咱们经过 Future 来获取结果：

import 'dart:io';

void foo() {
  var file = File('path-to-your-file');
  file.exists()
      .then((exists) => print('file ${exists ? 'exists' : 'not exists'}'))
      .catchError((e) => print(e));
}
复制代码

Dart 2 提供了 async 函数，用来简化这种编程范式。下面这段代码的效果跟上面是同样的：

void foo() async {
  var file = File('path-to-your-file');
  try {
    var exists = await file.exists();
    print('file ${exists ? 'exists' : 'not exists'}');
  } catch (e) {
    print(e);
  }
}
复制代码

可是要注意，上面两段代码并非彻底同样的：

// import 语句用于导入一个包
import 'dart:io';

void main() {
  foo();
  bar();
}

void bar() {
  var file = File('path-to-your-file');
  file.exists()
      .then((exists) => print('bar: file ${exists ? 'exists' : 'not exists'}'))
      .catchError((e) => print(e));
  print('bar: after file.exists() returned');
}

void foo() async {
  var file = File('path-to-your-file');
  try {
    var exists = await file.exists();
    print('bar: file ${exists ? 'exists' : 'not exists'}');
    print('bar: after file.exists() returned');
  } catch (e) {
    print(e);
  }
}

// 一种可能的结果：
// bar: after file.exists() returned
// foo: file not exists
// foo: after file.exists() returned
// bar: file not exists
复制代码

这里的关键在于，bar 函数里面，file.exists() 执行完后，会立刻执行下面的语句；而 foo 则会等待结果，而后才继续执行。关于 Future 的更多的细节，强烈建议读者阅读webdev.dartlang.org/articles/pe…。

最后须要说明的是，Dart 的生成器、Stream 在这里咱们并无介绍，读者能够参考 www.dartlang.org/guides/lang…。此外，Dart 官网还有许多资源等待读者去发掘。

编程·思惟·职场
欢迎你们扫码关注