C++ Почему автоматическое повторное применение оператора стрелки (->) не применяется к типам «указатель-указатель»? ⇐ C++

[Anonymous]

В этом вопросе обсуждается, как оператор стрелки -> автоматически повторно применяется к возвращаемому значению перегруженного оператора->() до тех пор, пока возвращаемое значение не станет необработанным указателем, после чего необработанный указатель разыменовывается, как если бы это было с помощью ->. Однако это не так, когда у вас есть тип «указатель на указатель», который они хотят разыменовать до базового значения — вместо этого они должны использовать (*ptr_to_ptr)->foo(). Мне кажется, что использование ptr_to_ptr->foo() будет однозначным, даже в большей степени, чем автоматическое повторное применение -> к возвращаемым значениям до тех пор, пока не будет возвращен необработанный указатель. Итак, какова была причина этого решения?

минимальный рабочий пример:

#include

struct Dog {
void bark() { std::cout () {
return walker;
}
};

void main()
{
DogOwner owner;
owner->bark(); // works, prints "woof"

Dog** ptr_to_ptr = new Dog*;
*ptr_to_ptr = new Dog;
(**ptr_to_ptr).bark(); // works
(*ptr_to_ptr)->bark(); // works
//ptr_to_ptr->bark(); // ERROR
//C2227: left of '->bark' must point to class/struct/union/generic type
}


Подробнее здесь: https://stackoverflow.com/questions/497 ... ot-apply-t