如何使用Typescript泛型构造可用于类似对象的函数？

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

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)

const munge=（list:T[]）：T[]=>list.sort（（a，b）=>a.x-b.x）

显然这不起作用（错误是<代码>属性x '不存在于类型't'，< /Cord>），即使我试图在<代码> []]/Cube >上使用<代码> Mung< /C> >（因此我学习泛型不能像C++模板一样工作）。 我明白这可能是语言的局限性，但我在这里还能做什么呢？我必须根据类型A和B或者它们的子集来定义munge吗？这里的要点是，我希望返回类型为

T[]

，也就是说，如果我将

B[]

发送到

munge

，我希望typescript理解，在这种情况下，munge将返回a

B[]

。如果我明确地定义

munge

来接受A或B（或其尚未编写的基本类型

C

只有一个

x

prop），那么以后将其转换为

munge

中的任何类型都会更加丑陋

---

例如，我需要编写两个

munge

的实现，一个采用

A[]

，另一个采用

B[]

，这是不可接受的。这真的是唯一可行的清洁方式吗？（它不干净）

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

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);

A型={
x：数字；
描述：字符串；
};
B类={
x：数字；
地址：编号；
};
C类={
x：数字；
};
常量munge=（list:T[]）：T[]=>list.sort（（a，b）=>a.x-b.x）；
常数aa:A[]=[
{x:5，desc:“a”}，
{x:0，desc:”“}，
];
控制台日志（aa）；
常数z=munge（aa）；
//编辑器显示z的类型为[]。我很满意。。。
控制台日志（z）；

这就是答案。与来自更严格类型系统的人坐在一起可能不太舒服，但这是TS表达这一点的自然方式。