Typedefs

Typedefs

函数在 Dart 中也是对象，就像字符和数字对象一样。 使用 typedef (或者 function-type alias )为函数起一个别名， 别名可以用来声明字段及返回值类型。 当函数类型分配给变量时，typedef会记录类型信息。

typedef在代码中未使用 ，参考以下 ：

class SortedCollection {
  Function compare;

  SortedCollection(int f(Object a, Object b)) {
    compare = f;
  }
}

// Initial, broken implementation. // broken ？
int sort(Object a, Object b) => 0;

void main() {
  SortedCollection coll = SortedCollection(sort);

  // 虽然知道 compare 是函数，
  // 但是函数是什么类型 ？
  assert(coll.compare is Function);
}

类型信息在 f 赋值给 compare 的时候丢失了。 f 的类型是 (Object, Object) → int (这里 → 代表返回值类型)， 但是 compare 得到的类型是 Function 。我们如果使用显式的名字并保留类型信息， 这样开发者和工具都可以使用这些信息：

typedef Compare = int Function(Object a, Object b);

class SortedCollection {
  Compare compare;
  SortedCollection(this.compare);
}

// Initial, broken implementation.
int sort(Object a, Object b) => 0;

main() {
  SortedCollection coll = SortedCollection(sort);
  assert(coll.compare is Function);
  assert(coll.compare is Compare);
}

typedefs 目前只能使用在函数类型上，希望将来这种情况有所改变。

因为typedefs 只是别名，我们提供了一种方式来判断任意函数的类型。例如：

typedef int Compare(int a, int b);

int sort(int a, int b) => a - b;

main() {
  assert(sort is Compare); // True!
}