CD
как и enum class mybyte : unsigned char {};
Size: a a a
2020 October 30
DS
список: char, unsigned char, std::byte
Да достаточно просто объявить свой enum byte. Но это в любом случае UB. Непонятно как написать в c++ например что-то типа posix read/write для работы с сырыми буферами чтобы без UB.
CD
Да достаточно просто объявить свой enum byte. Но это в любом случае UB. Непонятно как написать в c++ например что-то типа posix read/write для работы с сырыми буферами чтобы без UB.
Ну так сырой буфер aliased же
CD
signed char просто всегда есть с древних времен :)
CD
То есть либо буфер может хранить объекты / просматривать объекты и он aliased, либо не может и он unaliased, какие варианты тут
DS
Ну так сырой буфер aliased же
Ну тут такое... Допустим на входе я беру void*. Чтобы без UB читать его надо через std::byte. Но если я знаю что он ну никак не должен алиаситься с окружением, то чего бы мне не почитать его через unaliased byte.
CD
Ну тут такое... Допустим на входе я беру void*. Чтобы без UB читать его надо через std::byte. Но если я знаю что он ну никак не должен алиаситься с окружением, то чего бы мне не почитать его через unaliased byte.
Ну то есть невозможность эмулировать restrict в aliased типах правда есть
CD
Не хватает какого-то std::restricted_byte
CD
Но не очень понятно, как его формализовать - restrict относительно доступного через this и аргументов текущей функции?
DS
Не хватает какого-то std::restricted_byte
Не. В целом то это таки UB. Но есть частные случаи...
CD
Ну тут такое... Допустим на входе я беру void*. Чтобы без UB читать его надо через std::byte. Но если я знаю что он ну никак не должен алиаситься с окружением, то чего бы мне не почитать его через unaliased byte.
То есть как вот тут формализовать окружение?
CD
Тебе надо, чтобы свойства про алиасинг с окружением не могло утечь из тела функции
DS
То есть как вот тут формализовать окружение?
А никак. Т.е. понятно что если я читаю этот буфер через unaliased*, оно выльется в ошибку если в процессе чтения модифицируется что-то, что может алиаситься с буфером
CD
А никак. Т.е. понятно что если я читаю этот буфер через unaliased*, оно выльется в ошибку если в процессе чтения модифицируется что-то, что может алиаситься с буфером
Так нет. Чтение через unaliased* означает, что отсутствие алиасинга было предусловием функции, то есть может быть вынесено наружу функции. Как пример
bool f(int * x) { //x позволяет читать int
return *x == 0; //предусловие этого
}
bool g(int * x) {
bool result = f(x);
if (x == nullptr) //проверка может быть убрана - предусловие функции выше гарантирует, что это не nullptr
return false;
return result;
}CD
Формально связанные с UB свойства "текут наружу", становясь элементами контракта вызова, который может быть перенесен на вызывающего
CD
Чтение по unaliased означает, что вот эта область памяти занята unaliased_byte не только в контексте операций функции, но и в контексте вызывающего, который ты не можешь знать
CD
Надо почитать, как определяется restrict в С, но я полагаю, что он определен как restrict между всеми помеченными как restrict аргументами функции или типа того
CD
Ты меня понимаешь? :)
DS
Если это какая-то generic функция, то отсутствие алиасинга чего и с чем? На самом деле чтение это еще может не самая проблема, а вот запись...
CD
Если это какая-то generic функция, то отсутствие алиасинга чего и с чем? На самом деле чтение это еще может не самая проблема, а вот запись...
Я все еще не очень понимаю, какой эффект ты хочешь добиться в этом плане