перегрузка оператора ->

@den45 · Регистрация: 26.09.2018

Author24 — интернет-сервис помощи студентам

C++

#include <iostream>
 
template<class T>
class Auto_ptr1
{
    T* m_ptr;
public:
 
    Auto_ptr1(T* ptr = nullptr)
        :m_ptr(ptr)
    {
    }
 
    
    ~Auto_ptr1()
    {
        delete m_ptr;
    }
 
    T& operator*() const { return *m_ptr; }
    T* operator->() const { return m_ptr; }
};
 
 
class Item
{
public:
    Item() { std::cout << "Item acquired\n"; }
    ~Item() { std::cout << "Item destroyed\n"; }
 
    int val = 90;
};
 
int main()
{
    Auto_ptr1<Item> item(new Item); // динамическое выделение памяти
 
    std::cout << item->val;
 
    return 0;
}

Не понимаю, почему в этом примере не приходиться разыменовывать указатель ,возвращенный перегруженным оператором ->,
ведь в случае с оператором * там возвращается ссылка на обьект (который получается через разыменовывание указателя),
а в случае с -> этот шаг пропускается

@_stanislav · 14.05.2022, 21:20

Сообщение от den45

а в случае с -> этот шаг пропускается

в стандарте так сказано

@TheCalligrapher · 14.05.2022, 21:37

Сообщение от den45

Не понимаю, почему в этом примере не приходиться разыменовывать указатель ,возвращенный перегруженным оператором ->

Потому что, согласно правилам языка, к результату пользовательского -> компилятором еще раз автоматически применяется оператор ->.

То есть запись item->val по определению означает item.operator ->()->val. Все тут в порядке, ничего не нужно дополнительно разыменовывать.

@_stanislav · 14.05.2022, 22:13

Сообщение от TheCalligrapher

Потому что, согласно правилам языка

в каком разделе стандарта это сказано, я не нашел.

Добавлено через 1 минуту
нашел только это http://eel.is/c++draft/over.ref

Добавлено через 30 минут
нашел вроде:
http://eel.is/c++draft/over.ma... otnote-113

@den45 · 14.05.2022, 22:14 **[ТС]**

Вы ведь сами сказали, что так в стандарте сказано?

@_stanislav · 15.05.2022, 12:02

TheCalligrapher,den45, значит по сути в этом выражении item->val, -> на самом деле относится к самому последнему в цепочке скрытых вызовов перегруженных operator -> (если такие имеются).

Добавлено через 18 минут

If a user-defined operator-> is provided, the operator-> is called again on the value that it returns, recursively, until an operator-> is reached that returns a plain pointer. After that, built-in semantics are applied to that pointer.

@TheCalligrapher · 15.05.2022, 18:24

Сообщение от _stanislav

TheCalligrapher,den45, значит по сути в этом выражении item->val, -> на самом деле относится к самому последнему в цепочке скрытых вызовов перегруженных operator -> (если такие имеются).

Не совсем понимаю, что имеется в виду. А что, промежуточные -> разве не являются ->?

Применение перегруженного пользовательского -> разворачивается в цепочку вызовов operator ->() до тех пор, пока мы не наткнемся на встроенный ->, то есть до тех пор, пока кто-то в этой цепочке не вернет голый указатель. Вот этот встроенный -> и сработает как ->val.

@_stanislav "C with Classes" 1645 / 1402 / 523 Регистрация: 16.08.2014 Сообщений: 5,877 Записей в блоге: 1
	14.05.2022, 21:20	2
	Сообщение от den45 а в случае с -> этот шаг пропускается в стандарте так сказано 0

@TheCalligrapher Вездепух 11688 / 6367 / 1723 Регистрация: 18.10.2014 Сообщений: 16,050
	14.05.2022, 21:37	3
	Сообщение было отмечено Croessmah как решение Решение Сообщение от den45 Не понимаю, почему в этом примере не приходиться разыменовывать указатель ,возвращенный перегруженным оператором -> Потому что, согласно правилам языка, к результату пользовательского `->` компилятором еще раз автоматически применяется оператор `->`. То есть запись `item->val` по определению означает `item.operator ->()->val`. Все тут в порядке, ничего не нужно дополнительно разыменовывать. 1

@_stanislav "C with Classes" 1645 / 1402 / 523 Регистрация: 16.08.2014 Сообщений: 5,877 Записей в блоге: 1
	14.05.2022, 22:13	4
	Сообщение от TheCalligrapher Потому что, согласно правилам языка в каком разделе стандарта это сказано, я не нашел. Добавлено через 1 минуту нашел только это http://eel.is/c++draft/over.ref Добавлено через 30 минут нашел вроде: http://eel.is/c++draft/over.ma... otnote-113 1

@den45 0 / 0 / 0 Регистрация: 26.09.2018 Сообщений: 9
	14.05.2022, 22:14 [ТС]	5
	Вы ведь сами сказали, что так в стандарте сказано? 0

@_stanislav "C with Classes" 1645 / 1402 / 523 Регистрация: 16.08.2014 Сообщений: 5,877 Записей в блоге: 1
	15.05.2022, 12:02	6
	TheCalligrapher,den45, значит по сути в этом выражении `item->val`, `->` на самом деле относится к самому последнему в цепочке скрытых вызовов перегруженных `operator ->` (если такие имеются). Добавлено через 18 минут If a user-defined operator-> is provided, the operator-> is called again on the value that it returns, recursively, until an operator-> is reached that returns a plain pointer. After that, built-in semantics are applied to that pointer. 0

@TheCalligrapher Вездепух 11688 / 6367 / 1723 Регистрация: 18.10.2014 Сообщений: 16,050
	15.05.2022, 18:24	7
	Сообщение от _stanislav TheCalligrapher,den45, значит по сути в этом выражении `item->val`, `->` на самом деле относится к самому последнему в цепочке скрытых вызовов перегруженных `operator ->` (если такие имеются). Не совсем понимаю, что имеется в виду. А что, промежуточные `->` разве не являются `->`? Применение перегруженного пользовательского `->` разворачивается в цепочку вызовов `operator ->()` до тех пор, пока мы не наткнемся на встроенный `->`, то есть до тех пор, пока кто-то в этой цепочке не вернет голый указатель. Вот этот встроенный `->` и сработает как `->val`. 1

Опции темы

перегрузка оператора ->

Решение