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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

pro.cxx

3702 membersпожаловаться на группу
2020 March 07

DS

Dmitry Sokolov in pro.cxx
Pepe 🐸
Ладно уже это обсуждали, так что подытожу: формально УБ но скорее всего работать будет

главное не попасть в ситуацию когда ты расчитываешь что считываемое значение обновится через другой пойнтер. Компайлер может просто проигнорить
Я дважды делаю punning, в push циклом перенос из T* в atomic<T>*. Всё работает, но была надежда что не на UB :)
источник
00:28пожаловаться#1

AB

Artöm Bakri Al-Sarmini in pro.cxx
Dmitry Sokolov
Я дважды делаю punning, в push циклом перенос из T* в atomic<T>*. Всё работает, но была надежда что не на UB :)
Сильно, учитывая что атомик не факт что standard layout
источник
00:36пожаловаться#2

DS

Dmitry Sokolov in pro.cxx
Типа как в пропозале distributed counters, но со структурами, struct broker:basic_broker{T a,b,c} => struct  metric: basic_metric{atomic<T> counters [3];}
источник
00:36пожаловаться#3

DS

Dmitry Sokolov in pro.cxx
Через cast к dummy broker/metric с единичными элементами перенос между массивами T* и atomic<T>*.
источник
00:40пожаловаться#4

FS

Flower Surgeon in pro.cxx
только сейчас заметил, что в C++20 появились семафоры и синк-барьеры
источник
00:40пожаловаться#5

FS

Flower Surgeon in pro.cxx
мечты сбываются
источник
00:40пожаловаться#6

VO

Vyacheslav Olkhovchenkov in pro.cxx
Pepe 🐸
Ладно уже это обсуждали, так что подытожу: формально УБ но скорее всего работать будет

главное не попасть в ситуацию когда ты расчитываешь что считываемое значение обновится через другой пойнтер. Компайлер может просто проигнорить
ну на это всякие барьеры придумали. вроде как и чисто компиляторные есть.
источник
00:46пожаловаться#7

DS

Dmitry Sokolov in pro.cxx
Artöm Bakri Al-Sarmini
Сильно, учитывая что атомик не факт что standard layout
cppreference говорит для integral факт.
источник
00:46пожаловаться#8

DS

Dmitry Sokolov in pro.cxx
Pepe 🐸
самое смешное вот:

It has been suggested that the aliasing rules should be extended to permit an object of an enumeration with a fixed underlying type to alias an object with that underlying type.

то есть сейчас даже такое нельзя
Это кстати не смешно, это очень круто и правильно.
источник
01:10пожаловаться#9

DS

Dmitry Sokolov in pro.cxx
Эх, похоже всё потому что нет определенного layout'а. Конечно layoutas хорошо, но лучше бы в любом месте структуры разрешить для последовательности T a,b,c конвертируемость &a в T* -> [a,b,c]... Тем более это скорее всего не расходится ни с одной реализацией.
источник
01:31пожаловаться#10

DS

Dmitry Sokolov in pro.cxx
И кстати я чот подумал, со strict aliasing'ом то похоже проблем как раз нет, я ж работаю с вложенным массивом, да, через unrelated родительский тип, но чтение/запись по честным T*...
источник
01:40пожаловаться#11

ПК

Побитый Кирпич in pro.cxx
Till Schneider
Я к тому, что вот в gcc вроде как в реализации offsetof разыменовывают нулевой указатель =) то есть это не особый показатель, что раз они так делают, то так делать можно
Всё правильно. Теоретически, компилятор может детектить код из стандартной библиотеки и строить какие нибудь оптимизации на основе гарантий стандарта.
источник
03:27пожаловаться#12

AT

Anatoly Tomilov in pro.cxx
Код:
 
std::vector<int> seq = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
std::shuffle(std::begin(seq), std::end(seq), std::mt19937{});
код для разных компиляторов и стандартных библиотек будет давать одну и ту последовательность?
Интересует "одинаковость" устройства std::shuffle.
источник
16:36пожаловаться#13

AT

Anatoly Tomilov in pro.cxx
Почему здесь написано "Possible output", текст в части "Notes" в русской и английской версиях не совпадает. В русской заметка касается устаревшего random_shuffle, в английской — похоже, что всех.
источник
16:40пожаловаться#14

AT

Anatoly Tomilov in pro.cxx
свой что ли писать? нужна воспроизводимость
источник
16:41пожаловаться#15

P

Pepe 🐸 in pro.cxx
Anatoly Tomilov
Код:
 
std::vector<int> seq = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
std::shuffle(std::begin(seq), std::end(seq), std::mt19937{});
код для разных компиляторов и стандартных библиотек будет давать одну и ту последовательность?
Интересует "одинаковость" устройства std::shuffle.
нет думаю не обязательно. Есть какие то общие требования не более.  Так же как и hash везде свой
источник
16:57пожаловаться#16

AP

Antony Polukhin in pro.cxx
Как вам идея сделать так, чтобы аггрегаты можно было использовать вместо std::tuple ?

https://apolukhin.github.io/papers/Aggregates%20are%20named%20tuples.html
источник
16:58пожаловаться#17

P

Pepe 🐸 in pro.cxx
Pepe 🐸
нет думаю не обязательно. Есть какие то общие требования не более.  Так же как и hash везде свой
Note that the implementation is not dictated by the standard, so even if you use exactly the same RandomFunc or URBG you may get different results with different standard library implementations.

на спп реф
источник
16:59пожаловаться#18

PK

Pavel Kazakov in pro.cxx
Antony Polukhin
Как вам идея сделать так, чтобы аггрегаты можно было использовать вместо std::tuple ?

https://apolukhin.github.io/papers/Aggregates%20are%20named%20tuples.html
Круто
источник
17:01пожаловаться#19

AT

Anatoly Tomilov in pro.cxx
Antony Polukhin
Как вам идея сделать так, чтобы аггрегаты можно было использовать вместо std::tuple ?

https://apolukhin.github.io/papers/Aggregates%20are%20named%20tuples.html
А какова судьба n4235. Я здесь спрашивал что-то подобное, мне ответили, что функционал какой-то планируется, который может быть полезен.
Stack Overflow
Variadic aggregates as core language feature
std::tuple is highly template-loaded beast. To access to n-th member compiler must perform a plenty of template instantiations, although its simple nature: access to n-th data member of corresponding
источник
17:03пожаловаться#20