MB
Sync по-моему некорректный
Size: a a a
2020 October 20
Э
Кирилл
Пытаюсь сделать обёртку, которая один раз в одном месте set-ится, и в других местах проверяется на готовность и get-ится. Сеттер выглядит так. Не смог придумать ситуацию, когда это может сломаться, но всё равно страшновато) Подскажите, плз
Убери ансейф имплы, просто используй
once_cell::sync::OnceCell.MB
Send тоже
Э
Он автоматически и сендится и синкится.
MB
Он автоматически и сендится и синкится.
При условии, что T так может
К
При условии, что T так может
Ага
MB
Безусловного Send и Sync тут быть не может
Э
При условии, что T так может
А если не может, то имплементить это дело — UB, нет?
MB
А если не может, то имплементить это дело — UB, нет?
Да. Поэтому я и говорю, что оба ансейф импла выше неверны
К
Да. Поэтому я и говорю, что оба ансейф импла выше неверны
Не хотелось бы на T ограничения накладывать. Можно, пожалуйста подробнее, почему эти Send и Sync - UB?
Э
Кирилл
Не хотелось бы на T ограничения накладывать. Можно, пожалуйста подробнее, почему эти Send и Sync - UB?
Из двух тредов твой сет позовут если, будет гонка данных. Гонка данных — UB.
Э
Уже за тебя умные люди подумали и сделали мультитредовую версию без UB.
MB
Кирилл
Не хотелось бы на T ограничения накладывать. Можно, пожалуйста подробнее, почему эти Send и Sync - UB?
Ты написал, что обертка позволяет переходить &Wrapper<T> -> &T.
Тогда если у разных потоков есть ссылка на Wrapper, то у них появляется и одновремнные ссылки на T, а для !Sync это запрещено
Тогда если у разных потоков есть ссылка на Wrapper, то у них появляется и одновремнные ссылки на T, а для !Sync это запрещено
MB
Про Send. Если я создам в одном потоке этот Wrapper, а потом отправлю в другой поток, то и деструктор будет выполнен там.
Следовательно объект владелся разными потоками, а для !Send это запрещено
Следовательно объект владелся разными потоками, а для !Send это запрещено
К
Ты написал, что обертка позволяет переходить &Wrapper<T> -> &T.
Тогда если у разных потоков есть ссылка на Wrapper, то у них появляется и одновремнные ссылки на T, а для !Sync это запрещено
Тогда если у разных потоков есть ссылка на Wrapper, то у них появляется и одновремнные ссылки на T, а для !Sync это запрещено
Я имплементю Send и Sync только для сеттера
MB
Оокей, тогда я не так тебя понял.
Но мой пример с дропом все еще подходит.
Но мой пример с дропом все еще подходит.
MB
А impl Sync в таком случае выглядит уместным
К
Оокей, тогда я не так тебя понял.
Но мой пример с дропом все еще подходит.
Но мой пример с дропом все еще подходит.
Ок, насчёт Send согласен.
MB
А impl Sync в таком случае выглядит уместным
Хотя не, impl Debug убери