El comportamiento que estoy buscando se puede implementar con sobrecarga:
function fun(elType: "input", params: Input): number; function fun(elType: "swtich", params: Switch): number; function fun(){ return 2 }Donde si corro:
fun("swtich", SOMETHING_OF_SHAPE_SWITCH) //compiles fun("input", SOMETHING_OF_SHAPE_INPUT) // error fun("input", SOMETHING_OF_SHAPE_INPUT) //compilesMe preguntaba si se puede hacer comprobando el parámetro directamente:
interface Input { a: 2 } interface Switch { b: 2 } type ElType = { input: Input, switch: Switch, } const fun = <T extends keyof ElType>(elType: keyof ElType, params: ElType[typeof elType]) => { }Eso es lo más cerca que tengo, pero permite ambos:
fun("input", { b: 2 }) fun("input", { a: 2 })Parece que estoy cerca, pero a) no estoy muy seguro de lo que sucede en este último ejemplo yb) no estoy seguro de cómo lograr el comportamiento deseado.
Parece que lo que quiero hacer es:
const fun = <T extends keyof ElType>(elType: keyof ElType, params: ElType[elType]) => {} Pero aparece el error: type 'elType' cannot be used as an index type.
Aquí hay un tsplayg4round que estoy usando si quieres jugar.
He visto varias bibliotecas implementar este patrón, así que me preguntaba cuál es la forma más idiomática de hacerlo.
¡Has definido la T genérica pero no la has usado! TypeScript no sabe qué hacer con él, por lo que lo ignora.
<T extends keyof ElType>(elType: T, params: ElType[T]) => ... Usarlo aquí le permite a TypeScript inferir qué es T de elType , y una vez que sabe qué es T , puede usar ElType[T] para obtener los parámetros correctos.