¿No tendría sentido sip->m era solo azúcar sintáctica para(*p).m? Esencialmente, cadaoperator-> que he escrito podría haberse implementado de la siguiente manera:

Foo::Foo* operator->()
{
    return &**this;
}

¿Hay algún caso donde quisierap->m significar algo más que(*p).m?