Explicación de Guardias de Tipo en TypeScript

Los Guardias de Tipo son una característica de TypeScript que permiten realizar comprobaciones de tipo personalizadas durante la compilación. Son útiles cuando quieres garantizar que una variable es de un tipo específico antes de utilizarla. Según el lenguaje de la pregunta, estamos hablando sobre el uso de los Guardias de Tipo como una forma de verificación de datos en tiempo de compilación.

Para ilustrar cómo funcionan los Guardias de Tipo, consideremos un ejemplo. Supón que tienes una función que puede recibir un argumento de tipo string o number:

function doSomething(value: string | number) {
  // ...
}

Ahora, si necesitaras realizar una operación que solo sea válida para cadenas de caracteres (como toUpperCase(), que convierte todas las letras de la cadena a mayúsculas), necesitarías asegurarte de que value es de tipo string antes de intentar hacerlo. Aquí es donde los Guardias de Tipo hacen su trabajo:

function doSomething(value: string | number) {
  if (typeof value === "string") {
    // Ahora TypeScript sabe que 'value' es de tipo 'string'
    console.log(value.toUpperCase());
  }
}

En este caso, typeof value === "string" es un Guardia de Tipo. Esta condición verifica el tipo de value y, si es string, TypeScript ajustará el tipo dentro del bloque de código correspondiente.

El Guardias de Tipo se pueden crear de varias maneras en TypeScript, no solo usando typeof. Se podría usar instanceof para comprobar si una variable es una instancia de una clase específica, o incluso se pueden crear Guardias de Tipo personalizados usando funciones.

Por último, te aconsejo que utilices los Guardias de Tipo siempre que tengas que manipular valores que podrían ser de más de un tipo. De esa manera, podrás evitar muchos errores en tiempo de ejecución y hacer que tu código sea más seguro y predecible.