イテレータとかのoperator->()　は普通ポインタを返すようになってますが
なんでこれでメンバの参照ができるのですか？

そのまま単純に考えると
(イテレータ)->(メンバ名) は (Tのポインタ) (メンバ名) となるように思われ意味をなさないですよね。

Bjarneは
> p->m = 7; // (p.operator->())->m = 7
てますが、つまりoperator->()は特別扱いってこと？