По стандарту у двух любых объектов должны быть различные адреса.

Question

По стандарту у двух любых объектов должны быть различные адреса.

А что плохого в пустом объекте размера 0 байт? Предположим, у него в конструкторе/деструкторе есть какая-то логика. Слышал, что это сломает delete[]. При delete[] надо будет проитерироваться по объектам и вызвать у всех деструкторы. Почему компилятор не может заифать такой кейс и сделать ту же операцию, но не сдвигая указатель на объект?
Есть более страшные вещи, которые такой подход сломает?

#c #embedded #programming #russian

0

10.07.2022

12 ответов

22 просмотра

netricks

Мало полезный кейс, требующий специальных исключений из общих правил. Волевым усилием Страуструп повелел, что овчинка выделки не стоит. Это не значит, что нельзя было иначе, но воля создателя - закон.

0

10.07.2022

Sergey Kaniskin

netricks
Мало полезный кейс, требующий специальных исключен...

Так в C++20 типа разрешили

0

10.07.2022

netricks

Sergey Kaniskin
Так в C++20 типа разрешили

Хм... Это когда это?

0

10.07.2022

Sergey Kaniskin

netricks
Хм... Это когда это?

[[no_unique_address]]

0

10.07.2022

Sergey Kaniskin

Может просто так было проще делать оптимизации, связанные со strict aliasing

0

10.07.2022

Егор (Дима)

А какие плюсы у этой оптимизации? Экономия байта на стеке? Или чисто гипотетический разговор

0

10.07.2022

Vanya Khodor Автор вопроса

Егор (Дима)
А какие плюсы у этой оптимизации? Экономия байта н...

Ага. Могли бы время от времени что-то сэкономить.

0

10.07.2022

Sergey Kaniskin

Vanya Khodor
Ага. Могли бы время от времени что-то сэкономить.

Ну теперь видимо есть [[no_unique_address]] для мест, где можно сэкономить

0

10.07.2022

Sergey Skvortsov

Егор (Дима)
А какие плюсы у этой оптимизации? Экономия байта н...

Ну в теории это полезно в библиотечном коде, compressed pair на каждый чих писать больно

0

10.07.2022

Sergey Skvortsov

Sergey Kaniskin
Ну теперь видимо есть [[no_unique_address]] для ме...

Тут проблема как обычно, это opt in, куча мест будут без оптимизации

0

10.07.2022

Ilya Zviagin

Объекты должны обладать уникальным идентификатором, чтобы как-то мы могли понять, имея два объекта, разные это объекты или две ссылки на один и тот же объект. В С и С++ таким идентификатором служит адрес объекта в памяти (и это не уникальное для языка свойство) Если у объекта какого-то класса вдруг будет размер ноль, то идентифицируемость теряется. Имел поэтому размер никогда не ноль.

0

11.07.2022

Егор (Дима) · Accepted Answer

Егор (Дима)

Empty array[42]; array[0] = 42; array[41] = 24; что с этим делать

0

10.07.2022

170 похожих чатов

По стандарту у двух любых объектов должны быть различные адреса.

12 ответов

Похожие вопросы