Возвращение типа би-разыменованных итератора

Question

Во время испытания в университете я столкнулся этот вопрос относительно списков в STL, C++ версии 98:

Учитывая эти строки: list<A*> l; l.push_back(new A); Какой тип возвращения из позвонить **(l.begin())?

Среди возможных ответов было A и A& (другие не актуальны).

Я предположил, что это будет , но профессор сказал, что это &.

Я узнал, что разыменование итератора возвращает ссылку на элемент списка, поэтому *(l.begin()) должен вернуть объект, тип которого равен (A*)&.
Тогда другое разыменование, такое как **(l.begin()) должно «пройти» ссылку, указанную контейнером списка, и даже через указатель на A и в конечном итоге вернуть объект типа A.

Какая правильная интерпретация? Просьба дать пояснения.

Answer 1

Если p имеет тип A*, то *p имеет тип A&.

Если p имеет тип A*& (ссылка на указатель), то *p также типа A&.

Если x имеет type list<T>::iterator, то *x имеет тип T&, и если T==A*, то **x имеет тип A&.

Answer 2

В section 5.3.1 вы можете найти

Унарный * оператор выполняет косвенность: выражение, к которому он применяется должен быть указателем на тип объекта, или указатель на тип функции и результат is lvalue, ссылающийся на объект или функция, к которой относится выражение. Если тип выражения является «указатель на T,» тип результата «T.»