caxapa.ru :: А где задокументировано, как они решены и реализованы? Если нигде, то что тогда стандартизировать? Я что-то не уверен, что всё прямо так решено: в начале топика я давал ссылку -- смотри, оно упакованный тип от неупакованного в упор не отличает. Легко это превратить в баг. И присваивание указателей, значит, проканает без ошибок.

fk0, легенда (26.07.2020 22:19, просмотров: 655) ответил LightElf на Все эти спорные моменты уже давно решены и реализованы. Так или иначе. Почему бы просто не стандартизовать ежу существующее поведение?

А где задокументировано, как они решены и реализованы? Если нигде, то что тогда стандартизировать? Я что-то не уверен, что всё прямо так решено: в начале топика я давал ссылку -- смотри, оно упакованный тип от неупакованного в упор не отличает. Легко это превратить в баг. И присваивание указателей, значит, проканает без ошибок.

Ранее данная ссылка:

https://coliru.stacked-crooked.com/a/b6aa333662a427bf

Вон пожалуйста, запросто баг и варнинга нет:

https://godbolt.org/z/7TEdvn

Обращаю внимание -- уже gcc, не clang, и не keil. А случай с memcpy gcc без ошибок отрабатывал. Там заткнули -- здесь вылезло. Потому, что проблема -- фундаментальная, она не в memcpy.

[ZX]

Ответить

- ну смотри, проблема такая (паддинг, упакованные типы) существует? существует. другие проблемы связанные с физической реализацией работы с конкретными типами существуют? существуют. (переполнения там, арифметика с насыщением). так почему бы хоть какое-то общее множество не внести в стандарт? слишком уж далеко виртуальная абстрактная машина стала абстрагироваться от существующей физической реализации АЛУ в процессорах. - Mahagam(29.07.2020 15:28)
  - Потому, что весь топик об этом. Чтоб внести в стандарт упакованные структуры -- нужно вообще ввести новые типы данных не совместимые с существующими (с чего баг начался). - fk0(29.07.2020 17:41)
    - а может хватило бы модификатора? по типу volatile. который не меняет тип, но меняет работу с ним. Mahagam(130 знак., 30.07.2020 01:15)

Микроконтроллеры