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

А можно сформулировать вопрос или тезис для тех, кто не

уловил нить обсуждения?

11 ответов

21 просмотр

Я утверждаю что этот код содержит ub до 20 стандарта, если начать работать с объектами not isComplex так как их время жизни не начиналось и как следствие произойдет нарушение правил алиасинга.

magras
Я утверждаю что этот код содержит ub до 20 стандар...

Если нужно больше контекста - это код вектора из qt. Используется для инциализации элементов например при resize. Там есть еще связанный код, но думаю что можно ограничится обсуждением этого.

Vlad- Автор вопроса
magras
Я утверждаю что этот код содержит ub до 20 стандар...

а какие аргументы против? http://eel.is/c++draft/cstring.syn#3.sentence-2 — memset тут нет http://eel.is/c++draft/basic.life#4.sentence-1

Vlad- Автор вопроса
magras
Я утверждаю что этот код содержит ub до 20 стандар...

так он и после 20 остается UB объектов-то нет

Vlad
так он и после 20 остается UB объектов-то нет

20ый стандарт там может спасти, например, если аллокатор выделяет память через malloc, что неявно создаст объекты. Но да, этого нет в кусочке кода выше.

Vlad- Автор вопроса
magras
20ый стандарт там может спасти, например, если алл...

вызов которого где-то за пределами кода, на который вы сослались?

Vlad- Автор вопроса
magras
20ый стандарт там может спасти, например, если алл...

если все типы, для которых справедливо !isComplex == true, входят в множество implicit-lifetime типов, то соглашусь, что поведение DefaultConstruct определено в 20

Vlad- Автор вопроса
Vlad
если все типы, для которых справедливо !isComplex ...

при условии, что память выделяется функцией, которая implicitly create objects

Vlad
если все типы, для которых справедливо !isComplex ...

Все же это зависит от реализации аллокатора. Я не разбираюсь в qt, но полагаю что пользователь может менять аллокатор и это значит что корректость кода в 20 стандарте будет зависеть от переданного аллокатора.

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

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта