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

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

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

11 ответов

7 просмотров

Я утверждаю что этот код содержит 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 стандарте будет зависеть от переданного аллокатора.

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

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

А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Где в Астане можно купить мясо для шашлыков?
Dancing Іңұқәһүғө
19
Добрый день подскажите пожалуйста может кто то сталкивался с ошибками Sentry 22.10.0 развернутым из helm чарт в Kubernetes? Изначально 3 дня назад очень стало много событий ух...
Tire4 Finist Devops
1
;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, стандартный ;вызов процедуры ;option casemap:no...
Егор Анелькин
1
почому оно не работает?
Vi Chapmann Chapmann
19
всем привет почти закончил курс После него можно писать свою операционку? Какие библиотеки надо использовать и куда дальше копать для изучения
Linus
19
Так а кто может спарсить всех участников чата? Идишники
Magic
18
Карта сайта