Какая причина что Arc имеет Send, только при T: Send

Question

Rust — русскоговорящее сообщество

Артем Пятницкий

Какая причина что Arc имеет Send, только при T: Send

+ Sync?
unsafe impl<T: ?Sized + Sync + Send> Send for Arc<T> {}

#backend #embedded #programming #russian #rust

0

29.08.2021

6 ответов

26 просмотров

Артем Пятницкий Автор вопроса

red75prime
Два арка в разных потоках означает, что мы можем в...

Я же правильно понимаю что Send это только про передачу в другой тред? Без sync я даже прочитать не могу, верно? Просто зачем мне sync на arc: Send, если я хочу просто его передать?

0

29.08.2021

red75prime

Артем Пятницкий
Я же правильно понимаю что Send это только про пер...

Компилятор не может гарантировать, что есть только один Arc<T>, указывающий на объект. Значит не может гарантировать, что доступ к T будет осуществляться только из одного потока. А если доступ к T может осуществляться из нескольких потоков, то для этого нужно T: Sync

0

29.08.2021

Артем Пятницкий Автор вопроса

red75prime
Компилятор не может гарантировать, что есть только...

Я просто не понимаю зачем нужно ограничение + Sync для реализации Send, почему это ограничение есть не только для Sync, но и для Send?

0

29.08.2021

Traveller Kolsky

Потому что Arc при клонировании и передаче успешно делится ссылками на T опосредованно, через Deref.

0

29.08.2021

Артем Пятницкий Автор вопроса