• 类型推论
    • 什么是类型推论
    • 参考

    类型推论

    如果没有明确的指定类型，那么 TypeScript 会依照类型推论（Type Inference）的规则推断出一个类型。

    什么是类型推论

    以下代码虽然没有指定类型，但是会在编译的时候报错：

    1. let myFavoriteNumber = 'seven';
    2. myFavoriteNumber = 7;
    4. // index.ts(2,1): error TS2322: Type 'number' is not assignable to type 'string'.

    事实上，它等价于：

    1. let myFavoriteNumber: string = 'seven';
    2. myFavoriteNumber = 7;
    4. // index.ts(2,1): error TS2322: Type 'number' is not assignable to type 'string'.

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

    如果定义的时候没有赋值，不管之后有没有赋值，都会被推断成 any 类型而完全不被类型检查：

    1. let myFavoriteNumber;
    2. myFavoriteNumber = 'seven';
    3. myFavoriteNumber = 7;

    参考

    • Type Inference（中文版）