CD
Если ты хочешь научиться оперировать напрямую бинарным представлением объектов (как в бинарной сериализации) у тебя нет выбора - ты просто явно должен использовать aliased тип
Size: a a a
2020 October 30
DS
Я все еще не очень понимаю, какой эффект ты хочешь добиться в этом плане
Ну вот например read, хочу читать в mutable span. Не объекты, просто строку например. И хочу не шаблонную функцию.
DS
read(void* dst, size_t capacity)
CD
read(void* dst, size_t capacity)
ты обязан тут использовать aliased тип, если dst может использовать как хранилище некоторого типа
CD
твои чтения/записи этого буфера не означают утверждений о типе объекта в области памяти - считай это суть aliased типа
DS
твои чтения/записи этого буфера не означают утверждений о типе объекта в области памяти - считай это суть aliased типа
Ну и вот это проблема. Мне для записи нужно будет сделать cast void* => std::byte*
CD
Ну и вот это проблема. Мне для записи нужно будет сделать cast void* => std::byte*
Да, именно
CD
То, что некоторые чтения и записи не могут взаимодействовать - это следствие того, что два объекта кроме исключений не могут находиться в одной области памяти, это restrict, который следствие aliasing
CD
Но это разные вещи, одно из другого следует
DS
Но это разные вещи, одно из другого следует
Есть внутри библиотеки какие то потроха, которые в процессе записи как-то используются. Если пишем в aliased* и компилятор не может доказать, что эти переменные не могут алиаситься с буфером записи, это приводит к неоптимальному коду.
CD
Есть внутри библиотеки какие то потроха, которые в процессе записи как-то используются. Если пишем в aliased* и компилятор не может доказать, что эти переменные не могут алиаситься с буфером записи, это приводит к неоптимальному коду.
Именно так, но проблема не в использовании aliased типа, а в том, что любой aliased тип является unrestricted
DS
Именно так, но проблема не в использовании aliased типа, а в том, что любой aliased тип является unrestricted
Но можно пойти на UB и писать через unaliased*.
CD
Есть внутри библиотеки какие то потроха, которые в процессе записи как-то используются. Если пишем в aliased* и компилятор не может доказать, что эти переменные не могут алиаситься с буфером записи, это приводит к неоптимальному коду.
То есть сам по себе aliasing надо воспринимать так: как только unaliased тип читается/пишется, его тип физически прожигается в памяти
CD
Очевидно, что ты не имел в виду в своей read такого прожигания, и отсутствие взаимодействий следствие чего-то другого
CD
Но можно пойти на UB и писать через unaliased*.
И это жесточайший костыль, потому что ты используешь тот факт, что компилятор не прожигал оперативку физически :)
DS
И это жесточайший костыль, потому что ты используешь тот факт, что компилятор не прожигал оперативку физически :)
Ну смотри, например буфер это указатель и в каком-то виде capacity + size например. Я для начала использую тот факт что буфер как структура через указатель не алиасится сам с собой.
DP
То есть сам по себе aliasing надо воспринимать так: как только unaliased тип читается/пишется, его тип физически прожигается в памяти
даже только для чтения?
CD
даже только для чтения?
да, reinterpret_cast запрещает читать
RR
@antoshkka
http://josuttis.com/download/std/D2012R0_fix_rangebasedfor_201029.pdf
что думаешь о таком замечательном предложение?
я где-то подобное уже видел просто
http://josuttis.com/download/std/D2012R0_fix_rangebasedfor_201029.pdf
что думаешь о таком замечательном предложение?
я где-то подобное уже видел просто
Красиво
CD
Ну смотри, например буфер это указатель и в каком-то виде capacity + size например. Я для начала использую тот факт что буфер как структура через указатель не алиасится сам с собой.
Но это же неверное утверждение - видел, как vector<char> кладется сам в себя?