El tipado estricto es una característica clave en TypeScript que asegura que se respeten las reglas de tipado definidas por el desarrollador, ayudando a prevenir errores. En este capítulo, profundizaremos en cómo funciona el tipado estricto y el opcional en TypeScript, y cómo pueden mejorar la robustez del código.

Tipado Estricto

El modo de tipado estricto es una opción de configuración que puedes habilitar en el archivo tsconfig.json. Cuando está activado, obliga a seguir reglas más rigurosas en cuanto al uso de tipos. Por ejemplo, no permite el uso de null o undefined como valores de tipos que no los esperan, ni el uso de variables sin inicializar.

Para habilitar el tipado estricto, se debe agregar o modificar la siguiente opción en el archivo tsconfig.json:

json

El tipado estricto también incluye otras configuraciones, como:

• noImplicitAny: Previene el uso de any implícito, obligando a declarar explícitamente el tipo de una variable.
• strictNullChecks: No permite asignar null o undefined a variables que no lo esperan.

typescript

Variables Opcionales

En TypeScript, es posible definir parámetros de funciones o propiedades de objetos como opcionales. Esto significa que no es obligatorio proporcionar un valor para estas variables. Para hacerlo, se usa el símbolo ? después del nombre del parámetro o propiedad.

Parámetros Opcionales

Cuando un parámetro es opcional, el valor puede o no ser proporcionado cuando se llama a la función. Si no se proporciona, su valor será undefined.

typescript

Propiedades Opcionales

Las propiedades de un objeto también pueden ser opcionales, permitiendo que algunos valores estén ausentes al crear instancias de un tipo.

typescript

Aserciones de Tipo

Las aserciones de tipo permiten al desarrollador indicar explícitamente a TypeScript que una variable tiene un tipo específico. Esto es útil cuando se trabaja con valores cuyo tipo puede ser ambiguo o no se puede inferir correctamente.

Sintaxis de Aserciones de Tipo

Existen dos formas de hacer una aserción de tipo en TypeScript:

1. Utilizando la palabra clave as:

   typescript
   

   "Aquí, someValue es de tipo any, pero estamos afirmando que es un string, por lo que podemos acceder a la propiedad length."

2. Utilizando la sintaxis de paréntesis angulares:

   typescript
   

   "Este ejemplo usa la misma aserción de tipo que el anterior, pero con la sintaxis de paréntesis angulares. Ambas formas son equivalentes."

Conclusión

El tipado estricto y opcional en TypeScript es fundamental para escribir código más seguro y claro. A través de las reglas estrictas de tipos y el uso de parámetros opcionales y aserciones de tipo, puedes evitar errores comunes y tener un mayor control sobre los datos que manejas.