我不明白为什么TypeScript对相等类型(ObjType1和ObjType2)有不同的建议？
在第一种情况下，它的并集类型为"a" | "b"
在第二种情况下，对于相同的类型，它没有提供联合类型.为什么？
const obj = {
a: 1,
b: 1,
};
type ObjType1 = {
a: number;
b: number;
}
type ObjType2 = typeof obj;
type R1 = ObjType1 extends ObjType2 ? true : false; // true
type R2 = ObjType2 extends ObjType1 ? true : false; // true
type Result1 = keyof ObjType2; // type Result1 = "a" | "b"
type Result2 = keyof ObjType1; // type Result2 = keyof ObjType1
"a" | "b"和keyof ObjType1在该代码中是完全相同的类型.
在第二种情况下，对于相同的类型，它没有提供联合类型.
keyof ObjType1 is为联合型.这只是"a" | "b"的另一个名字.它们的含义是相同的，并且可以互换(直到或除非您更改了ObjType1或obj的定义).
这里唯一的区别是TypeScript用于显示目的的类型的名称(例如，它通过语言服务器进程向IDE报告的内容).但是TypeScript的类型系统几乎从不关心名称/标签/别名(接口的例外是declaration merging).类型系统是structural;它关心的是shape个类型，而不是它们被称为什么.
至于在第二种情况下，为什么TypeScrip Select 名字/标签/任何东西keyof ObjType1而不是"a" | "b"，我怀疑这是因为它提供了更有用的信息--它告诉你类型的含义来自哪里.(当然，第一个示例中的keyof typeof obj也将提供比"a" | "b"更多的信息，但是您必须知道obj是运行时标识符，而不是类型.)
？或许我应该称它为label？我认为alias不太适用于这里……