Телеграмм чат группы ProCxx страница 16016

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.cxx

4082 membersпожаловаться на группу

2020 November 27

m

magras in pro.cxx

Нет, и правил алиасинга, именно что можно алиасить чаром всё что угодно, но не в обратную сторону. Здесь можно было бы поправить через использование memcpy, однако мы должны были бы копировать часть буфера, по размеру равную uint32_t

Вопрос можно поставить даже проще: как реализовать std::vector если нельзя скастить массив char в массив T?

источник

23:44пожаловаться #1

LA

Liber Azerate in pro.cxx

Вопрос можно поставить даже проще: как реализовать std::vector если нельзя скастить массив char в массив T?

Скастить-то можно, но не так
https://eel.is/c++draft/basic.lval#11

источник

23:45пожаловаться #2

m

magras in pro.cxx

Скастить-то можно, но не так
https://eel.is/c++draft/basic.lval#11

Так это проблема с лайфтамом, а не алиасингом.

источник

23:45пожаловаться #3

LA

Liber Azerate in pro.cxx

Так это проблема с лайфтамом, а не алиасингом.

Нет, здесь попытка прочитать значение через несоответствующий тип, нарушение strict aliasing. Чётко по пункту стандарта

источник

23:47пожаловаться #4

m

magras in pro.cxx

Нет, здесь попытка прочитать значение через несоответствующий тип, нарушение strict aliasing. Чётко по пункту стандарта

Окей, я сформулирую свою мысль по-другому. В этом примере нет UB:

char* buf = new char[sizeof(T)]; // assuming here that T has no overalignment
new(buf) T;
T* p = reinterpret_cast<T*>(buf); // я специально разделил placement new и каст
*p; // read or write T

источник

23:51пожаловаться #5

LA

Liber Azerate in pro.cxx

Окей, я сформулирую свою мысль по-другому. В этом примере нет UB:

char* buf = new char[sizeof(T)]; // assuming here that T has no overalignment
new(buf) T;
T* p = reinterpret_cast<T*>(buf); // я специально разделил placement new и каст
*p; // read or write T

В первой части, до каста, нет

источник

23:53пожаловаться #6

m

magras in pro.cxx

В первой части, до каста, нет

Почему после каста UB появляется?
После placement new по адресу buf уже есть объект с типом T.

источник

23:54пожаловаться #7

m

magras in pro.cxx

Окей, я сформулирую свою мысль по-другому. В этом примере нет UB:

char* buf = new char[sizeof(T)]; // assuming here that T has no overalignment
new(buf) T;
T* p = reinterpret_cast<T*>(buf); // я специально разделил placement new и каст
*p; // read or write T

Хотя я не прав и адрес возвращенный placement new может отличаться от reinterpret'а из-за особенностей new. Но это опять же не проблема алиасинга.

upd: Это касается только создания массивов. Так как placement new у меня создает объект, а не массив, здесь проблемы не должно быть.

источник

23:57пожаловаться #8

AT

Alexander Tulikov in pro.cxx

Окей, я сформулирую свою мысль по-другому. В этом примере нет UB:

char* buf = new char[sizeof(T)]; // assuming here that T has no overalignment
new(buf) T;
T* p = reinterpret_cast<T*>(buf); // я специально разделил placement new и каст
*p; // read or write T

Здесь нет UB, потому что есть динамический тип и с указателем на него ты работаешь, в исходном примере динамического типа нет.

источник

23:57пожаловаться #9

LA

Liber Azerate in pro.cxx

Alexander Tulikov

Здесь нет UB, потому что есть динамический тип и с указателем на него ты работаешь, в исходном примере динамического типа нет.

Да, пожалуй здесь я ошибся

источник

23:57пожаловаться #10

m

magras in pro.cxx

Alexander Tulikov

Здесь нет UB, потому что есть динамический тип и с указателем на него ты работаешь, в исходном примере динамического типа нет.

Да, но изначальный вопрос был только о алиасинге, а не UB в целом.

источник

23:58пожаловаться #11

D

Danya in pro.cxx

А где можно найти определение "динамического типа"?

источник

23:58пожаловаться #12

LA

Liber Azerate in pro.cxx

Да, но изначальный вопрос был только о алиасинге, а не UB в целом.

Нет UB из-за strict aliasing violation потому, что динамические типы совпадают*
А там есть

источник

23:59пожаловаться #13

2020 November 28

m

magras in pro.cxx

Нет UB из-за strict aliasing violation потому, что динамические типы совпадают*
А там есть

Ладно, предлагаю постановить что там есть UB по многим причинам:
1. aliasing
2. lifetime
3. alignment
(возможно я еще что-то забыл)

Я бы сказал, что нарушение lifetime было первично и если исправить его (как в моем примере) проблемы с алиасингом не будет. Но видимо это зависит от точки зрения.

источник

00:03пожаловаться #14

LA

Liber Azerate in pro.cxx

Ладно, предлагаю постановить что там есть UB по многим причинам:
1. aliasing
2. lifetime
3. alignment
(возможно я еще что-то забыл)

Я бы сказал, что нарушение lifetime было первично и если исправить его (как в моем примере) проблемы с алиасингом не будет. Но видимо это зависит от точки зрения.

Согласен. Впрочем, используя type punning мы могли бы обойти нарушение strict aliasing и без решения каких-либо проблем с lifetime. Точнее, у нас бы их попросту не было

источник

00:03пожаловаться #15

AP

Alexander Pshenichni... in pro.cxx

Всем спасибо за ответы.

источник

00:05пожаловаться #16

m

magras in pro.cxx

Согласен. Впрочем, используя type punning мы могли бы обойти нарушение strict aliasing и без решения каких-либо проблем с lifetime. Точнее, у нас бы их попросту не было

Это ведь про нововведение 20го стандарта? Там был список функций, которые такое делают: malloc, memcpy и прочие, но я не уверен, что оно неявно создает типы в обычных массивах на стеке. Пойду поищу пропозал.

источник

00:16пожаловаться #17

LA

Liber Azerate in pro.cxx

А где можно найти определение "динамического типа"?

http://eel.is/c++draft/defns.dynamic.type

источник

00:16пожаловаться #18

LA

Liber Azerate in pro.cxx

Это ведь про нововведение 20го стандарта? Там был список функций, которые такое делают: malloc, memcpy и прочие, но я не уверен, что оно неявно создает типы в обычных массивах на стеке. Пойду поищу пропозал.

Вообще, в C++20 добавился bit_cast, насчёт memcpy, как мне кажется, это было и до 20-го стандарта

источник

00:18пожаловаться #19

m

magras in pro.cxx

Это ведь про нововведение 20го стандарта? Там был список функций, которые такое делают: malloc, memcpy и прочие, но я не уверен, что оно неявно создает типы в обычных массивах на стеке. Пойду поищу пропозал.

> We propose that at minimum the following operations be specified as implicitly creating objects:
> * Creation of an array of char, unsigned char, or std::byte implicitly creates objects within that array.

Таки должно работать с обычными массивами. Если что это из [P0593R6].

источник

00:20пожаловаться #20