0
193
Views¿Por qué el tipo 'Agregar' no satisface la restricción 'número'?
Intenté practicar gimnasia tipográfica con typescript. Y mi objetivo es implementar operaciones matemáticas en literales numéricos.
En primer lugar, implementé type BuildArray :
type BuildArray<
Length extends number,
Ele = unknown,
Arr extends unknown[] = []
> = Arr['length'] extends Length
? Arr
: BuildArray<Length, Ele, [...Arr, Ele]>;
type MyArray = BuildArray<3> // type MyArray = [unknown, unknown, unknown]
Luego, implementé el tipo Add :
type Add<Num1 extends number, Num2 extends number> =
[...BuildArray<Num1>, ...BuildArray<Num2>]['length']
type AddResult = Add<2, 5> // type AddResult = 7
Sin embargo, cuando intenté implementar Multiply basado en Add , ocurrió un error:
type Multiply<Num1 extends number, Num2 extends number, Counter extends number = 0, Result extends number = 0> =
Counter extends Num2?
Result:
Multiply<Num1, Num2, Add<Counter, 1>, Add<Num1, Result>>
type MultiplyResult = Multiply<4, 5> // type MultiplyResult = 20
Aunque el resultado es correcto, ocurrió un error de compilación:
¿Puede alguien decirme por qué ocurre este error de compilación?
2 answers
Answer question0
Cuando pasa Counter en Add<Counter, 1> , está extendiendo el number de tipo, pero aún es un número desconocido. Cuando se pasa de Add a BuildArray , tiene esta verificación:
Arr['length'] extends Length?
y según esa verificación, tiene diferentes tipos esperados Arr o BuildArray<Length, Ele, [...Arr, Ele]> que volverán a tener el mismo problema.
Volviendo a Add , en el caso de un número desconocido, TypeScript no logrará que esta propiedad de length sea la propiedad de un Array , que ya es un number .
Entonces obtienes el valor correctamente, pero el tipo en sí todavía no está seguro de que sea un number , porque la verificación Arr['length'] extends Length? en BuildArray no se resuelve para saber que Arr es el tipo desde el que estamos tratando de acceder a la length .
No estoy seguro de si esto fue lo suficientemente claro, pero TL; DR: para lograr lo que necesita con los cambios mínimos, debe decirle a TypeScript que este tipo Add siempre será un number en lugar de confiar en TypeScript para aprender eso por sí mismo.
Por ejemplo, puede forzar esta información agregando & number :
type Add<Num1 extends number, Num2 extends number> =
[...BuildArray<Num1>, ...BuildArray<Num2>]['length'] & number
// −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−^^^^^^^^
o tener cualquier tipo de cheques de tipo.
0
Esto se debe a que aquí se está extendiendo con el número
Counter extends number = 0, Result extends number = 0
y su tipo Add<num1, num2> devuelve un número reducido.
Por ejemplo: type AddResult = Add<2, 5> // type AddResult = 7
cuando hace typeof AddResult , el resultado sería 7 (para TS es desconocido) y no number y es por eso que ocurrió el error.