¿Puedes dar ejemplos de situaciones en las que se utiliza la aserción de tipos en un lenguaje de programación?

En Go, la aserción de tipos (Type Assertion) se utiliza para obtener un tipo específico a partir de un valor de interfaz. Esto es útil cuando tienes una variable de tipo interface{}, y sabes que dentro de ella hay un tipo concreto con el que quieres trabajar.

Ejemplos de uso:

• Obtener un tipo específico de una interfaz para llamar a métodos específicos.
• Procesar valores devueltos por funciones que retornan una interfaz.
• En situaciones donde necesitas verificar si una variable implementa un tipo determinado y ejecutar la lógica correspondiente.

Ejemplo de código:

var i interface{} = "hola"

// Aserción de tipo con verificación
s, ok := i.(string)
if ok {
    fmt.Println("Cadena:", s)
} else {
    fmt.Println("No es una cadena")
}

Si se realiza la aserción sin verificar y el tipo no coincide, el programa entrará en pánico.