DP
в restrict вроде если нет модификации то можно алиасинг через разные указатели
Size: a a a
2020 October 30
DP
т.е. не понятно чем только чтение мешает то
CD
Ну смотри, например буфер это указатель и в каком-то виде capacity + size например. Я для начала использую тот факт что буфер как структура через указатель не алиасится сам с собой.
Там
vector<char> buffer(200);
vector<char> * buffer2 = new (buffer.data()) vector<char>();
buffer2->swap(buffer);
CD
buffer2 совпадает с buffer2->data()
CD
@antoshkka
http://josuttis.com/download/std/D2012R0_fix_rangebasedfor_201029.pdf
что думаешь о таком замечательном предложение?
я где-то подобное уже видел просто
http://josuttis.com/download/std/D2012R0_fix_rangebasedfor_201029.pdf
что думаешь о таком замечательном предложение?
я где-то подобное уже видел просто
я думаю, что ошибка не в range based for, а в возврате const& из std::vector<std::string>&&
CD
этот код должен не скомпилироваться
DS
buffer2 совпадает с buffer2->data()
Но это ж не значит что в vector<byte> надо добавлять проверку на возможный aliasing с самим собой, так?
CD
Но это ж не значит что в vector<byte> надо добавлять проверку на возможный aliasing с самим собой, так?
Только потому, что он физически не может релоцировать сам себя
AP
@antoshkka
http://josuttis.com/download/std/D2012R0_fix_rangebasedfor_201029.pdf
что думаешь о таком замечательном предложение?
я где-то подобное уже видел просто
http://josuttis.com/download/std/D2012R0_fix_rangebasedfor_201029.pdf
что думаешь о таком замечательном предложение?
я где-то подобное уже видел просто
Я своё предложение не закидывал, т.к. есть проблемы:
1) return из тела цикла начинает неправильно работать
2) корутины в теле цикла ломаются
Надо автору написать, пусть решает сам проблемы
1) return из тела цикла начинает неправильно работать
2) корутины в теле цикла ломаются
Надо автору написать, пусть решает сам проблемы
AP
А, ну он сам пишет "With some special remarks such as what happens when using a return statement inside the lambda"
NP
ага там ещё про
__func__ надо не забытьDS
Проверь
А вот надо бы проверить кстати, в C11 это любой character type. Я думаю в c++ на самом деле тоже так.
VS
А вот надо бы проверить кстати, в C11 это любой character type. Я думаю в c++ на самом деле тоже так.
http://eel.is/c++draft/basic.lval#11.3
вас этот пункт интересует, наверное
вас этот пункт интересует, наверное
АР
можно было бы написать что лайфтайм выражения в range-based-for по принципу работы аналогичен такому у аргументов функций
АР
типа промежуточные объекты живут пока цикл не грохнется
DS
http://eel.is/c++draft/basic.lval#11.3
вас этот пункт интересует, наверное
вас этот пункт интересует, наверное
Я про то как оно на практике, насколько помню signed char тоже aliased.
АР
в простейшем виде это вообще был бы
[&](auto &&expr) {
auto g = begin(expr);
auto e = end(expr);
for (auto it = b; it != e; ++it) {
auto& var = *it;
....
}
}();АР
только это добавит стекфрейм
V
в простейшем виде это вообще был бы
[&](auto &&expr) {
auto g = begin(expr);
auto e = end(expr);
for (auto it = b; it != e; ++it) {
auto& var = *it;
....
}
}();begin можно по rvalue ещё
АР
ну да, там using std::begin, std::end еще и всякое такое