K
Кстати, в последнем то тоже наверняка нету C++20
Size: a a a
2020 October 20
K
по правилам strict aliasing'а компилятор может доказать что 2 указателя указывают на разные объект и оптимизировать
Сейчас почитаю про это, что-то новое
VD
по правилам strict aliasing'а компилятор может доказать что 2 указателя указывают на разные объект и оптимизировать
Кастить в uint8_t* и обратно можно для trivially_copyable типов
VD
Иначе бы каждый memcpy был бы УБ
AT
Кстати, в последнем то тоже наверняка нету C++20
О полной реализации я тоже не слышал. Какой clang идёт с qt creator для анализа - я не знаю
K
О полной реализации я тоже не слышал. Какой clang идёт с qt creator для анализа - я не знаю
Восьмой
d
всегда делаю каст в unsigned char - никогда UB не возникало
в основном определяют по типам указателей, но есть исключение для char типов (все три вида), std::byte и void, если встретится указатель на char и любой другой, компилятор может предполагать что указатели могут указывать на одно и тоже и не оптимизировать, если же указатель на char заменить указателем на char8_t то компилятор будет вправе считать что указатели всегда указывают на разные объекты
d
Кастить в uint8_t* и обратно можно для trivially_copyable типов
не uint8_t, а char
d
как я понял uint8_t не обязан иметь char под капотом
K
в основном определяют по типам указателей, но есть исключение для char типов (все три вида), std::byte и void, если встретится указатель на char и любой другой, компилятор может предполагать что указатели могут указывать на одно и тоже и не оптимизировать, если же указатель на char заменить указателем на char8_t то компилятор будет вправе считать что указатели всегда указывают на разные объекты
А в чём будет заключаться оптимизация?
d
А в чём будет заключаться оптимизация?
ну например, после каждого изменения значения по одному указателю компилятору не нужно будет перечитывать значение по другому указателю
K
ну например, после каждого изменения значения по одному указателю компилятору не нужно будет перечитывать значение по другому указателю
Ну и пусть оптимизирует, почему это UB?
K
Или я что то не так понял...
d
Ну и пусть оптимизирует, почему это UB?
в некоторых случаях оптимизация совершенно не то чего ты хочешь
K
в некоторых случаях оптимизация совершенно не то чего ты хочешь
Если два разных указателя действительно указывают на одну память - то это ведь не должно приводить к UB
d
Если два разных указателя действительно указывают на одну память - то это ведь не должно приводить к UB
если они указывают на одну и туже память, но имеют разные типы это и есть нарушение алиасинга и является UB
d
исключение если у тебя union
K
если они указывают на одну и туже память, но имеют разные типы это и есть нарушение алиасинга и является UB
Имеешь ввиду, что если есть два указателя, грубо говоря char и int16_t, то компилятор может оптимизировать их так, что после обновления char он обновит только первый байт int16_t? Что-то я вообще запутался
K
Кажется фигню написал
d
Имеешь ввиду, что если есть два указателя, грубо говоря char и int16_t, то компилятор может оптимизировать их так, что после обновления char он обновит только первый байт int16_t? Что-то я вообще запутался
тут связано с кешированием значений в регистрах