Tengo una interfaz general que uso para definir propiedades (digamos que es un Animal ).
Luego tengo extensiones de esta interfaz, que tienen diferentes campos adicionales.
Quiero definir una función que obtenga una instancia de un animal, la distribuya y analice un campo específico.
El valor del resultado debe ser el mismo que el de la entrada; sin embargo me sale un error, ya que no todos los animales son iguales :P
¿Cómo puedo usar el operador de propagación y seguir devolviendo el mismo tipo?
interface AnimalProps { name: string; size: string; } class Dog implements AnimalProps { name: string; size: string; bark(): void { console.log(`${this.name} says: 'woof'`); } constructor(name: string, size: string) { this.name = name; this.size = size; } } class Bird implements AnimalProps { name: string; size: string; fly(): void { console.log(`${this.name} says: 'I love flying'`); } constructor(name: string, size: string) { this.name = name; this.size = size; } } type Animal = Dog | Bird; function addSizeUnits(animal: Animal): Animal { // Property 'fly' is missing in type '{ size: string; name: string; }' but required in type 'Bird'. return { ...animal, size: `${animal.size} meters` }; } Obviamente, estoy simplificando el código existente (heredado) aquí, pero la conclusión es que necesito usar fly y bark y, por lo tanto, necesito los tipos de unión reales, y no el Animal básico.
Una función genérica debería funcionar aquí. Algo como:
function addSizeUnits<T extends Animal>(animal: T) { return { ...animal, size: `${animal.size} meters` }; } Tenga en cuenta que eliminé la anotación de tipo de devolución porque la inferencia de tipo debería resolverlo por usted, pero si desea volver a agregarla, puede usar algo como la corrección T & { size: string }T debería estar bien porque ya tiene size en AnimalProps .
Esto se puede abordar fácilmente mediante el uso de una restricción genérica :
function addSizeUnits<A extends Animal>(animal: A): A { return { ...animal, size: `${animal.size} meters` }; } Esto asegura que su tipo de argumento y su tipo de devolución sean el mismo tipo de Animal .