如何选择对象的字符串成员

Question

我有以下定义

interface IAutoCompleteInputProps<T> {
    textMember: keyof T;
    imageMember: keyof T;
    data: T[];
}

但我也想确保T[textMember] 的值也必须是string。 我怎样才能做到这一点？

=== 更新： 在我实现了@R Pasha 的答案后，当我尝试通过a.data[a.textMember] 访问textMember 时（我希望它是一个字符串），但IDE 说

(property) value: T[{ [K in keyof T]: T[K] extends string ? K : never; }[keyof T]]
Type 'T[{ [K in keyof T]: T[K] extends string ? K : never; }[keyof T]]' is not assignable to type 'string'.
  Type 'T[T[keyof T] extends string ? keyof T : never]' is not assignable to type 'string'.
    Type 'T[keyof T]' is not assignable to type 'string'.
      Type 'T[string] | T[number] | T[symbol]' is not assignable to type 'string'.
        Type 'T[string]' is not assignable to type 'string'.ts(2322)

我可以将它转换为字符串，但只是想知道为什么？谢谢

PS 我得到错误的代码

function Application<T>(props: IAutoCompleteInputProps<T>) {
  const x = props.data[0][props.textMember]; // x here is not string
}

这里是Playground Link

Answer 1

你可以使用Conditional types

type StringProperties<T> = Pick<T, { 
    [K in keyof T]: T[K] extends string ? K : never 
}[keyof T]>;

interface IAutoCompleteInputProps<T>{
    textMember: keyof StringProperties<T>;
    imageMember: keyof T;
    data: T[];
}

interface Type1 {
  field1: number; // <- is number
  field2: string;
}

let x : IAutoCompleteInputProps<Type1> = {
  textMember : 'field1', // <- field1 must be string
  imageMember: 'field2',
  data: []

}

Answer 2

使用此帮助器选择字符串值的属性：

type PropertyOfValue<T, V> = {
  [K in keyof T]-?: T[K] extends V
    ? K
    : never
}[keyof T];

用法：

interface Type1 {
  field1: number; 
  field2: string;
}

const props: IAutoCompleteInputProps<Type1> = {
  data: [
    { field1: 42, field2: 'foo' }
  ],
  imageMember: 'field1',
  textMember: 'field2'
}

props.textMember; // "field2"
props.data[0][props.textMember]; // string

TypeScript Playground