Comencemos con una disculpa por la pregunta demasiado genérica, pero me estoy destrozando la cabeza sobre cómo reducirla debido a la falta de comprensión de lo que está sucediendo aquí, por lo que se ajustará en función de los comentarios/respuestas.
Creé un programa de muestra en TypeScript Playground que no debería compilarse pero lo hace (usando la última versión de TypeScript, v4.5.2 a partir de este escrito). Estoy tratando de entender por qué esto se compila para entender qué otros programas malos podrían colarse. el verificador de tipo y pasar desapercibido. Aquí hay otra versión del programa que muestra el problema en tiempo de ejecución. ¿Hay alguna opción que haya pasado por alto o algo que pueda hacer para que este programa no verifique el tipo?
Para mayor comodidad, también incluyo el programa en cuestión aquí:
type Settings = { 'a': boolean; 'b': string } function setSetting<K extends keyof Settings>(p: K, v: Settings[K]): void {} // setSetting('a', 100) // good; it fails setSetting('a', true); // good; compiles function breakSetSetting(k: keyof Settings, v: boolean): void { setSetting(k, v); } breakSetSetting('b', true); // bad; it compiles! Actualización: según el comentario de @crashmstr, el uso de genéricos para breakSettings hace que el programa no compile , sin embargo, todavía no me queda claro por qué se permitió compilar antes.
Cuando define K , lo está definiendo como 'a' | 'b' (que es keyof K ). Esto significa que v sería Settings['a' | 'b'] que se evalúa como boolean | string Ahora, cuando su breakSetSetting pasa un valor boolean a setSetting , boolean está en el ámbito de boolean | string , haciendo que el compilador pase.