打字稿通用回调对象严格性

Question

我很难理解为什么以下内容不会引发错误

type Callback<T> = () => T

function format<V>(callback: Callback<V>): V {
    return callback()
}

type Test = {foo: string}

format<Test>(() => {
    return {
        foo: 'hello',
        bar: 'dd' // I expect an error to be here as `bar` does not exist on type Test
    }
})

// if I explicitly set the return type in the callback then I get the correct error

format<Test>((): Test => {
    return {
        foo: 'hello',
        bar: 'dd' // this now errors as I have set the return type.
    }
})

我不禁觉得这是重复？

这是typescript 的限制并且“符合预期”，还是我的types 不正确？

Answer 1

Excess property checking 不会被触发，因为callback 没有明确的类型表示法。 Typescript 将其类型推断为() => { foo: string; bar: string }，可分配给Callback<Test>。

看看这个例子：

type Callback<T> = () => T

type Test = { foo: string }

const extendedCallback = () => ({ foo: 'hello', bar: 'bar' }) // inferred as () => { foo: string; bar: string }

const callback: Callback<Test> = extendedCallback // assignment is valid

Playground