Typescript 类型保护和粗箭头功能

Question

这不应该正确编译吗？ 我在突出显示的行中收到错误"Property 'hello' does not exist on type 'object'. ”。

我可以在胖箭头函数之外访问g.hello没有问题。

class Test {
    constructor() {
    }
    hello() : string {
        return "Hello";
    }
}

let g : object;

if (g instanceof Test) {
    () => {
        g.hello();    ////// ERROR HERE /////
    };
}

Answer 1

这不应该正确编译吗？ 我在高亮显示的行中收到错误消息"Property 'hello' does not exist on type 'object'. ”。

我可以在胖箭头功能之外访问g.hello ，而不会出现问题。

class Test {
    constructor() {
    }
    hello() : string {
        return "Hello";
    }
}

let g : object;

if (g instanceof Test) {
    () => {
        g.hello();    ////// ERROR HERE /////
    };
}

Answer 2

let + 箭头函数

class Test {
    constructor() {
    }
    hello() : string {
        return "Hello";
    }
}

declare let g : object;

if (g instanceof Test) {
    () => {
        g.hello(); // error
    };
}

g是定义函数时的Test ，但函数运行时g可能不是Test 。

const + 箭头函数

class Test {
    constructor() {
    }
    hello() : string {
        return "Hello";
    }
}

declare const g : object;

if (g instanceof Test) {
    () => {
        g.hello(); // ok
    };
}

g是不可变的，在定义函数之后g始终是一个Test 。

const + 正则函数

class Test {
    constructor() {
    }
    hello() : string {
        return "Hello";
    }
}

declare const g : object;

if (g instanceof Test) {
    function f() {
        g.hello(); // error
    };
}

在底层实现中，常规函数f由 ES5 var定义，而不是 ES6 let 。 当g可能不是Test时，变量提升提升f声明。