R.13.4.6 Доступ к члену класса.

Доступ к члену класса определяется с помощью операции -›:

Первичное-выражение -› первичное-выражение.

Он считается унарной операцией. Для объекта класса x выражение x-›m интерпретируется как (x.operator-›())-›m. Отсюда следует, что функция operator-›() должна возвращать или указатель на класс, или ссылку на класс, или объект класса, для которого определена функция operator-›(). Она должна быть нестатической функцией-членом класса.