在Dart中，函数是对象，就像字符串和数字是对象一样。typedef或function-type为函数提供一个类型别名，你可以在声明字段和返回类型时使用这个名称。当函数类型被分配给变量时，typedef保留类型信息。
以下代码不使用typedef：
~~~
class SortedCollection {
Function compare;
SortedCollection(int f(Object a, Object b)) {
compare = f;
}
}
// Initial, broken implementation.
int sort(Object a, Object b) => 0;
void main() {
SortedCollection coll = SortedCollection(sort);
// All we know is that compare is a function,
// but what type of function?
assert(coll.compare is Function);
}
~~~
Type information is lost when assigning f to compare. The type of f is (Object, Object) → int (where → means returns), yet the type of compare is Function. If we change the code to use explicit names and retain type information, both developers and tools can use that information.
当给compare分配f时类型信息会丢失。f的类型是(Object, Object)->int(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;
void main() {
SortedCollection coll = SortedCollection(sort);
assert(coll.compare is Function);
assert(coll.compare is Compare);
}
~~~
>注意:目前，typedefs仅限于函数类型。我们期望这种情况会改变。
>
因为typedef仅仅是别名，所以它们提供了一种检查任何函数类型的方法。例如:
~~~
typedef Compare<T> = int Function(T a, T b);
int sort(int a, int b) => a - b;
void main() {
assert(sort is Compare<int>); // True!
}
~~~
