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

@Евгений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 будет при доступе, а не при сложении.

Новые блоги и статьи Все статьи Все блоги /
Транслитерация текста с кириллицы на латиницу (вариант №3) Maks 15.11.2026 Обновленная версия предыдущей обработки. Изменения коснулись букв: Ъ, Ы, Ь, Э, отображения которых зависят от положения реквизита "Транслитерация имён". Изменено отображение буквы Й. Добавлена. . .	Транслитерация текста с кириллицы на латиницу (вариант №2) Maks 13.11.2026 Обновленная версия ранее созданной обработки. Добавлено: - Проверка исходного текста на кириллицу, через обращение к стандартной функции "ТолькоКириллицаВСтроке" из общего модуля. . .	Часы с термометром и праздничным календарем yariko 12.11.2026 Сегодня мы рассмотрим как можно сделать отличные многофункциональные часы. Итак, поставим конкретную задачу: разработать часы с календарем, двумя термодатчиками, выводом поздравительных сообщений. . .	Транслитерация текста с кириллицы на латиницу (вариант №1) Maks 11.11.2026 Решил облегчить жизнь себе и коллегам админам при создании электронных почтовых ящиков для пользователей, в результате написал обработку "Транслитерация текста" с кириллицы на латиницу, а в ней. . .
Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .	Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .

@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