TypeScript：从对象内容隐式推断通用接口对象的类型

Question

我在 TypeScript 中有一个简单的案例，其中我有一个带有泛型类型 T 的接口，它扩展了一个枚举 E。根据类型分配配置类型。

enum E { "A", "B" }

type ConfigsBase = { [K in E]: object }

interface Configs extends ConfigsBase {
    [E.A]: { a: string };
    [E.B]: { b: number };
}

interface MyInterface<T extends E> {
  type: T;
  config: Configs[T];
}

问题是我如何以从对象隐式推断出泛型类型的方式使用此接口。这样当配置错误时我会得到有用的类型错误。

const a: ??? = {
  type: E.A,
  config: { a: 1 }, 
}
// => I want this to give a typescript error because 1 is not a string

我需要为??? 插入什么，以便打字稿给出配置错误的错误。它应该类似于const a: MyInterface<look for yourself what T is>。

我通过使用自动推断类型的标识函数找到了一个相对繁琐的解决方案：

const inferType = <T extends E>(obj: MyInterface<T>): MyInterface<T> => obj

const a = inferType({
  type: E.A,
  config: { a: 1 },
})

// => TypeScript error: Type 'number' is not assignable to type 'string' 

是否可以在不使用函数的情况下通过类型注释更优雅地做到这一点？

Answer 1

infer 运算符有一种方法。见https://www.typescriptlang.org/docs/handbook/advanced-types.html#type-inference-in-conditional-types。

你可以这样做：

enum E { "A", "B" }

type ConfigsBase = { [K in E]: object }

interface Configs extends ConfigsBase {
    [E.A]: { a: number };
    [E.B]: { b: number };
}

interface MyInterface<T extends E> {
  type: T;
  config: Configs[T];
}

type InferType<obj> = obj extends MyInterface<infer R> ? MyInterface<R> : never;

const variable = {
    type: E.A,
    config: { a: 1 }
};

const inferredVariable: InferType<typeof variable> = variable;

会更快，因为你不使用函数。

Updated Playground

Answer 2

在 kotlin 中你会使用密封类：

sealed class Config {
    data class ConfigA(val a: String): Config()
    data class ConfigB(val b: Int): Config()
}

val a = Config.ConfigA(1)//type error here

fun main() {
    val c : Config = a

    when (c) {// no type property needed
        is Config.ConfigA -> c.a
        is Config.ConfigB -> c.b
    }
}