Https://Github.Com/Rust-Lang/Rust/Blob/Master/Library/Core/Src/Clone.Rs#L246 Что символизирует этот impl? Clone не auto trait, почему impl

Question

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

Max Силинг

Https://Github.Com/Rust-Lang/Rust/Blob/Master/Library/Core/Src/Clone.Rs#L246 Что символизирует этот impl? Clone не auto trait, почему impl

!Clone вообще допустим?

#backend #embedded #programming #russian #rust

0

27.03.2022

19 ответов

44 просмотра

Max Силинг Автор вопроса

TIL существует фича negative_impls, которая разрешает impl ! для любых трейтов. единственное предназначение — конфликтовать с другими попытками имплементировать.

0

27.03.2022

Max Силинг Автор вопроса

Max Силинг
TIL существует фича negative_impls, которая разреш...

https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021&gist=15b0289aea05a17a77d202d92dddc232

0

27.03.2022

Max Силинг Автор вопроса

Max Силинг
TIL существует фича negative_impls, которая разреш...

остался вопрос, зачем запрещать имплементацию Clone для мутабельной ссылки. да, её нельзя сделать логично, но почему это небезопасно?

0

27.03.2022

Max Силинг Автор вопроса

вафля'
Проблема не в безопасности, а в том, что иначе ком...

хм а где эти две имплементации конфликтуют?

0

27.03.2022

Max Силинг Автор вопроса

Max Силинг
хм а где эти две имплементации конфликтуют?

и вроде как нельзя опираться на negative impls для целей coherence

0

27.03.2022

вафля'

Max Силинг
хм а где эти две имплементации конфликтуют?

impl Clone for &mut MyLocalTypeLol

0

27.03.2022

Max Силинг Автор вопроса

вафля'
impl Clone for &mut MyLocalTypeLol

ну, это сейчас запрещено

0

27.03.2022

вафля'

Max Силинг
ну, это сейчас запрещено

через impl !Clone, без него бы можно было

0

27.03.2022

Max Силинг Автор вопроса

вафля'
через impl !Clone, без него бы можно было

да и в чём проблема? где-то в стдлибе есть две имплементации, которые начинают конфликтовать при клонируемой мутабельной ссылке?

0

27.03.2022

вафля'

Max Силинг
и вроде как нельзя опираться на negative impls для...

можно, negative impls — гарантия что тип никогда не будет реализовывать трейт

0

27.03.2022

Антон 🇦🇲

Max Силинг
остался вопрос, зачем запрещать имплементацию Clon...

Потому что компилятор при кодогенерации опирается на предположение, что &mut-ссылка на значение есть только одна. Если оно нарушается, то компилятор может скомпилировать код неправильно

0

27.03.2022

Max Силинг Автор вопроса

вафля'
можно, negative impls — гарантия что тип никогда н...

> This is a prototype impl that extends impl !Trait beyond auto traits. It is not integrated with coherence or anything else, and hence only serves to prevent downstream impls (but not to allow downstream crates to rely on the absence of such impls for coherence purposes).

0

27.03.2022

Max Силинг Автор вопроса

Антон 🇦🇲
Потому что компилятор при кодогенерации опирается ...

это нерелевантно. сигнатура Clone::clone() не мешает имплементировать Clone для мутабельной ссылки, не нарушая алиасинг

0

27.03.2022

Max Силинг Автор вопроса

Max Силинг
это нерелевантно. сигнатура Clone::clone() не меша...

например, создав и ликнув ещё одно значение или просто запаниковав

0

27.03.2022