是否有一种方法可以从一个联合类型创建一个新类型，并删除它的一些选项？

Question

让我们说我们有

type U = A | B | C

我们需要U型没有一些选择

function f<T option U>(u: U): U without T {...}

我们该如何表达

1. U型结合
2. T是U的一种选择
3. 返回的类型类似于U，但没有一些选项

Answer 1

是的，使用从stadard库排除。

type U = 'a' | 'b' | 'c';
type nonA = Exclude<U, 'a'>; // 'b' | 'c'

为了你的职责

function f<T extends U>(u: U): Exclude<U,T> {...}

https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html#conditional-types

Answer 2

100%工作实例

function withoutType<U, T extends U>(u: U) {
  return u as Exclude<U, T>;
}

type Union = string | number | Function;
let x = 5;
let y = withoutType<Union, Function>(x); // let x: string | number;