Estou procurando uma maneira de resolver dinamicamente um tipo de propriedade em tempo de compilação com base em uma string literal. Tentei usar uniões discriminadas e, embora funcione na maioria das vezes, as mensagens de erro do TypeScript são um tanto confusas e enganosas.
Aqui está um exemplo simplificado:
export type EntityTypes = "Cow" | "Dog";
export interface EntityCowDetails { milkQuantity: number, herdId: number }
export interface EntityDogDetails { barkVoiceId: number }
export type EntityDetails<T extends EntityTypes> =
T extends "Cow"
? EntityCowDetails
: T extends "Dog"
? EntityDogDetails
: never;
export interface EntityEntry<T extends EntityTypes> {
primaryKey: string;
displayText: string;
details: EntityDetails<T>;
}
export interface Entity<T extends EntityTypes> {
entityType: T;
entities: EntityEntry<T>[];
}
export type DogEntity = Entity<"Dog">;
export type CowEntity = Entity<"Cow">;
export interface ServerResponse {
entitiesContainer: (
| DogEntity
| CowEntity
)[];
}
Agora imagine que eu tenho um objeto como este:
const response: ServerResponse = {
entitiesContainer: [
{
entityType: "Dog",
entities: [
{
primaryKey: "23",
displayText: "Luna",
details: {
barkVoiceId: 2,
},
},
],
},
],
};
Isso funciona bem. Mas se eu acidentalmente fornecer um campo de outra entidade (por exemplo, milkQuantity
da vaca), recebo um erro confuso:
details: {
milkQuantity: 10,
}
TypeScript reclama:
Property 'herdId' is missing in type '{ milkQuantity: number; }' but required in type 'EntityCowDetails'
Então, se eu tentar "consertar" adicionando todos os campos específicos da vaca, recebo outro erro:
Object literal may only specify known properties, and 'milkQuantity' does not exist in type 'EntityDogDetails'
essa última mensagem deve ser sempre o erro, independentemente de eu adicionar propriedades de outras entidades?
Existe uma maneira melhor de estruturar isso para que os tipos sejam resolvidos de forma mais intuitiva e essas mensagens de erro enganosas sejam evitadas?
Além disso, embora eu entenda que isso pode ser possível usando herança em vez desse mapeamento condicional, essa é uma abordagem melhor neste caso?