Imagina una función que obtiene un objeto como argumento que tiene dos entradas con cualquier tipo posible.
const x = ({a,b}:{a: string, b: string}) => { // return something } x({a: "foo"}) // OK x({b: "bar"}) // OK x({a: "foo", b: "bar"}) // get a compile error in this case!¿Cómo podemos configurar esta función de manera que solo una de las entradas pase a funcionar? En otras palabras, ¿necesito obtener un error de compilación cuando ambas entradas están configuradas dentro de la función? Por ejemplo, si ya se pasa "a", en el momento en que también se pasa "b" obtenemos un error de compilación y viceversa.
Mi respuesta intuitiva original, y obviamente incorrecta : use un tipo de unión :
{ a: string } | { b: string } Esto no activará un error de compilación para x({a: "foo", b: "bar"}) .
Solución de trabajo: puede seguir este consejo para "tipos mutuamente excluyentes":
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; const x = (args: XOR<{ a: string }, { b: string }>) => { // return something } x({a: "foo"}) // OK x({b: "bar"}) // OK x({a: "foo", b: "bar"}) // get a compile error in this case!