Logré escribir el objeto currentProps para que TS sepa qué propiedades tiene Y cada propiedad tiene su tipo individual (no una unión de todos los tipos posibles).
Hasta aquí todo bien.
Luego tengo esta función genérica overrideForIndex que obtiene una de las propiedades posibles y debería devolver su valor. Pero no se puede asignar, porque su tipo de retorno es una unión y no el tipo específico.
Ahora podría enviarlo como cualquiera y darlo por terminado, pero tengo curiosidad por saber si hay una manera de manejar esto correctamente sin enviar a any .
Aquí está el ejemplo "simplificado": ( abierto en el patio de juegos de TS )
export type MyProps = { id?: number; title?: string; } const props: Record<keyof MyProps, any> = { id: 123, title: 'foo' } export const propNames = Object.keys(props) as Array<keyof MyProps>; const data: Record<number, MyProps> = { 0: { id: 123, title: 'foo' }}; const buildLatestProps = (): { [P in keyof Required<MyProps>]: MyProps[P] } => { const getLatest = <T extends keyof MyProps>(propName: T) => data[0][propName]; return Object.fromEntries(propNames.map(n => [n, getLatest(n)])) as any; }; const currentProps = buildLatestProps(); const overrideForIndex = <T extends keyof MyProps>(propName: T, index: number): MyProps[T] => data[index][propName]; propNames.forEach(n => (currentProps[n] = overrideForIndex(n, 0) /* as any */)); // ERR: Type 'string | number | undefined' is not assignable to type 'undefined'.Si echas un vistazo a estas líneas, los tipos están actuando como esperas que lo hagan.
currentProps["id"] = overrideForIndex("id", 0); currentProps["title"] = overrideForIndex("title", 0); Sin embargo, cuando usa el ciclo forEach, está usando efectivamente lo siguiente, donde n es el tipo de unión de los nombres clave de MyProps :
propNames.forEach((n: keyof MyProps) => { currentProps[n] = overrideForIndex(n, 0) });Actualmente, TypeScript no puede desenredar esto. Además, hay un gran hilo sobre por qué tal cambio podría tener consecuencias no intencionales.
Debe evitar usar any en el 99% de los "casos de uso" para ello, ya que está desactivando efectivamente TypeScript. En la mayoría de los casos en los que usaría any , Record<KeyType, ValueType> es suficiente así:
propNames.forEach(n => ((currentProps as Record<typeof n, unknown>)[n] = overrideForIndex(n, 0))); En ese bloque, suprime el error de manera efectiva sin depender de apagar TypeScript por completo. También generará un error si propNames como Array<keyof MyTypeExtendingMyProps> .