TypeScript:仅从联合中排除精确的 {}

Question

我有一个像这样的联合类型:

type T = {} | ({ some: number } & { any: string })

那我怎样才能把这个类型缩小到后者呢？当然这是行不通的:

type WithEntries = Exclude<T, {}>

导致从不。

这可能吗？

Answer 1

给你

type T = {} | ({ some: number } & { any: string })

type X<T> = T extends {} ? ({} extends T ? never : T) : never;

type WithEntries = X<T>; //  { some: number; } & { any: string; }

第一个条件' distributes ' 联合类型的部分，以便第二个条件可以通过将空类型转换为 never 来“过滤掉”空类型，结果是 union of never | (T 的非空部分)，和 union never | P 只是 P 对于任何 P。

想法来了from this answer .