我们在学习typescript的时候都知道一个概念：变量声明空间。
意思是说，一些用
var声明的变量，也只能在变量声明空间使用，不能用作类型注解。
官网中给出的例子是这样的：
const foo = 123;
let bar: foo; // ERROR: "cannot find name 'foo'"
那么在实际使用过程中，如果我们需要将foo作为类型注解我们该怎么办呢？
其实只需要在变量前面加一个typeof就可以了。
const foo = 123;
const bar:typeof foo = 123;
const bar2:typeof foo = 13; // ERROR: "Type '13' is not assignable to type '123'."
这样就可以直接使用已定义的变量作为类型注解了。
需要注意的是定义变量用的关键字对结果是有影响的，可以这么理解const
是严格的，let是宽泛的。
let foo = 123;
const bar:typeof foo = 123;
const bar2:typeof foo = 13;
const bar3: typeof foo = '13'; // Type 'string' is not assignable to type 'number'.
从上面的例子可以看出，const要求变量必须等于123，而let只需要是个number就可以了。
我稍微对这个规律做了个总结：
| 变量类型 | const | let |
|---|---|---|
| number | self | number |
| string | self | string |
| boolean | self | self |
| null | self | self |
| undefined | self | self |
| Symbol | self | Symbol |
| Object | 遵循Object结构，内部属性类型是宽泛的 | 遵循Object结构，内部属性类型是宽泛的 |
| Array | 可以包含数组中已存在的宽泛类型 | 可以包含数组中已存在的宽泛类型 |
我们主要来看看Object和Array的例子吧。
let foo = {key: 123, a: {b: 1}};
const bar:typeof foo={key: 12, a:{b:123}}; // success
const bar1:typeof foo={key: 123}; // Error: Property 'a' is missing in type '{ key: number; }' but required in type '{ key: number; a: { b: number; }; }'.
let foo = [1, '2', 3];
const bar:typeof foo=[1, 2, '3323', 'true', 1232]; // success
const bar1:typeof foo=[1, 2, '3323', 'true', false, 1232]; // Error: Type 'boolean' is not assignable to type 'string | number'.
注：我虽然总结了这些东西，但是完全是出于好奇，我个人是非常不推荐直接使用变量作为类型注解的。还是使用独立的类型注释文件来进行类型定义比较好，既便于维护，也易于理解。除非万不得已，就不要自己折腾自己了。