javascript - una - title html

Flujo: crea un tipo de flujo extendiendo otro tipo

Question

type someType = {
keyOne: string,
keyTwo: string,
};
type someOtherType = {
keyOne: string,
keyTwo: string,
keyThree: string,
};

Ambos tipos son objetos que contienen keyOne y keyTwo , la única diferencia es que este último amplía el primero con una clave adicional de keyThree .

En lugar de escribir código duplicado, ¿es posible construir el tipo de flujo someType extendiendo someType ? En mi opinión, me viene a la mente el descanso / dispersión de objeto ES6, pero no estoy seguro de cómo lograr algo como esto en Flow.

¡Gracias!

Answer 1

Lo que estás buscando es el tipo de intersección . De acuerdo con la documentación:

Un tipo de intersección requiere un valor para todos los tipos de entrada.

Sintaxis: Intersección: <tipo 1> & <tipo 2> ... & <tipo n>

El tipo de intersección está destinado a extender un tipo existente y agregarle requisitos de tipo adicionales.

type someType = {
keyOne: string,
keyTwo: string
}
type someOtherType = someType & {
keyThree: string
}
const shouldBeOk: someOtherType = {
keyOne: ''biz'',
keyTwo: ''buzz'',
keyThree: ''baz'',
}
const shouldError: someOtherType = {
keyOne: 123,
keyTwo: ''hello'',
keyThree: ''world'',
}
// flow error:
16: const shouldError: someOtherType = {
^ object literal. This type is incompatible with
8: type someOtherType = someType & {
^ object type

El opuesto lógico del tipo de intersección es el tipo de unión . De acuerdo con la documentación:

Un tipo de unión requiere que un valor sea uno de los tipos de entrada.

Sintaxis: Unión: <tipo 1> | <tipo 2> ... | <tipo n>

Como ejemplo. puede usar el tipo de unión para crear un enumerable.

type fooBarBazType = ''foo'' | ''bar'' | ''baz'';
const shouldBeOk: fooBarBazType = ''bar'';
const shouldError: fooBarBazType = ''buzz'';
4: const shouldError: fooBarBazType = ''buzz'';
^ string. This type is incompatible with
4: const shouldError: fooBarBazType = ''buzz'';
^ string enum