TypeScript中await与.then处理Promise为何类型表现不一致？

问题背景 #

可正常编译的代码 #

import yargs from "yargs";

const parser = yargs(process.argv.slice(2)).
    usage("$0 [filename]").
    demandCommand(1);

async function main() {
    const argv = await parser.argv;
}

无法编译的代码 #

import yargs from "yargs";

const parser = yargs(process.argv.slice(2)).
    usage("$0 [filename]").
    demandCommand(1);

parser.argv.then(argv => {});

编译错误信息 #

src/index.ts:13:1 - error TS18046: 'parser.argv.then' is of type 'unknown'.

13 parser.argv.then(argv => {});
   ~~~~~~~~~~~~~~~~

src/index.ts:13:18 - error TS7006: Parameter 'argv' implicitly has an 'any' type.

13 parser.argv.then(argv => {});
                    ~~~~

parser.argv的类型提示 #

(property) yargs.Argv<{}>.argv: {
    [x: string]: unknown;
    _: (string | number)[];
    $0: string;
} | Promise<{
    [x: string]: unknown;
    _: (string | number)[];
    $0: string;
}>

核心问题解答 #

从类型定义能看到，parser.argv是一个联合类型：普通对象 | Promise<该对象>，这是yargs为兼容不同用法设计的类型。两者的类型处理差异如下：

await的类型逻辑 #

在async函数里使用await parser.argv时，TypeScript会自动对联合类型做类型收窄：

• 若parser.argv是普通对象，await会直接返回该对象（因为await对非Promise值会直接解包）
• 若parser.argv是Promise，await会提取Promise内部的对象类型

最终argv的类型会被确定为那个普通对象类型，不会触发类型错误。

.then的类型逻辑 #

直接调用parser.argv.then()时，TypeScript无法自动收窄联合类型：

• 联合类型中的普通对象没有.then方法，TypeScript无法确定parser.argv是否为Promise，因此.then的类型被标记为unknown
• 同时，无法确定回调参数argv的具体类型，在开启noImplicitAny规则时就会触发隐式any的错误

修复方案 #

要解决第二个代码的错误，需要手动收窄类型，确认parser.argv是Promise：

import yargs from "yargs";

const parser = yargs(process.argv.slice(2)).
    usage("$0 [filename]").
    demandCommand(1);

if (parser.argv instanceof Promise) {
    parser.argv.then(argv => {
        // 此处argv类型会被正确推断
    });
}

或者使用类型断言（仅在你确定它一定是Promise时使用）：

(parser.argv as Promise<{
    [x: string]: unknown;
    _: (string | number)[];
    $0: string;
}>).then(argv => {});

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