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

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

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
#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.

Новые блоги и статьи Все статьи Все блоги /
Вывод данных через динамический список в справочнике Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .	Функция заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .	Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .
Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .	Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .	Functional First Web Framework Suave DevAlt 30.03.2026 Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .

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

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,885 Записей в блоге: 1
	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. 0

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

Решение