一、 数据类型

1.1 原始数据类型

string、boolean、number、null、undefined、Symbol

!注意：undefined 和 null 是所有类型的子类型。也就是说 undefined类型的变量，可以赋值给其它类型的变量：

// 这样不会报错
let num: number = undefined;

// 这样也不会报错
let u: undefined;
let num: number = u;

1.2 空值

JavaScript 没有空值（Void）的概念，在 TypeScript 中，可以用 void 表示没有任何返回值的函数:

function alertName(): void {
    alert('My name is Tom');
}

1.3 任意值（any）表示允许赋值为任意类型

未声明类型的变量 「且定义的时候没有赋值」 || 声明类型为any类型， 都会识别为任意值类型

any 类型，则允许被赋值为任意类型；并且允许调用任意方法和属性，声明一个变量为任意值之后，对它的任何操作，返回的内容的类型都是任意值

1.4 联合类型

联合类型使用 | 分隔每个类型。

• 1. 允许被赋值为联合类型集中的任意一种数据类型，但是不能赋值联合类型集之外的数据类型；
• 2. 当 TypeScript 不确定一个联合类型的变量到底是哪个类型的时候，我们只能访问此联合类型的所有类型里共有的属性或方法：

function getLength(something: string | number): number {
    return something.length;
}
// index.ts(2,22): error TS2339: Property 'length' does not exist on type 'string | number'.
//   Property 'length' does not exist on type 'number'.

• 3. 当联合类型的变量在被赋值的时候，会根据类型推论的规则推断出一个类型，可以访问推断出类型的方法：

let myFavoriteNumber: string | number;
myFavoriteNumber = 'seven';
console.log(myFavoriteNumber.length); // 5
myFavoriteNumber = 7;
console.log(myFavoriteNumber.length); // 编译时报错
// index.ts(5,30): error TS2339: Property 'length' does not exist on type 'number'.
// 第二行的 myFavoriteNumber 被推断成了 string，访问它的 length 属性不会报错。
// 而第四行的 myFavoriteNumber 被推断成了 number，访问它的 length 属性时就报错了。

1.5 对象类型

使用接口（Interfaces）来定义对象的类型

来个栗子

interface Person {
    name: string;
    age: number;
    date?:number; //可选属性
    [propName: string]: any; //任意属性
    readonly id: number; // 只读属性
}

let tom: Person = {
	id: 89757,
    name: 'Tom',
    age: 25,
    gender: 'male' // 任意属性
};

tom.id = 9527;  // 只读属性赋值报错：index.ts(14,5): error TS2540: Cannot assign to 'id' because it is a read-only property.

该栗子中，我们定义了一个接口Person，变量tom的类型是Person, 这样就约束了tom变量的形状「属性个数、属性类型」必须和Person一样

• 定义的变量比接口少或者多一些属性都是不允许的
• 可选属性： 接口中包含的可选属性可以不存在
• 任意属性：一旦定义了任意属性，那么确定属性和可选属性的类型都必须是它的类型的子集 「这个点有些坑，如此说来，似乎任意属性只能是any类型，或者是其它属性类型的联合类型」

!注意：接口一般首字母大写，可以加上I前缀

1.6 数组类型

• 「类型 + 方括号」表示法
• 数组泛型（Array Generic） Array<elemType> 表示数组
• 用接口表示数组「一般是用来标示类数组的」

// 「类型 + 方括号」表示法
let fibonacci: number[] = [1, 1, 2, 3, 5];
let list: any[] = ['xcatliu', 25, { website: 'http://xcatliu.com' }];

// 数组泛型
let fibonacci: Array<number> = [1, 1, 2, 3, 5];

// 接口
interface NumberArray {
    [index: number]: number;
}
let fibonacci: NumberArray = [1, 1, 2, 3, 5];

1.7 函数类型

1）函数声明类型定义,注意不能输入多余的（或者少于要求的）参数

• 用 ? 表示可选的参数, 可选参数后面不允许再出现必需参数

function buildName(firstName: string, lastName?: string) {
    if (lastName) {
        return firstName + ' ' + lastName;
    } else {
        return firstName;
    }
}
let tomcat = buildName('Tom', 'Cat');
let tom = buildName('Tom');

2）函数表达式类型定义：

let mySum: (x: number, y: number) => number = function (x: number, y: number): number {
    return x + y;
};

3. 接口定义函数形状

interface SearchFunc {
    (source: string, subString: string): boolean;
}

let mySearch: SearchFunc;
mySearch = function(source: string, subString: string) {
    return source.search(subString) !== -1;
}

4. 参数默认值，TypeScript 会将添加了默认值的参数识别为可选参数, 此时就不受「可选参数必须接在必需参数后面」的限制：

function buildName(firstName: string = 'Tom', lastName: string) {
    return firstName + ' ' + lastName;
}
let tomcat = buildName('Tom', 'Cat');
let cat = buildName(undefined, 'Cat');

5. 剩余参数，...rest 的方式获取函数中的剩余参数（rest 参数只能是最后一个参数）

function push(array: any[], ...items: any[]) {
    items.forEach(function(item) {
        array.push(item);
    });
}

let a = [];
push(a, 1, 2, 3);

6. 重载，允许一个函数接受不同数量或类型的参数时，作出不同的处理：

function reverse(x: number | string): number | string {
    if (typeof x === 'number') {
        return Number(x.toString().split('').reverse().join(''));
    } else if (typeof x === 'string') {
        return x.split('').reverse().join('');
    }
}

function reverse(x: number): number;
function reverse(x: string): string;
function reverse(x: number | string): number | string {
    if (typeof x === 'number') {
        return Number(x.toString().split('').reverse().join(''));
    } else if (typeof x === 'string') {
        return x.split('').reverse().join('');
    }
}

二、 类型推论

TypeScript 会在没有明确的指定类型的时候推测出一个类型

let myFavoriteNumber = 'seven';
myFavoriteNumber = 7;
// index.ts(2,1): error TS2322: Type 'number' is not assignable to type 'string'.

事实上，它等价于：

let myFavoriteNumber: string = 'seven';
myFavoriteNumber = 7;
// index.ts(2,1): error TS2322: Type 'number' is not assignable to type 'string'.

!注意：如果定义的时候没有赋值，不管之后有没有赋值，都会被推断成 any 类型而完全不被类型检查：

let myFavoriteNumber;
myFavoriteNumber = 'seven';
myFavoriteNumber = 7;

三、断言