какой тип p
?
p
относится к типу vector<Thingie*>::iterator
, независимо от типа.
какой тип *p
?
*p
является Thingie*&
; то есть это ссылка на элемент вектора, на который указывает итератор.
какой код предоставляет адрес фактического Thingie
?
*p
, поскольку элементы вектора являются указателями на Thingie
s, а *p
дает ссылку на элемент в векторе.
какой код предоставляет фактический Thingie
?
**p
; то есть вы разыменовываете указатель, полученный с помощью *p
, чтобы получить референт указателя.