空断言体下如何实现TypeScript断言省略对象指定属性？

我尝试编写一个断言函数，希望调用后TypeScript能认为对象的bar属性已被移除，但目前调用函数后仍然可以访问bar属性。我的代码如下：

function doit() {
    const test: { foo: true, bar: true } = { foo: true, bar: true }

    assertTestDoesntHaveBar(test);

    const bar = test.bar
}

function assertTestDoesntHaveBar<T extends { bar: boolean }> (obj: T): asserts obj is Omit<typeof obj, 'bar'> {
    // empty body
}

方案1：移除变量的显式类型标注 #

如果不需要强制变量的初始类型，去掉显式类型标注让TypeScript自动推断，断言函数就能正确缩小类型，阻止访问已“移除”的属性：

function doit() {
    // 移除显式类型标注，让TS自动推断对象类型
    const test = { foo: true, bar: true }

    assertTestDoesntHaveBar(test);

    const bar = test.bar // 报错：Property 'bar' does not exist on type '{ foo: true; }'
}

function assertTestDoesntHaveBar<T extends { bar: boolean }> (obj: T): asserts obj is Omit<T, 'bar'> {
    // 可选：运行时实际移除属性，确保逻辑一致
    delete obj.bar;
}

方案2：调整断言类型兼容显式标注场景 #

如果必须保留变量的显式类型标注，可以通过断言bar属性为never类型，让TypeScript在访问时报错：

function doit() {
    const test: { foo: true, bar: true } = { foo: true, bar: true }

    assertTestDoesntHaveBar(test);

    const bar = test.bar // 报错：Type 'true' is not assignable to type 'never'
}

function assertTestDoesntHaveBar<T extends { bar: boolean }> (obj: T): asserts obj is T & { bar: never } {
    delete obj.bar;
}

方案3：用映射类型明确移除属性 #

通过映射类型Exclude直接构造移除bar后的类型，确保TypeScript准确识别类型变化：

function doit() {
    const test: { foo: true, bar: true } = { foo: true, bar: true }

    assertTestDoesntHaveBar(test);

    const bar = test.bar // 报错：Property 'bar' does not exist on type '{ foo: true; }'
}

function assertTestDoesntHaveBar<T extends { bar: boolean }> (obj: T): asserts obj is {
    [K in Exclude<keyof T, 'bar'>]: T[K]
} {
    delete obj.bar;
}

内容的提问来源于stack exchange，提问作者Noitidart