TypeScript 动态模板字面量的类型推断问题

k2fxgqgv 于 4个月前发布在 TypeScript

关注(0)|答案(2)|浏览(37)

🔎 搜索词

"模板字面量和类型推断", "动态模板字面量的类型推断"

🕗 版本与回归信息

这是我在每个版本中尝试的行为，我查阅了关于它的常见问题解答

⏯ Playground链接

https://www.typescriptlang.org/play/?ts=5.4.5#code/C4TwDgpgBAgmCWUC8UDeAoKUDaBrCIAXFAAYAWEANpQPYB0AJKgM7ABO8AdgOYC+JAXWIAKACYBDYOOKooncQFsIxVhx5ReASmQA+KADca8Uel7p0lCMCgBXZhDYBJUSvZduyKAHJRIeQvgAYyhVdy9zAHoIqABRAA9FMEsARmIAERoIZk4vawB3GjZcOihQSCgAM0LSCBIoQPEc6wAjaC4KhzYIE0CaTlZSrOBU2ARPDCxscipaRlQ7B2d+IShoJD0JrHq+5hpLOlpuYQg6fwhNTA0AGlNI6PjEywAmYgB1QtxmdF7+62Ahl6jRAoTZTCjUeisSRBAD6oR4gmIaw2lywP12+0Ox1OinOl14NzM6CisQSCiSEAAzG8Pl90dY+p4ADwAaVWcX+nFEzCg+BANAqQJ0wkufOILJuWHEgWA8D6IgkUmIcHg2BZAm06wMRlEN01KKwJN2SighyCt3QfWE0whcwWTlE-Cuq10aEu6L2JyxJzOFy0QA

💻 代码

type Api = {
  [key: `hello.${string}`]: (data: { name: string }) => void
}

let userId: string = 'dynamic string'

// Example1: Doesn't work. type for `e` can't be inferred
const test1: Api = {
  [`hello.${userId}`]: e => {
    console.log(e.name)
  },
}

// Example2: Works
const test2: Api = {
  [`hello.static_string`]: e => {
    console.log(e.name)
  },
}

// Example3: Works
const on = <K extends keyof Api>(
  key: K,
  action: (data: Api[K]) => void,
) => {
  // some logic
}

on(`hello.${userId}`, e => {
  console.log(e.name)
})

🙁 实际行为

Example 1 不起作用，而 Example 2 和 Example 3 可以正常工作。 e 的类型无法推断

🙂 预期行为

在 Example 1 中推断 e 的类型。

关于问题的附加信息

无响应*

typescript

来源：https://github.com/microsoft/TypeScript/issues/58402

2条答案

按热度按时间

n3h0vuf21#

从某种意义上说，这可以被视为 #13948 的重复。正如我在这里提到的，像这样的计算属性总是会变宽 - 不考虑上下文属性键。
与此相关的一件事是，这些赋值之所以有效，是因为索引签名关闭了常见的属性检查：

const obj: { [key: `hello.${string}`]: string } = {} as {
  [key: string]: string;
};

这是可以接受的，但我认为它应该参与到常见的属性检查中。您可以看到与此相关的不同问题： #55709

赞(0）回复(0）举报 4个月前

oxiaedzo2#

不确定这是否与此相关，但我正面临一个类似的问题：

type Original = `/AnyString/${number}`;
type Match = Original extends `${infer Head}/${number}${infer Tail}` ? {
    a: Head,
    b: Tail
} : never;

在这里，Match 是 never ,因为显然它与 /AnyString 匹配为 /${number} ,然后失败，因为 AnyString 不是一个 number 。