Typescript Generics 不帶類型

Question

假設我有一個類型數組：

const arr: Foo[]: [
  a: Foo<A>,
  b: Foo<B>,
  c: Foo<C>,
];

如何將數組限制為非類型

const arr: Foo<Not<B>>[]: [
  a: Foo<A>,
  b: Foo<B>, // error
  c: Foo<C>,
];

Answer 1

一種方法是使用Exclude實用程序類型來指定Foo可以接受的類型參數的子集，如下所示

type Foo<T> = {
    value: T
}

type Bar = string | boolean | number
type BarWithoutBoolean = Exclude<Bar, boolean>

const arr: Foo<BarWithoutBoolean>[] = [
    { value: 1     },
    { value: "abc" }, 
    { value: true  } // Err
]