Respuesta.

'typedef' es una herramienta poderosa para crear nuevos nombres (alias) para tipos, lo que hace que el código sea más breve y más fácil de mantener y entender. La palabra clave apareció en las primeras versiones de C, facilitando la vida a los desarrolladores de grandes proyectos, cuando las largas declaraciones de estructuras y punteros hacían que el código fuera ilegible y difícil de mantener.

Historia de la cuestión

Inicialmente, las estructuras y uniones se definían con largas declaraciones utilizando las palabras clave struct, union, enum. Con el crecimiento del código, tales declaraciones se volvieron redundantes y incómodas, lo que llevó a la introducción de typedef, para acortar y estandarizar los tipos.

Problema

Los errores típicos están relacionados con la comprensión incorrecta de los alias, la confusión de typedef con la declaración de estructuras, estructuras anónimas, dificultades con arreglos de punteros y convenciones de nomenclatura no documentadas.

Solución

'typedef' permite asignar nombres cortos a tipos existentes, tanto básicos como compuestos:

Para estructuras, elimina la necesidad de escribir 'struct ...' cada vez
Simplifica las declaraciones de punteros/arreglos
Puede confundir a los principiantes si no se lee cuidadosamente el orden de los nombres

Ejemplo de código:

typedef struct Point {
    int x, y;
} Point;

Point p1; // en lugar de 'struct Point p1;'
typedef unsigned char byte;
byte buffer[8];

Características clave:

typedef no crea un nuevo tipo, solo un nuevo nombre
typedef no implica un nuevo conjunto de reglas de compatibilidad de tipos
typedef para arreglos y punteros requiere atención debido al orden de los asteriscos y corchetes

Preguntas engañosas.

1. ¿Se puede hacer con typedef un "nuevo tipo" que no sea compatible con el tipo base (por ejemplo, int)?

No. typedef solo proporciona un alias. El tipo a nivel de compilador seguirá siendo el mismo, la conversión es posible sin errores de compilación.

2. Si declares typedef struct {} name_t;, y luego struct name_t var;, ¿cuál es el resultado?

¡Es un error! Después de typedef struct MyStruct { ... } Name;, se usa Name para variables, no struct Name. struct Name no es conocido por el compilador — así no funciona.

3. typedef int arr[10]; arr a,b; ¿Cuál es el tipo de a y b?

a y b son ambos arreglos de int de longitud 10. ¡No son punteros! Error — se espera 'int* a, b', si se olvida las particularidades de typedef con arreglos y punteros.

Errores típicos y anti-patrones

Declarar typedef dentro de un header, luego struct NOMBRE_ESTRUCTURA variable; (error)
typedef de puntero sin paréntesis para arreglo de punteros
typedef struct con una estructura anónima — ausencia de posibilidad de expansión

Ejemplo de la vida real

Caso negativo

En un proyecto se declara typedef struct User { ... } User;, pero se utiliza struct User my_user; — el compilador se queja, el código no es portable.

Ventajas:

Declaración rápida

Desventajas:

No pasa la compilación, confusión en los comandos

Caso positivo

En todo el proyecto se sigue un estándar: typedef struct {...} Name;, se utiliza solo Name var; sin struct.