TypeScript 高级类型-详解

在TypeScript中，高级类型包括了类型断言、泛型、元组、派生类型等。

1. 类型断言

   类型断言可以用来告诉编译器你比它更了解这段代码。

let someValue = 'this is a string';
let strLength: number = (someValue as string).length;

2. 泛型

   泛型是一种创建可复用代码的强大机制，它可以对类型进行抽象。

function identity<T>(arg: T): T {
    return arg;
}
 
let output = identity<string>('myString');  // type of output will be 'string'

3. 元组

   元组可以让你创建一个已知元素数量和类型的数组。

let tuple: [number, string, boolean] = [7, 'hello', true];
 
let number = tuple[0];  // number
let string = tuple[1];  // string
let boolean = tuple[2]; // boolean

4. 派生类型

   派生类型是基于已有类型来创建新类型的方法。

class Animal {
    name: string;
}
 
class Dog extends Animal {
    breed: string;
}

在这个例子中，Dog类型是基于Animal类型派生出来的，因此Dog类型包含了Animal类型的所有成员。