http://www.disi.unige.it/person/DoderoG/LP/typed.htm

Cosa significa "veramente" typedef?
Sostanzialmente e' realizzata con una sostituzione del nome con tutto quanto indicato dopo typedef, quindi con un meccanismo molto simile a quello della #define. La differenza e' che la sostituzione ha senso soltanto dove puo' comparire un tipo, quindi in una dichiarazione, non "dovunque", come capita con le #define.