AF
Size: a a a
2020 September 28
m
Да, кажется, теперь понял о чем речь шла.
Без false корутина не засаспендится.
bool await_ready() {return false;}Без false корутина не засаспендится.
V
P
P
использование знаковых чисел там, где логически можно обойтись беззнаковыми, не zero-cost))
P
V
но даже если его попросить округлять к меньшему для отрицательных, то он всё равно не округляет
https://godbolt.org/z/bzf4ra
За assume спасибо, буду иметь ввиду
https://godbolt.org/z/bzf4ra
За assume спасибо, буду иметь ввиду
V
в этом случае теоретически gcc мог бы и shr воткнуть
P
в этом случае теоретически gcc мог бы и shr воткнуть
кстати да, странно
SS
А кто-нибудь юзает svace ?
что именно интересует?
AP
А что вы можете сказать про такую функцию?
template<typename T>
void launder(T* object) {
// view to possibly uninit memory
auto data = reinterpret_cast<byte*>(object);
// create temporary file
int fd = memfd_create();
// write
write(fd, data, sizeof(T));
// seek to file beginning
seek(fd, 0);
// read data back
read(fd, data, sizeof(T));
// PROFIT: all bytes in object are now initialized
}
Функция не обрабатывает ошибки при работе с системными вызовами, read не начинает lifetime объекта кажется даже в C++20, не каждый инициализированный объект можно побайтово перезаписывать (например объекты драйверов устройств)
1) происходит UB для не тривиально копируемых типов
2) а смысл, если он содержит тот же мусор, что и в начале?
3) поломаются программы использующие mmap, shared memory или dma, сломаются программы с суровыми ограничениями на количество дескрипторов или на системные вязовы
1) происходит UB для не тривиально копируемых типов
2) а смысл, если он содержит тот же мусор, что и в начале?
3) поломаются программы использующие mmap, shared memory или dma, сломаются программы с суровыми ограничениями на количество дескрипторов или на системные вязовы
ПК
Функция не обрабатывает ошибки при работе с системными вызовами, read не начинает lifetime объекта кажется даже в C++20, не каждый инициализированный объект можно побайтово перезаписывать (например объекты драйверов устройств)
1) происходит UB для не тривиально копируемых типов
2) а смысл, если он содержит тот же мусор, что и в начале?
3) поломаются программы использующие mmap, shared memory или dma, сломаются программы с суровыми ограничениями на количество дескрипторов или на системные вязовы
1) происходит UB для не тривиально копируемых типов
2) а смысл, если он содержит тот же мусор, что и в начале?
3) поломаются программы использующие mmap, shared memory или dma, сломаются программы с суровыми ограничениями на количество дескрипторов или на системные вязовы
Там же impl defined кто начинает, кто нет. Вот пускай разрабы компиляторов скажут, что все эти функции api системы начинают лайфтайм
V
Tail call optimization стандартом не затрагивается, так ведь?
AP
Tail call optimization стандартом не затрагивается, так ведь?
Неа, а что?
V
Неа, а что?
А жаль)
V
Тема плохо проработанная.
V
но даже если его попросить округлять к меньшему для отрицательных, то он всё равно не округляет
https://godbolt.org/z/bzf4ra
За assume спасибо, буду иметь ввиду
https://godbolt.org/z/bzf4ra
За assume спасибо, буду иметь ввиду
Хотя, вот такие косяки на пустом месте - имхо, более важны
V
Или вот ещё:
V
Переслано от Vyacheslav
OZ
Тема плохо проработанная.
в С++ много плохо проработанных тем, а человеческих ресурсов маловато. Думаю если текущие имплементации нормально оптимизируют, мне кажется это не такая большая проблема. Так как и то что тривиальные типы должны быть созданы через placement new внутри всяких
std::vector и прочего, но мало кто это делает