内部声明 到目前为止，所有在TypeScript源码中出现的声明，都是内部声明： ```typescript // 声明a为一个数字 let a: number; // 声明b为一个数字并初始化为2 let b: number = 2; // 声明T为一个接口 interface T {} // 声明接口类型变量b let b: T; // 声明fn为一个函数 function fn(){} // 声明myFunc为一个函数 // 此处利用了类型推导 let myFunc = function(a: number){} // 声明MyEnum枚举类型 enum MyEnum { ...

空间嵌套 命名空间可以嵌套，嵌套的层数不受限制： namespace A { namespace B { namespace C { // ... } } } 嵌套的命名空间遵循普通成员一样的规则，要在外面访问被嵌套的命名空间，必须使用关键字 export: ```typescript namespace A { namespace B { export let msg = 'hello world'; } } // 错误，子命名空间B没有被export // error TS2339: ...

泛型语法 泛型可以为函数、接口、类定义类型变量，这些类型变量就像真实存在的类型一样，可以用于注解值的类型，它的语法形式为： 名字<T1, T2, ...> 名字一般表示函数名、接口名、类名，T1, T2, ... 表示一个或多个名字任意的类型变量，实际开发中常常以首字母大写的标识符作为类型变量名。泛型在使用时必须以真实类型替换类型变量 泛型函数 ```typescript // 定义泛型函数，类型变量为T // T接下来在"参数、返回值、变量"定义中可以作为类型使用 function ide ...

函数类型 在JavaScript中，函数可以作为一个整体赋值给一个变量： // javascript代码 let fn = function(){} 既然函数可以作为值赋给变量，那么函数就应该有自己的类型。上述代码用TypeScript等价表示如下： // ()=>void 是变量fn的类型，代表是一个函数类型 let fn: () => void; fn = function(){} 上例中，() => void 就是变量 fn 的类型注解，也就是函数类型。 语法： ``` // 这里的箭 ...

为什么需要声明 声明的本质是告知编译器一个标识符的类型信息 声明在TypeScript中至关重要，只有通过声明才能告知编译器一个随机出现的标识符到底代表什么含义。对于语言关键字之外的任意标识符，如果编译器无法获取它的声明，将会报错： // 错误，凭空出现的variable， 编译器无法知道它代表什么含义 // error TS2304: Cannot find name 'variable' console.log(variable); 改正这个错误，需要添加 variable 的声明信息： ```typescript ...