`String Literal Types`的比較

Question

我嘗試使用 TypeScript 對類型（如std::type_traits ）進行靜態分析，首先我做了is_same<> 。 類和原始類型工作正常，但字符串文字類型有奇怪的行為。

type is_same<A, B> = A extends B ? B extends A ? true : false : false;
type _1 = is_same<"a" | "b", "a" | "b">;
type _2 = "a" | "b" extends "a" | "b" ? "a" | "b" extends "a" | "b" ? true : false : false;

使用is_same<>獲得的類型是_1 。 這種類型是boolean 。 接下來，擴展is_same<>的結果是_2 。 這種類型是true 。 這些結果有什么區別？

我用 TypeScript 4.7.4 確認。

Answer 1

這里的問題是由Distributive Conditional Types引起的。

通過以您所做的方式在此處鏈接條件，聯合的每個成員都單獨分配給下一個條件。

為了阻止這種情況，您可以將A和B包裝在一個元組中。

type is_same<A, B> = [A] extends [B] ? B extends A ? true : false : false;

操場