Typescript 如何通过属性名在两个泛型数组中找到匹配的对象

您所遇到的错误是因为，在generateMessagesByAttribute()的实现中，input确实是T类型，item是V类型，而编译器不知道T[K]和V[K]是否可以相互比较.如果类型在某种程度上"相关"，则TypeScrip只允许input[k] === item[k].解决此问题的最简单方法是在比较之前将input或item加宽到(T | V):

input[attributeName] === (item as T | V)[attributeName] // okay

还有其他更重量级的方法，例如将this扩大到类似DataProvider<T | V, T>的东西，这将产生input从一开始就是T | V类型的效果:

const thiz: DataProvider<V | T, T> = this; // widen
thiz.result.forEach(item => {
  const index = this.inputA.findIndex(input =>
    input[attributeName] === item[attributeName] // okay
  );
  if (index !== -1) {
    successMessages.push({
      taskToken: this.inputA[index].token,
      output: JSON.stringify(item),
    });
  }
});

或者，您可以通过指定this parameter:将此约束直接放在this上，这样，除非可以适当地加宽对象，否则甚至不能调用该函数:

public generateMessagesByAttribute<K extends keyof T & keyof U>(
  this: DataProvider<V | T, T>,
  attributeName: K
): any[] {
  const successMessages: any[] = [];
  this.result.forEach(item => {
    const index = this.inputA.findIndex(input =>
      input[attributeName] === item[attributeName] // okay
    );
    if (index !== -1) {
      successMessages.push({
        taskToken: this.inputA[index].token,
        output: JSON.stringify(item),
      });
    }
  });
  return successMessages;
}

其中任何一个都应该奏效，其他可能也是如此.

但这并不一定能解决全部问题；即使implementation没有编译器错误，您也可能希望防止callers对键调用generateMessagesByAttribute()，除非这些键类型至少在某种程度上彼此兼容.为此，您不仅可以从K到keyof T & keyof V(相当于keyof (T | V))，而且可以只到T[K]和V[K]重叠的子集.也就是说，其中T[K] & V[K]不是never:

type OverlappingKeys<T, U> =
  { [K in keyof (T | U)]: T[K] & U[K] extends never ? never : K }[keyof (T | U)]
    

你可以看到它是如何工作的:

interface Vee {
  a: string;
  b: number;
  c: string;
  d: "abc";
}
interface Tee {
  a: string;
  b: boolean;
  c: "abc";
  d: string;
  token: string;
}
type VeeTeeOverlap = OverlappingKeys<Tee, Vee>;
// type VeeTeeOverlap = "a" | "c" | "d"

declare const dp: DataProvider<Vee, Tee>;
dp.generateMessagesByAttribute("a"); // okay, both string
dp.generateMessagesByAttribute("token"); // error
dp.generateMessagesByAttribute("b"); // error, no overlap between boolean and number
dp.generateMessagesByAttribute("c"); // okay, overlapping types
dp.generateMessagesByAttribute("d"); // okay, overlapping types

看上go 不错.在上面的例子中，"b"是不可接受的，因为你会把number和boolean做比较.

Playground link to code个