t
что под капотом? Нахер писать эти слова про магию компилятора в дескрипшене?
In other words, if there is no possibility of undefined behavior (including data races) when passing &T references between threads. - это что такое? На это дрочить?Size: a a a
2020 June 09
t
c
Minoru
Sync это просто маркер в системе типов
Sync это просто маркер в системе типов
t
ну так укажите, что вот тут можно уделить пару минут
MK
In other words, if there is no possibility of undefined behavior (including data races) when passing &T references between threads. - это что такое? На это дрочить?Так это самое, там же не в этом тема
MK
А в том что когда ты передашь в другой поток свою ссылку, то компилятор не позволит тебе её больше трогать
MK
Т.е. ты передал, и переменная пропала
t
Minoru
Sync это просто маркер в системе типов
Sync это просто маркер в системе типов
и во что оно превращается в итоге?
MK
И всё. Понятное дело что не будет рейса
t
Есть какое-то определённое поведение компилятора?
c
Minoru
@ttldtor: ни во что. Это тип. Он определяет, что компилятор позволяет делать со значением
@ttldtor: ни во что. Это тип. Он определяет, что компилятор позволяет делать со значением
t
бля
t
абсолюно. неинформативно.
c
Minoru
ну это как type_traits в плюсах, чо ты
ну это как type_traits в плюсах, чо ты
t
там я вижу, во что превратится
MK
Есть какое-то определённое поведение компилятора?
Я не слышал. Подозреваю там типа очереди сообщений, куда поинтер кидают
c
Minoru
нет трейта — SFINAE не находит перегрузки и валит компиляцию
нет трейта — SFINAE не находит перегрузки и валит компиляцию
c
Minoru
вот тут такая же тема, только для отслеживания доступа из других тредов
вот тут такая же тема, только для отслеживания доступа из других тредов
MK
Но типа это детали реализации
t
ТАК ВОТ Я И ХОЧУ СКАЗАТЬ