如何使用Typescript泛型来构造可以在类似对象上使用的函数？

Question

我有两个共享属性子集的类型，例如

type A = {
  x: number
  y: number
  desc: string
}

type B = {
  x: number
  y: number
  address: number
}

我只想有一个函数可以对这些类型做一些事情，只读取其中的一些属性：

const munge = <T>(list: T[]): T[] => list.sort((a,b) => a.x - b.x)

显然，这不起作用(错误是Property 'x' does not exist on type 'T'.)，即使我尝试在A[]上使用munge (因此我了解到泛型不像C++模板那样工作)。

我知道这可能是语言的一个限制，但我在这里能做什么呢？我必须根据A和B类型或作为它们的子集的某些其他类型来专门定义munge吗？这里的重点是，我希望返回类型为T[]，也就是说，如果我向munge发送一个B[]，我希望typescript能够理解，在这种情况下，munge将返回一个B[]。似乎如果我显式地定义munge来接受A或B(或者它尚未编写的基类型C只有一个x属性)，那么在稍后将它转换回munge中的任何类型时会有更多的丑陋。

例如，我需要编写两个munge实现，一个采用A[]，另一个采用B[]，这是不可接受的。这是不是真的是唯一实用、干净的方法呢？(它不干净)

Answer 1

到目前为止，这段代码似乎很容易阅读，并完成了工作。不过我不喜欢这样。

type A = {
  x: number;
  desc: string;
};
type B = {
  x: number;
  addr: number;
};
type C = {
  x: number;
};

const munge = <T extends C>(list: T[]): T[] => list.sort((a, b) => a.x - b.x);

const aa: A[] = [
  { x: 5, desc: "a" },
  { x: 0, desc: "" },
];

console.log(aa);
const z = munge(aa);
// editor shows type of z is A[]. I'm satisfied...
console.log(z);