2

出于演示目的，请考虑以下类型：

type ToEnglish<A extends string> = 
  A extends "1" ? "one" :
  A extends "2" ? "two" :
  A extends "3" ? "three" :
  "etc";

type Convert<A extends string> =
  A extends `${infer C}${infer Tail}` ? 
    `${ToEnglish<C>}-${Convert<Tail>}` : "";

例如，Convert<"12">结果为"one-two-".

现在我想让它更通用，并接受上面的“翻译器”ToEnglish作为参数：

type Convert2<A extends string, Translator> =
  A extends `${infer C}${infer Tail}` ? 
    `${Translator<C>}-${Convert<Tail>}` : "";

这不起作用：Type 'Translator' is not generic. ts(2315)

如果我尝试写：

type Convert3<A extends string, Translator<_>> =

我得到：',' expected. ts(1005)在<_>.

问：有没有办法在 TypeScript、Flow 或另一个 JavaScript 超集中以某种方式将参数（通用）类型作为参数（参数）传递给另一种类型？
类似于高阶函数，但针对类型。

4

2 回答 2

1

我建议一个解决方案，绕过必须直接将泛型类型作为类型参数传递。例如，通过使用本质上是翻译者的记录，您可以改为传递给定翻译者的名称并访问类型：

操场

type ToEnglish<A extends string> = 
  A extends "1" ? "one" :
  A extends "2" ? "two" :
  A extends "3" ? "three" :
  "etc";

type ToSpanish<A extends string> = 
  A extends "1" ? "uno" :
  A extends "2" ? "dos" :
  A extends "3" ? "tres" :
  "etc";


type TranslatorMap<A extends string> = {
    English: ToEnglish<A>;
    Spanish: ToSpanish<A>;
}

type ConvertGeneric<A extends string, Translator extends keyof TranslatorMap<A>> =
  A extends `${infer C}${infer Tail}` ? 
    `${TranslatorMap<C>[Translator]}-${ConvertGeneric<Tail, Translator>}` : "";

type EnglishTest = ConvertGeneric<"12", "English">
type SpanishTest = ConvertGeneric<"12", "Spanish">
于 2021-08-03T16:53:21.053 回答
0

这不是问题的直接答案。只是一个flowjs例子：

// @flow

type TypeConstructor = <V>() => {updated:V};

type Obj = {
  a: number,
  b: string
}

type Result = $ObjMap<Obj, TypeConstructor>

const ok:Result = {
  a: {updated:42},
  b: {updated:42}
}; // ok

const error:Result = {
  a: 42,
  b: 42
}; // error

您可能已经注意到，TypeConstructor就像回调。

它检索 atype并将其转换为另一个type。每个obj键/值对都传递给TypeConstructor. 在 TypeScript 中是不可能的，因为 TypeScript 需要明确的泛型 for TypeConstructor.

于 2021-08-06T12:43:54.053 回答