Интерфейс TypeScript с XOR, {bar:string} xor {can:number}

Как мне сказать, что я хочу, чтобы интерфейс был одним или другим, но не обоими или ни тем, ни другим?

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

typescript interface schema typescript2.0 xor
person A T    schedule 08.06.2017    source источник

Ответы (4)


arrow_upward
41
arrow_downward

Вы можете использовать типы объединения вместе с типом 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
person Saravana    schedule 08.06.2017
comment
Великолепно! Я никогда не понимал, что never можно использовать для запрета присутствия ключа! - person hasen; 08.06.2017
comment
Отлично, это то, чего я добивался. +1 & принято - person A T; 10.06.2017
comment
@AT как-то не принято - person godblessstrawberry; 26.10.2020
comment
@godblessstrawberry Плохо! - Принятый. - person A T; 27.10.2020
comment
Это работает и не должно: let val2: IFoo = { bar: "hello", can: undefined } - person refaelio; 11.03.2021

arrow_upward
18
arrow_downward

Как было предложено в этой проблеме, вы можете использовать условные типы (представлены в 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
person Guilherme Agostinelli    schedule 09.11.2018
comment
Изысканный.................................. - person A T; 11.11.2018
comment
Как насчет XOR<A | B | C | D> для более чем двух типов? - person trusktr; 23.02.2019
comment
@trusktr Я думаю, что все сводится к вариативным дженерикам в сочетании с TS3.1. К сожалению, я еще не придумал решение для этого сам. Но я могу думать об использовании Head, Tail, HasTail и рекурсии, как показано здесь: freecodecamp.org/news/typescript-curry-ramda-types-f747e99744ab. С другой стороны, это не проверяет набор перестановок, и я не знаю, противоречит ли это операциям в теории множеств (таким как неравенство треугольника). - person tahesse; 10.05.2020

arrow_upward
4
arrow_downward

Вы можете получить «одно, но не другое» с объединением и необязательным типом void :

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

Однако вы должны использовать --strictNullChecks, чтобы не иметь ни того, ни другого.

person artem    schedule 08.06.2017

arrow_upward
1
arrow_downward

попробуй это:

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"
}
person Hoang Hiep    schedule 08.06.2017