type关键字定义类型的别名。
type str = string;
let cheese: str = 'gorgonzola';
let cake: str = 10; // Type 'number' is not assignable to type 'string'
乍一看，这似乎并不是非常有用（即使是错误提及原始类型），但随着类型注释变得更加复杂，type 关键字的好处变得明显。
联合类型
联合类型允许类型注释指定属性应该是一组类型之一（两者任一）。
function admitAge (age: number|string): string {
return `I am ${age}, alright?!`;
}
admitAge(30); // 'I am 30, alright?!'
admitAge('Forty'); // 'I am Forty, alright?!'
type关键字简化了注释和重用联合类型。
type Age = number | string;
function admitAge (age: Age): string {
return `I am ${age}, alright?!`;
}
let myAge: Age = 50;
let yourAge: Age = 'One Hundred';
admitAge(yourAge); // 'I am One Hundred, alright?!'
联合类型的字符串文字类型是一个非常有用的模式，创建基本上是带有字符串值的枚举。
type PartyZone = "pizza hut" | "waterpark" | "bowling alley" | "abandoned warehouse";
function goToParty (place: PartyZone): string {
return `lets go to the ${place}`;
}
goToParty("pizza hut");
goToParty("chuck e. cheese"); // Argument of type `"chuck e. cheese"' is not assignable to parameter of type 'PartyZone'
交叉类型
交叉类型是两种或更多种类型的组合。 适用于需要实现多个接口的对象和参数。
interface Kicker {
kick(speed: number): number;
}
interface Puncher {
punch(power: number): number;
}
// assign intersection type definition to alias KickPuncher
type KickPuncher = Kicker & Puncher;
function attack (warrior: KickPuncher) {
warrior.kick(102);
warrior.punch(412);
warrior.judoChop(); // Property 'judoChop' does not exist on type 'KickPuncher'
}
函数类型定义
函数类型注释可以比内置函数类型的typescript更加具体。 Function类型定义允许您将函数签名附加到它自己的类型。
type MaybeError = Error | null;
type Callback = (err: MaybeError, response: Object) => void;
function sendRequest (cb: Callback): void {
if (cb) {
cb(null, {});
}
}
语法与ES6 fat-arrow函数类似。([params]) => [return type].
前面为了说明类型关键字而提高了代码片段的可读性，这里是定义为inline的函数类型。
function sendRequest (cb: (err: Error|null, response: Object) => void): void {
if (cb) {
cb(null, {});
}
}
下一节：装饰器被提议用于未来版本的JavaScript，但是Angular 2团队真的想使用它们，并且它们已经被包括在TypeScript中。