基础类型

1.数组

TypeScript像JavaScript一样可以操作数组元素。 有两种方式可以定义数组。
1） 第一种，可以在元素类型后面接上 []，表示由此类型元素组成的一个数组：
let list: number[] = [1, 2, 3];
2） 第二种方式是使用数组泛型，Array<元素类型>：
let list: Array = [1, 2, 3];

2.枚举

enum类型是对JavaScript标准数据类型的一个补充。 像C#等其它语言一样，使用枚举类型可以为一组数值赋予友好的名字。
1）默认情况下，从0开始为元素编号。 你也可以手动的指定成员的数值。 例如，我们将上面的例子改成从 1开始编号：

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

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

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

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

  1. enum Color {Red = 1, Green, Blue} 
  3. // 显示'Green'因为上面代码里它的值是2 
  4. let colorName: string = Color[2]; console.log(colorName);

3.Void

某种程度上来说，void类型像是与any类型相反，它表示没有任何类型。 当一个函数没有返回值时，你通常会见到其返回值类型是 void：
1）声明一个void类型的变量没有什么大用，因为你只能为它赋予undefined和null：

  1. let unusable: void = undefined;

2） 默认情况下null和undefined是所有类型的子类型。 就是说你可以把 null和undefined赋值给number类型的变量。
3） 然而，当你指定了—strictNullChecks标记，null和undefined只能赋值给void和它们各自。 这能避免 很多常见的问题。 也许在某处你想传入一个 string或null或undefined，你可以使用联合类型string | null | undefined

4. Object

object表示非原始类型，也就是除number，string，boolean，symbol，null或undefined之外的类型。
使用object类型，就可以更好的表示像Object.create这样的API。例如：

  1. declare function create(o: object | null): void; 
  2. create({ prop: 0 }); 
  3. // OK create(null); 
  4. // OK create(42); 
  5. // Error create("string"); 
  6. // Error create(false); 
  7. // Error create(undefined); // Error

5.类型断言

有时候你会遇到这样的情况，你会比TypeScript更了解某个值的详细信息。 通常这会发生在你清楚地知道一个实体具有比它现有类型更确切的类型。
通过类型断言这种方式可以告诉编译器，“相信我，我知道自己在干什么”。 类型断言好比其它语言里的类型转换，但是不进行特殊的数据检查和解构。 它没有运行时的影响，只是在编译阶段起作用。 TypeScript会假设你，程序员，已经进行了必须的检查。
1）类型断言有两种形式。 其一是“尖括号”语法：

  1. let someValue: any = "this is a string"; 
  2. let strLength: number = (<string>someValue).length;

2）另一个为as语法：

  1. let someValue: any = "this is a string"; 
  2. let strLength: number = (someValue as string).length;

两种形式是等价的。 至于使用哪个大多数情况下是凭个人喜好；然而，当你在TypeScript里使用JSX时，只有 as语法断言是被允许的。

变量声明

let在很多方面与var是相似的，但是可以帮助大家避免在JavaScript里常见一些问题。 const是对let的一个增强，它能阻止对一个变量再次赋值。

块作用域

  • 当用 let声明一个变量，它使用的是 词法作用域或 块作用域
  • 拥有块级作用域的变量的另一个特点是，它们不能在被声明之前读或写

    属性重命名

    1. let { a: newName1, b: newName2 } = o;
    令人困惑的是，这里的冒号不是指示类型的。 如果你想指定它的类型， 仍然需要在其后写上完整的模式。
    1. let { a: newName1, b: newName2} : {a: string, b: number } = o

    函数声明

    解构也能用于函数声明。 看以下简单的情况： ```typescript type C = {a: string, b?: number}

function f({a, b} : C): void { // … }

  1. <a name="YJAf2"></a>
  2. ### 展开
  3. 展开操作符正与解构相反。 它允许你将一个数组展开为另一个数组，或将一个对象展开为另一个对象。
  4. ```typescript
  5. let first = [1, 2];
  6. let second = [3, 4];
  7. let bothPlus = [0, ...first, ...second, 5];

对象展开还有其它一些意想不到的限制。 大体上是说当你展开一个对象实例时，你会丢失其方法：

  1. class C {
  2.   p = 12;
  3.   m() {
  4.   }
  5. }
  6. let c = new C();
  7. let clone = { ...c };
  8. clone.p; // ok
  9. clone.m(); // error!

接口

TypeScript的核心原则之一是对值所具有的结构进行类型检查。 它有时被称做“鸭式辨型法”或“结构性子类型化”。 在TypeScript里，接口的作用就是为这些类型命名和为你的代码或第三方代码定义契约。

可选属性

  1. interface SquareConfig {
  2.   color?: string;
  3.   width?: number;
  4. }

可选属性的好处之一是可以对可能存在的属性进行预定义，好处之二是可以捕获引用了不存在的属性时的错误

只读属性

一些对象属性只能在对象刚刚创建的时候修改其值。 你可以在属性名前用 readonly来指定只读属性:

  1. interface Point {
  2.   readonly x: number;
  3.   readonly y: number;
  4. }

你可以通过赋值一个对象字面量来构造一个Point。 赋值后， x和y再也不能被改变了。

  1. let p1: Point = { x: 1, y: 5}
  2. p1.x = 5 // error

readonly vs const

最简单判断该用readonly还是const的方法是看要把它做为变量使用还是做为一个属性。 做为变量使用的话用 const，若做为属性则使用readonly。

额外的属性检查

  1. interface SquareConfig {
  2.     color?: string;
  3.     width?: number;
  4. }
  6. function createSquare(config: SquareConfig): { color: string; area: number } {
  7.     // ...
  8. }
  10. let mySquare = createSquare({ colour: "red", width: 100 });

注意传入createSquare的参数拼写为colour而不是color。 在JavaScript里，这会默默地失败
TypeScript会认为这段代码可能存在bug。 对象字面量会被特殊对待而且会经过 额外属性检查，当将它们赋值给变量或作为参数传递的时候。 如果一个对象字面量存在任何“目标类型”不包含的属性时，你会得到一个错误。

  1. // error: 'colour' not expected in type 'SquareConfig'
  2. let mySquare = createSquare({ colour: "red", width: 100 });

绕开这些检查非常简单。 最简便的方法是使用类型断言：

  1. let mySquare = createSquare({ width: 100, opacity: 0.5 } as SquareConfig)

然而，最佳的方式是能够添加一个字符串索引签名，前提是你能够确定这个对象可能具有某些做为特殊用途使用的额外属性。 如果 SquareConfig带有上面定义的类型的color和width属性，并且还会带有任意数量的其它属性，那么我们可以这样定义它：

  1. interface SquareConfig {
  2.   color?: string;
  3.   width?: number;
  4.   [propName: string]:any;
  5. }

项目配置

使用tsconfig.json

  • 不带任何输入文件的情况下调用tsc，编译器会从当前目录开始去查找tsconfig.json文件，逐级向上搜索父目录。
  • 不带任何输入文件的情况下调用tsc，且使用命令行参数—project（或-p）指定一个包含tsconfig.json文件的目录。