類型表示代表在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'] })