类型抄本泛型和键

Question

我对keyof和泛型有异议。有两个对象:一个参数Config，第二个结果MyFilter。MyFilter应该用Config键创建。请帮助：

enum Type {
  Boolean,
  Number,
  String,
}

// f.e. { name: Type.String, age: Type.Number }
interface Config {
  [key: string]: Type;
}

// should have the same keys as Config and corresponding types, f.e. { name: "Expecto Patronum!", age: 43 }
type MyFilter<C extends Config> = {
  [Key in keyof C]: C[Key] extends Type.Boolean
    ? boolean
    : C[Key] extends Type.Number
    ? number | null
    : C[Key] extends Type.String
    ? string | null
    : undefined;
};

// C and F should have same keys, but how to create F var and iterate over C to fill F with keyof
function createFilter<C extends Config = Config, F extends MyFilter<C> = MyFilter<C>>(config: C): F {
    const filter = {}

    // DO loop
    switch (config[key]) {
        case Type.Boolean:
            filter[key] = true
        case Type.Number:
            filter[key] = 43
        case Type.String:
            filter[key] = "Expecto Patronum!"
    }
    // END loop

    return filter
}

操场实例

Answer 1

过滤器没有必要成为泛型。然后，使用for...in，您可以迭代对象。然后利用带有as运算符的类型转换来断言类型。

function createFilter<C extends Config = Config>(config: C): MyFilter<C> {
    const filter: Record<string, any> = {}

    // DO loop
    for (const key in config) {
      switch (config[key]) {
        case Type.Boolean:
            filter[key] = true
        case Type.Number:
            filter[key] = 43
        case Type.String:
            filter[key] = "Expecto Patronum!"
    }
    }
    // END loop

    return filter as MyFilter<C>
}

TS游乐场连接