主页 / 问题 / 1370614
Accepted
nörbörnën
Asked:2022-06-12 04:55:25 +0800 CST2022-06-12 04:55:25 +0800 CST

为什么我收到错误“类型......不可分配给类型'T扩展字符串？数字：布尔'”

  • 772
async function sub<T extends string | string[] = string>(
  uid: T,
): Promise<T extends string ? number : boolean> {
  if (Array.isArray(uid)) {
    // Type 'true' is not assignable to type 'T extends string ? number : boolean'.
    return true;
  }

  // Type '1' is not assignable to type 'T extends string ? number : boolean'.
  return 1;
}

操场

typescript

1 个回答

  1. Best Answer

    据我所知，这是打字稿的架构限制。对我个人而言，这不合逻辑，但我们拥有我们所拥有的。

    看看下面的例子。它们比您遇到的更简单，但它们有同样的问题。

    function test1 <T extends string> (val: T): T extends string ? string : boolean {
  if (typeof val === "string") {
    // Type 'string' is not assignable to type 'T extends string ? string : boolean'
    return "qwerty";
  }
  // Type 'boolean' is not assignable to type 'T extends string ? string : boolean'
  return true;
}

    在 test1 函数中，变量 val 缩小为 T&string。但是返回值的类型不仅仅是字符串或布尔值，它还依赖于 T。在这种情况下，编译器必须处理所有可能的返回并将它们组合成一个团队，然后将它们与中指定的类型进行比较功能说明。只有这样编译器才能正确检查返回类型。

    类型检查器目前根本不处理这种情况。

    这里还有两个直接返回所需值的示例，但编译器对它们发誓：

    function test2<T extends string>(val: T): T extends string ? T : T {.
   // Type 'T' is not assignable to type 'T extends string ? T : T'
   return val;
}

function test3<T>(val: T): T extends T ? T : T {
    // Type 'T' is not assignable to type 'T extends T ? T : T'
    return val;
}

    此外，您可以在 git 上看到这两张票。它们都带有设计限制标记。而且这种不合逻辑的行为似乎将永远存在。

    https://github.com/microsoft/TypeScript/issues/22735

    https://github.com/microsoft/TypeScript/issues/24929

    在这些票据中，打字稿开发人员建议使用 as 明确指定类型。

    • 2

相关问题