Typescript 三元運算符破壞標識類型

Question

為什么我下面的SupposedId類型不是類型標識？

Typescript 抱怨Type 'T' is not assignable to type 'SupposedId<T>' 。

為什么T不能分配給T或T ，我錯過了什么？

type SupposedId<T> = T extends object ? T : T;

function makeId<T>(test: T): SupposedId<T> {
  return test // <- Type 'T' is not assignable to type 'SupposedId<T>'
}

游樂場示例

Answer 1

這是因為分布式條件類型。 SuppedId 分發給T extends any | T extends object T extends any | T extends object 。 您的案例當然是一個新案例，因為它們實際上都解析為T ，但是條件類型根據T extends object執行不同的縮小。

但是，根據文檔，您可以通過在 extends 關鍵字的每一側添加方括號來修復它：

type SupposedId<T> = [T] extends [object] ? T : T;

function makeId<T>(test: T): SupposedId<T> {
  /* `test` is now one of `T extends object` or `T extends any`,
     not `T extends object | T extends any` */
  return test;
}