Как реализовать оператор-> для типа итератора?

Question

Есть ли способ реализовать operator->, а не только оператор *. Чтобы иметь следующий код:

Iterator<value> it = ... 
i = (*it).get(); 
i = it->get(); // also works 

Позвольте нам сказать, что тип значения имеет метод get. Когда итератор implemnted, как показано ниже:

template<T> class Iterator { 
    T operator*() { return ... } 
    T operator->() { return ... } 
} 

Вот ... это реализация получения правильного объекта T.

Как-то это не сработает, когда я реализую его таким образом. Кажется, я что-то неправильно понимаю.

Answer 1

operator-> должен возвращать указатель:

T * operator->(); 
T const * operator->() const; 

operator* должен возвращать ссылку, если вы хотите использовать его для модификации:

T & operator*(); 
T operator*() const; // OR T const & operator*() const; 

Answer 2

Как бы странно это может показаться, вы хотите вернуть указатель на T, таким образом:

T * operator->() { return &the_value; } 

Или указатель на константные.

Answer 3

Вы не уточняете, что «это не будет работать "означает - не удается ли скомпилировать или сделать что-то еще, чем ожидалось? Я предполагаю, что он компилируется, потому что из вашего фрагмента я не понимаю, почему это не должно.

Что вы делаете, возвращается по значению. Таким образом, вы возвращаете новый экземпляр объекта с указателем. Вы должны вместо этого возвращать указатель в operator-> и ссылки в operator*