typescript - 如何创建每个值的类型取决于键的查找？

Question

我正在尝试创建一个查找，其中每个键都确定相应值的类型。

考虑这段代码:

type Language =  'en' | 'de';

// Language-specific parser
type Parser<TLanguage extends Language> = (text: string, language: TLanguage) => any;

// Lookup that contains a typed parser for each language
const parsers: { [language in Language]: Parser<language> } = {
  'de': () => null, // Dummy values
  'en': () => null,
};

想法是对于每种Language，parsers 都包含一个特定于语言的解析器针对该特定语言强类型化。

此作业按预期工作:

const englishParser: Parser<'en'> = parsers.en;

但是这个作业不起作用，我也想不通为什么。我的目标是编写没有类型断言的类型安全代码。

function test<TLanguage extends Language>(language: TLanguage) {
  // Error:
  // Type '{ en: Parser<"en">; de: Parser<"de">; }[TLanguage]' is not assignable
  // to type 'Parser<TLanguage>'.
  const parser: Parser<TLanguage> = parsers[language]; //
}

这是 a TypeScript Playground link that demonstrates the problem .

Answer 1

你需要一个类型转换:

function test<TLanguage extends Language>(language: TLanguage) {
  const parser: Parser<TLanguage> = parsers[language] as Parser<TLanguage>; 
}

Playground Link