在檢查條件屬性是否存在時，Typescript 將 object 推斷為從不

Question

我有一個名為T的類型，它接受泛型類型Str extends string 。 如果Str擴展了"hello" ，那么類型T應該有一個稱為B的附加屬性。 像這樣的東西：

export type T<Str extends string> = {
  A: number;
} & (Str extends "hello" ? { B?: number } : {});

基於該類型，它的行為如下：

type T1 = T<"hello">; // type T1 = { A: number; B?: number | undefined; }
type T2 = T<"world">; // type T2  = { A: number; }

現在，我想創建一個接受此類型作為參數的 function，並根據屬性B的存在添加一個額外的邏輯：

function t<Type extends string>(arg: T<Type>) {
  if ("B" in arg) {
    // ...
  }
}

雖然，我收到一個錯誤，即 if 語句中的arg被視為never 。

看游樂場

Answer 1

如果您明確命名變體，它會起作用：

export type Test<Str extends string> = {
  A: number;
} & (Str extends "hello" ? { B?: number } : { });

type HelloVariant = Test<"hello">;

function t<T extends (HelloVariant | Test<string>)>(arg: T) {
  if ("B" in arg) {
    console.log(arg.B);
  }
}

游樂場鏈接

實際上需要命名的是該字符串是“hello”的可能性。 這是更簡化的版本：

export type Test<Str extends string> = {
  A: number;
} & (Str extends "hello" ? { B?: number } : { });

function t<T extends (Test<"hello"> | Test<string>)>(arg: T) {
  if ("B" in arg) {
    console.log(arg.B);
  }
}

關聯