前言

在定义变量的时候，如果没有明确的指定类型，那么TypeScript根据类型推论推断出一个类型。

什么是类型推论

看下面这一段代码，虽然没有定义什么类型，但是会在编译的时候报错.

  1. let a = 1;
  2. a = '1'
  4. Type '"1"' is not assignable to type 'number'.

事实上等价于

  1. let a: number = 1;
  2. a = '1'
  4. Type '"1"' is not assignable to type 'number'.

结论:TypeScript会在没有明确指定一个类型的时候推测出一个类型，这就是类型推论。

定义没有赋值？

如果一个变量在定义的时候没有进行赋值，那么它将会被推论成任意值类型，不管后面有没有进行赋值。

  1. ley anything;
  3. anything = '1';
  4. anything = 1;

测试用例

  1. let debug:boolean = true;
  2. let a = '1'; //为声明什么类型 则更具类型推论被识别为string
  3. let b = 2;
  4. let c = undefined;
  5. let d = true;
  6. let e = {
  7.   name: 'along'
  8. }
  9. let f = () => {
  10.   return true;
  11. }
  13. debug && console.log({
  14.   a: typeof(a),
  15.   b: typeof(b),
  16.   c: typeof(c),
  17.   d: typeof(d),
  18.   e: typeof(e),
  19.   f: typeof(f),
  20. });
  22. -----------------------------------------------------------------------------------
  24. {
  25.   a: 'string',
  26.   b: 'number',
  27.   c: 'undefined',
  28.   d: 'boolean',
  29.   e: 'object',
  30.   f: 'function'
  31. }

参考

https://ts.xcatliu.com/basics/type-inference.html