TypeScript中带有XOR的接口，{bar:string}异或{can:number}

Question

我该如何表达我想要一个界面是其中之一，而不是两者都是或两者都不是？

interface IFoo {
    bar: string /*^XOR^*/ can: number;
}

- A T

Answer 1

你可以使用联合类型以及 never 类型来实现这一点：

type IFoo = {
  bar: string; can?: never
} | {
  bar?: never; can: number
};


let val0: IFoo = { bar: "hello" } // OK only bar
let val1: IFoo = { can: 22 } // OK only can
let val2: IFoo = { bar: "hello",  can: 22 } // Error foo and can
let val3: IFoo = {  } // Error neither foo or can

- Saravana

---

太棒了！我从未意识到“never”可以用来禁止一个键存在！ - hasen

太好了，这正是我想要的。+1并已接受。 - A T

@AT，不知何故它没有被接受。 - godblessstrawberry

@godblessstrawberry 对不起！- 已接受。 - A T

这段代码是这样的：let val2: IFoo = { bar: "hello", can: undefined }。 - refaelio

Answer 2

如此问题所提出的，您可以使用条件类型（在Typescript 2.8中引入）编写XOR类型：

type Without<T, U> = { [P in Exclude<keyof T, keyof U>]?: never };
type XOR<T, U> = (T | U) extends object ? (Without<T, U> & U) | (Without<U, T> & T) : T | U;

您可以这样使用它：

type IFoo = XOR<{bar: string;}, {can: number}>;
let test: IFoo;
test = { bar: "test" } // OK
test = { can: 1 } // OK
test = { bar: "test",  can: 1 } // Error
test = {} // Error

- Guilherme Agostinelli

---

高级的.................................. - A T

针对超过两种类型的情况，可以使用 XOR<A | B | C | D>。翻译完成，无其他内容返回。 - trusktr

@trusktr 我认为这归结于可变参数泛型与TS3.1的结合。不幸的是，我自己还没有想出解决方案。但是，我可以考虑使用Head、Tail、HasTail和递归，就像这里演示的那样：https://www.freecodecamp.org/news/typescript-curry-ramda-types-f747e99744ab/。不足之处在于，这并没有检查排列集合，我不知道是否与集合论中的操作（如三角不等式）发生冲突。 - tahesse

你可以用给定的“XOR”类型来解决这个问题，通过执行“XOR <A，XOR <B，XOR <C，D >>>”，只需继续添加更多类型即可。 - Edy Bourne

在发现你惊人的答案之前，我提出了另一个建议：type XOR = (A & Not) | (Not & B);``` 我试图基于数学逻辑和XOR公式。 - Daniel Aragão

Answer 3

您可以使用联合类型和可选的void类型来获得“其中一个但不是另一个”：

type IFoo = {bar: string; can?: void} | {bar?:void; can: number};

然而，你必须使用--strictNullChecks来防止两者都不存在。

- artem

Answer 4

try this:

type Foo = {
    bar?: void;
    foo: string;
}

type Bar = {
    foo?: void;
    bar: number;
}

type FooBar = Foo | Bar;

// Error: Type 'string' is not assignable to type 'void'
let foobar: FooBar = {
    foo: "1",
    bar: 1
}

// no errors
let foo = {
    foo: "1"
}

- Hoang Hiep