TypeScript的类型

let fullName: string = `fanqi`;
let age: number = 25;
let sentence: string = `Hello, my name is ${ fullName }.

I‘ll be ${ age + 1 } years old next month.`;

　　这与下面定义sentence的方式效果相同：

let sentence: string = "Hello, my name is " + name + ".\n\n" +
    "I‘ll be " + (age + 1) + " years old next month.";

　　6.symbol类型的值是通过symbol构造函数创建的。

let sym1 = Symbol();

let sym2 = Symbol("key"); // 可选的字符串key

　　7.object

　　object表示非原始类型，也就是除number，string，boolean，symbol，null或undefined之外的类型。

let obj:object = {"name":"fanqi"};

　　8.数组【支持两种方式定义】

　　　　Ⅰ直接在元素类型后面加上[]，表示由此类型元素组成的一个数组。

let list: number[] = [1, 2, 3];

　　　　Ⅱ第二种方式是使用数组泛型，Array<元素类型>

let list: Array<number> = [1, 2, 3];

　　9.元组

　　元组类型允许表示一个已知元素类型和数量的数组，各元素的类型不必相同。

　　例如，定义一对值分别为 string和number类型的元组。

// 声明元组类型
let x: [string, number];
// 初始化元组
x = [‘hello‘, 10]; // 成功
// Initialize it incorrectly
x = [10, ‘hello‘]; //错误，将在IDE种给出提示

let x: [string, number];
x = [‘hello‘, 10];
console.log(x[1].substr(1));    //错误，将给出提示，‘number‘类型不包含‘substr‘方法

　　10.枚举

　　　　enum类型是对JavaScript标准数据类型的一个补充。 像C#等其它语言一样，使用枚举类型可以为一组数值赋予友好的名字。

enum Color {Red, Green, Blue}
let c: Color = Color.Green;

　　默认情况下，从0开始为元素编号。 你也可以手动的指定成员的数值。 例如，我们将上面的例子改成从 1开始编号：

enum Color {Red = 1, Green, Blue}
let c: Color = Color.Green;

　　或者，全部都采用手动赋值：

enum Color {Red = 1, Green = 2, Blue = 4}
let c: Color = Color.Green;

枚举类型提供的一个便利是你可以由枚举的值得到它的名字。 例如，我们知道数值为2，但是不确定它映射到Color里的哪个名字，我们可以查找相应的名字：

enum Color {Red = 1, Green, Blue}
let colorName: string = Color[2];

console.log(colorName);  // 显示‘Green‘因为上面代码里它的值是2

　　11.Any

　　有时候，我们会想要为那些在编程阶段还不清楚类型的变量指定一个类型。 这些值可能来自于动态的内容，比如来自用户输入或第三方代码库。 这种情况下，我们不希望类型检查器对这些值进行检查而是直接让它们通过编译阶段的检查。 那么我们可以使用 any类型来标记这些变量：

let notSure: any = 4;
notSure = "maybe a string instead";
notSure = false; // okay, definitely a boolean

　　在对现有代码进行改写的时候，any类型是十分有用的，它允许你在编译时可选择地包含或移除类型检查。 你可能认为 Object有相似的作用，就像它在其它语言中那样。 但是 Object类型的变量只是允许你给它赋任意值 - 但是却不能够在它上面调用任意的方法，即便它真的有这些方法：

let notSure: any = 4;
notSure.ifItExists(); // okay, ifItExists might exist at runtime
notSure.toFixed(); // okay, toFixed exists (but the compiler doesn‘t check)

let prettySure: Object = 4;
prettySure.toFixed(); // Error: Property ‘toFixed‘ doesn‘t exist on type ‘Object‘.

　　当你只知道一部分数据的类型时，any类型也是有用的。 比如，你有一个数组，它包含了不同的类型的数据：

let list: any[] = [1, true, "free"];
list[1] = 100;

　　12.Void

　　某种程度上来说，void类型像是与any类型相反，它表示没有任何类型。 当一个函数没有返回值时，你通常会见到其返回值类型是 void：

function warnUser(): void {
    console.log("This is my warning message");
}

　　声明一个void类型的变量没有什么大用，因为你只能为它赋予undefined和null：

let unusable: void = undefined;

　　13.Never

　　never类型表示的是那些永不存在的值的类型。 例如， never类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型； 变量也可能是 never类型，当它们被永不为真的类型保护所约束时。

　　never类型是任何类型的子类型，也可以赋值给任何类型；然而，没有类型是never的子类型或可以赋值给never类型（除了never本身之外）。 即使 any也不可以赋值给never。

下面是一些返回never类型的函数：

// 返回never的函数必须存在无法达到的终点
function error(message: string): never {
    throw new Error(message);
}

// 推断的返回值类型为never
function fail() {
    return error("Something failed");
}

// 返回never的函数必须存在无法达到的终点
function infiniteLoop(): never {
    while (true) {
    }
}

⒉变量声明

let和const是ES6中新增的变量声明方式。在TypeScript中，let和const的使用方式与ES6中一摸一样，推荐大家使用let和const进行赋值而不推荐使用var去进行赋值。

⒊类型推断

在声明变量时即使不声明变量的类型，TypeScript依然可以根据指定的变量进行类型推断。

当我们赋值一个string再将一个number赋值的时候，编译器将会给出提示。

无论是TypeScript的类型推断还是我们声明了变量类型，一旦赋予了错误的值会触发TypeScript的编译时报错，这个编译时报错为我们带来了严格的类型检查。

let fullName = ‘fanqi‘; // fullName as string
fullName = 25; //Error,不能将number赋值到string

⒋类型断言

通过类型推断有时会得到变量正确的类型，但常常我们会遇到另外一种情况，你会比TypeScript更了解这个值的类型，这样的情况经常发生，你会清楚的知道编译器的类型推断不太确切，应该由更准确的类型。

而通过类型断言，我们可以明确的告知编译器，我们究竟想干什么。这是一种修正方案，在别的语言里，我们将会使用类型转换来表达这样一种情况。

这个操作并不会在运行时里起到任何影响，正如TypeScript的宣言一样，它仅仅在编译时起作用。这非常像Word的语法检查，是提醒和报错，而不会阻止你继续写字。

类型断言有两种形式。 其一是“尖括号”语法，这也是大部分编程语言中常用的语法形式：

let someValue: any = "this is a string";

let strLength: number = (<string>someValue).length;

另一种则使用as关键字：

let someValue: any = "this is a string";

let strLength: number = (someValue as string).length;

两种形式是等价的。 至于具体使用哪一种形式取决于个人的偏好。然而，当你在TypeScript里使用JSX时，只有 as语法是被允许的，如果非要有什么原因的话，大概是由于尖括号在JSX种已经用于表达泛型了。