Cita:
Iniciado por sam90 
a->b significa (*a.b) osea accedes al campo b del objeto apuntado por a.
La tabla de precedencias indica que el "." se considera antes que el "*", por tanto la equivalencia indicada es incorrecta.
a->b realmente equivale a (*a).b
la explicacion dada es correcta, la equivalencia no.