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

parrot.ru

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

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

pro.cxx

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

2020 November 28

p

paperbot_cpp in pro.cxx

> 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].

P0593R0: What to do with buffers that are not arrays, and undefined behavior thereof? (by Ville Voutilainen) (2017-02-05) (Related: GitHub issue)

P0593R1: Implicit creation of objects for low-level object manipulation (by Richard Smith, Ville Voutilainen) (2017-10-16) (Related: GitHub issue)

P0593R2: Implicit creation of objects for low-level object manipulation (by Richard Smith) (2018-02-11) (Related: GitHub issue)

P0593R3: Implicit creation of objects for low-level object manipulation (by Richard Smith) (2019-01-18) (Related: GitHub issue)

P0593R4: Implicit creation of objects for low-level object manipulation (by Richard Smith) (2019-06-17) (Related: GitHub issue)

P0593R5: Implicit creation of objects for low-level object manipulation (by Richard Smith) (2019-10-07) (Related: GitHub issue)

P0593R6: Implicit creation of objects for low-level object manipulation (by Richard Smith, Ville Voutilainen) (2020-02-14) (Related: GitHub issue)

P0593 Implicit creation of objects for low-level object manipulation · Issue #106 · cplusplus/papers

P0593R3 Implicit creation of objects for low-level object manipulation (Richard Smith)

источник

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

m

magras in pro.cxx

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

Не думаю. С memcpy трюк заключался в том, чтобы скопировать данные в уже существующий объект нужного типа. По-моему на cppref в статье про bit_cast была реализация для старых стандартов использующая этот прием.

источник

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

LA

Liber Azerate in pro.cxx

Не думаю. С memcpy трюк заключался в том, чтобы скопировать данные в уже существующий объект нужного типа. По-моему на cppref в статье про bit_cast была реализация для старых стандартов использующая этот прием.

Ну да, объект должен был уже существовать. Вероятно, в том примере в любом случае необходимо было решить проблему с lifetime, так или иначе

источник

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

АР

Андрей Руссков... 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

кажется в с++20 это и поправили

источник

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

NI

Nikita Ivanov in pro.cxx

std::memory

источник

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

АР

Андрей Руссков... 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

кстати можно же делать
void* ptr = operator new(16, std::align_val_t(16));

источник

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

m

magras in pro.cxx

Андрей Руссков

кстати можно же делать
void* ptr = operator new(16, std::align_val_t(16));

Мне лень было искать точный синтаксис, чтобы задать правильное выравнивание, поэтому я использовал то что new char[] имеет максимальное "обычное" выравнивание и добавил комментарий про overalignment. =)

источник

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

АР

Андрей Руссков... in pro.cxx

ну в проде не прокатит )

источник

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

m

magras in pro.cxx

А если комментарий капсом?)

источник

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

P

Pepe 🐸 in pro.cxx

Мне лень было искать точный синтаксис, чтобы задать правильное выравнивание, поэтому я использовал то что new char[] имеет максимальное "обычное" выравнивание и добавил комментарий про overalignment. =)

разве через new если ааллцировать то у чар будет макс выравнивание? Я думал только через malloc

источник

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

P

Pepe 🐸 in pro.cxx

а new выровняет по наименее строгому выравниванию вроде для T

источник

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

АР

Андрей Руссков... in pro.cxx

правда лучше наверно юзать aligned_alloc чем странную перегрузку operator new, только не забыть что там сначала alignment а потом size указывается

источник

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

P

Pepe 🐸 in pro.cxx

я имел ввиду в изначальном примере юзался дефолтный нью

источник

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

m

magras in pro.cxx

а new выровняет по наименее строгому выравниванию вроде для T

Как всегда для char и компании исключение: https://eel.is/c++draft/expr.new#15

источник

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

АР

Андрей Руссков... in pro.cxx

а new выровняет по наименее строгому выравниванию вроде для T

ну стандарт не гарантирует что alignof(char) будет больше 1, это обычно уже реализации аллокаторов

источник

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

АР

Андрей Руссков... in pro.cxx

Как всегда для char и компании исключение: https://eel.is/c++draft/expr.new#15

мда. strictest fundamental align requirement это размер intptr_t?

источник

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

m

magras in pro.cxx

Андрей Руссков

мда. strictest fundamental align requirement это размер intptr_t?

На это я затрудняюсь ответить, но не думаю что оно прямо привязано к размеру указателя.

источник

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

АР

Андрей Руссков... in pro.cxx

наверно strictest fundamental align requirement это alignof(biggest fundamental type)

источник

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

m

magras in pro.cxx

Андрей Руссков

наверно strictest fundamental align requirement это alignof(biggest fundamental type)

На разные типы могут быть разные выравнивания. Может быть на любое целое достаточно 4 байт, а плавающая точка потребует полного выравнивания. Тогда при наличии int128_t и 64 битном long double выравнивание будет 8 байт. Поэтому без закапывания в гугл и текст стандарта сложно угадать формулировку.

источник

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

АР

Андрей Руссков... in pro.cxx

типичная проблема стандарта с++ - его невозможно знать

источник

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