Перегрузка оператора приведения типа

@Евгений323 · Регистрация: 11.11.2018

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

Здравствуйте, мне нужно преобразовать сущность к одномерному массиву int*() и я не понимаю как это реализовать. Если я выделяю динамическую память, то будет утечка, потому-что я её потом не очищу.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
class Koefs
{
private:
    int first;
    int seconds;
public:
    Koefs(int x, int y)
    {
        first = x;
        seconds = y;
    }
    operator int* ();
};

@TRam_ · 24.04.2019, 15:54

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

А вот про оператор присваивания придется забыть.

Почему? Переопределить копирование массива для случая присваивания не самому себе и всё.

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

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

Не кажется тебе, что как-то слишком много сложностей это добавляет?

Случай с геттером - да, он более красив. Но требует добавления скобок для вызовов каждого из полей.

Добавлено через 2 минуты
И конечно же геттеры нужно вынести в public, иначе зачем они нужны такому классу. Как и поля у меня в коде.

@DrOffset · 24.04.2019, 15:57

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

И конечно же геттеры нужно вынести в public, иначе зачем они нужны такому классу.

Ну у тебя же ссылки тоже в привате.

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

Переопределить копирование массива для случая присваивания не самому себе и всё.

Да, это пойдет.

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

Но требует добавления скобок для вызовов каждого из полей.

Разве это проблема?

@Undisputed · 24.04.2019, 16:22

rat0r,
Прочитал, но не получилось выявить UB.
Был бы рад если бы ты объяснил...)

TRam_,
А зачем тогда вообще нужны такие операторы?

К тому же, где там разные типы?

По сути оператор просто возвращает указатель на int (как если бы получили его через геттер)...
А квадратные скобки просто "достают" значение с этого адреса
В классе же это поле типа int, так ведь? Вот его мы и используем...

единственное что смущает в том коде это то что адрес first используется как массив в то время как first им не является.
А с наличием проверки на паддинг разобрался (просто в мейн не посмотрел перед отправкой сообщения)

Croessmah · 24.04.2019, 16:25

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

Был бы рад если бы ты объяснил

k[1] => *(k + 1)
Поведение оператора + определено для указателей на элементы одного массива.

@rat0r · 24.04.2019, 16:32

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

Поведение оператора + определено для указателей на элементы одного массива.

UB не из-за самого +, а из-за доступа к *(k + 1).

Zero-cost геттеры. Требуют поддержки [[no_unique_address]] и offsetof для non-standard layout типов. Ну и выполнения static_assert-ов.

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
#include <iostream>
#include <cstddef>
 
class Koefs
{
    int arr[2];
public:
    Koefs(int x, int y) : arr{ x, y }
    {
        static_assert(offsetof(Koefs, first) == 0);
        static_assert(offsetof(Koefs, second) == 0);
    }
    
    [[no_unique_address]] struct {
        operator int&() { return reinterpret_cast<Koefs*>(this)->arr[0]; }
    } first;
    [[no_unique_address]] struct {
        operator int&() { return reinterpret_cast<Koefs*>(this)->arr[1]; }
    } second;
};
 
int main()
{
    Koefs k(1, 2);
    return k.first + k.second;
}

@Undisputed · 24.04.2019, 16:44

Croessmah,
Так в коде же нет явного использования оператора +
Полагаю по этой причине все должно быть нормально (но это лишь мои догадки)

Но вот first не массив, поэтому возможно думаю UB, т.к мы выходим за его рамки, где теоретически могут быть всякие данные. Хотя наверное работать будет нормально, ввиду того что данные обьекта находятся в памяти смежно

Добавлено через 4 минуты
rat0r,
Теперь походу понял где стандарт намекает на UB

If during the evaluation of an expression, the result is not mathematically defined or not in the range of representable values for its type, the behavior is undefined.

Там выход за пределы range first-а

@rat0r · 24.04.2019, 16:47

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

Теперь походу понял

Нет.

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

If during the evaluation of an expression, the result is not mathematically defined or not in the range of representable values for its type, the behavior is undefined.

Это про переполнение целых и т.п.

@Undisputed · 24.04.2019, 17:02

rat0r,
Не знаю, я открыл [expr]/4 а там это...
Буду рад если кто нибудь разложит по полочкам

@rat0r · 24.04.2019, 17:15

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

Вследствие [expr.add]/4

...

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

я открыл [expr]/4

@Azazel-San · 24.04.2019, 17:38

Undisputed,
На мое скромное мнение, там идется что-то типо о том что,
y нас есть память. Это типо огромный массив байтов.
Компилятор определяет, какие переменные нашей программы где в этом массиве расположены.
Если мы перемещаемся с помощью +/- внутри одного массива, то это гарантированно сработает.
Если нет - то в общем случае компилятор может решить что-то куда-то переставить, и + вытащит нас в неизвестно что. Поэтому UB.
Например, если компилятор выровняет 4-байтные int-ы в структурах по пределах 8 байтов, поскольку архитектура так быстрее с ними работает, но оставит массивы как есть.
Тогда k + 1 покажет на "пустые" 4 байта, не задействованные в программе.
Но не в х86? =.=

@Undisputed · 24.04.2019, 17:41

rat0r,
Моя невнимательность
Спасибо

@Azazel-San · 24.04.2019, 17:41

rat0r, далеко от истины?

Croessmah · 25.04.2019, 08:46

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

UB не из-за самого +, а из-за доступа к *(k + 1)

Да, согласен, при +1 UB будет при доступе, а не при сложении.

Новые блоги и статьи Все статьи Все блоги /
Программный контроль заполнения реквизита табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать контроль заполнения реквизита "ПричинаСписания". . .	wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/	Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .	Вывод данных в справочнике через динамический список 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 В прикрепленном документе раздумья о том, как можно поменять модель в будущем

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	24.04.2019, 16:22
	rat0r, Прочитал, но не получилось выявить UB. Был бы рад если бы ты объяснил...) TRam_, А зачем тогда вообще нужны такие операторы? К тому же, где там разные типы? По сути оператор просто возвращает указатель на int (как если бы получили его через геттер)... А квадратные скобки просто "достают" значение с этого адреса В классе же это поле типа int, так ведь? Вот его мы и используем... единственное что смущает в том коде это то что адрес first используется как массив в то время как first им не является. А с наличием проверки на паддинг разобрался (просто в мейн не посмотрел перед отправкой сообщения) 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	24.04.2019, 17:02
	rat0r, Не знаю, я открыл [expr]/4 а там это... Буду рад если кто нибудь разложит по полочкам 0

@Azazel-San Mental handicap 1246 / 624 / 171 Регистрация: 24.11.2015 Сообщений: 2,429
	24.04.2019, 17:38
	Undisputed, На мое скромное мнение, там идется что-то типо о том что, y нас есть память. Это типо огромный массив байтов. Компилятор определяет, какие переменные нашей программы где в этом массиве расположены. Если мы перемещаемся с помощью +/- внутри одного массива, то это гарантированно сработает. Если нет - то в общем случае компилятор может решить что-то куда-то переставить, и + вытащит нас в неизвестно что. Поэтому UB. Например, если компилятор выровняет 4-байтные int-ы в структурах по пределах 8 байтов, поскольку архитектура так быстрее с ними работает, но оставит массивы как есть. Тогда k + 1 покажет на "пустые" 4 байта, не задействованные в программе. Но не в х86? =.= 1

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	24.04.2019, 17:41
	rat0r, Моя невнимательность Спасибо 0

@Azazel-San Mental handicap 1246 / 624 / 171 Регистрация: 24.11.2015 Сообщений: 2,429
	24.04.2019, 17:41
	rat0r, далеко от истины? 0