类型表示代表在Typescript中具有特定值类型的对象的键

Question

我有一个带有两个键的配置对象的函数。 这些值是对象中键的数组。

Config类型的a值将从类型T的对象中删除，但是b值需要以仅对字符串值键有效的某种方式进行转换。

结果是一个将类型T作为显式参数的函数，并返回一个对类型T的对象进行转换的函数：

interface Config<T extends Object, K extends keyof T> {
  a?: K[]  // keys to remove from T, this works fine
  b?: K[]  // keys to modify string value - want to constrain these
}

export function f<T extends Object>(config: Config<T, keyof T>): (row: T) => Partial<T> {
  return function (row) {
    // remove keys from config.a
    // do something stringy with keys from config.b
  }
}

叫做：

const fn = f<SomeType>({ a: [...], b: [...] })

有什么方法可以将Config接口中的b限制为仅字符串值的键？ 我尝试了所有可能想到的方法，但尝试的大多数方法都产生了语法错误。 我现在正在通过将字符串值强制转换为string来解决此问题，因为类型系统不知道它们是字符串。 有一个更好的方法吗？

Answer 1

如果您不需要跟踪要删除/添加的键的实际并集，则可以从Config删除K参数。 从您的示例中，我认为这不是必需的。

要只获取某种类型的键，我们可以使用条件类型和映射类型：

interface Config<T extends Object> {
    a?: (keyof T)[]  // keys to remove from T, this works fine
    b?: KeyOfValueType<T, string>[]  // keys to modify string value - want to constrain these
}
type KeyOfValueType<T, TValue> = {[P in keyof T]: T[P] extends TValue ? P : never}[keyof T];


export function f<T extends Object>(config: Config<T>): (row: T) => Partial<T> {
    return function (row) {

        return null as any;
    }
}
interface SomeType {
    nr: number;
    str: string
}
const fnOk = f<SomeType>({ a: ['nr'], b: ['str' ] })
const fnNok = f<SomeType>({ a: ['nr'], b: ['str', 'nr'] })