e🦀
Т.е. если мы реализуем unsafe трейт для примитива, который не гарантирует то, что гарантирует этот трейт, то мы получим soundness hole
Size: a a a
2020 March 16
R
спасибо, теперь понятнее стало
f
А есть какой-нибудь способ имплицитно представлять структуру типа A как B?
Например у меня есть
disclaimer: мне это нужно для того что бы быстро и временно заменить ДТО в коде чужой библиотеки, так что я готов на любую грязь :)
Например у меня есть
struct A() и struct B(A) и функция fn take(a: A). Можно ли заимплементить какой-нибудь AsRef/Deref так, чтобы работало take( B(A()) )?disclaimer: мне это нужно для того что бы быстро и временно заменить ДТО в коде чужой библиотеки, так что я готов на любую грязь :)
MB
А есть какой-нибудь способ имплицитно представлять структуру типа A как B?
Например у меня есть
disclaimer: мне это нужно для того что бы быстро и временно заменить ДТО в коде чужой библиотеки, так что я готов на любую грязь :)
Например у меня есть
struct A() и struct B(A) и функция fn take(a: A). Можно ли заимплементить какой-нибудь AsRef/Deref так, чтобы работало take( B(A()) )?disclaimer: мне это нужно для того что бы быстро и временно заменить ДТО в коде чужой библиотеки, так что я готов на любую грязь :)
Она берет A или ссылку на A?
f
Она берет A или ссылку на A?
Там на самом деле и так, и так бывает. Со ссылкой было бы проще?
MB
Как A и B выглядят?
R
А есть какой-нибудь способ имплицитно представлять структуру типа A как B?
Например у меня есть
disclaimer: мне это нужно для того что бы быстро и временно заменить ДТО в коде чужой библиотеки, так что я готов на любую грязь :)
Например у меня есть
struct A() и struct B(A) и функция fn take(a: A). Можно ли заимплементить какой-нибудь AsRef/Deref так, чтобы работало take( B(A()) )?disclaimer: мне это нужно для того что бы быстро и временно заменить ДТО в коде чужой библиотеки, так что я готов на любую грязь :)
Into<A>
R
или чо блин
R
я запутался, жесть
R
Короче тебе Into нужен, да
f
Как A и B выглядят?
struct A { somethings: SmallVec<[Something; 6]> }
struct B { a: A, more: Data }e🦀
Короче тебе Into нужен, да
А кто будет вызывать
.into()?f
Into<A>
impl Into<A> for B :) Но тогда придется везде .into() писать. А мне бы имплицитноR
А кто будет вызывать
.into()?take?
e🦀
Rust за явность и такие вещи вряд ли вообще предусмотрены
RP
impl Into<A> for B :) Но тогда придется везде .into() писать. А мне бы имплицитнонет
f
Я вообще почти не надеюсь, что так можно, НО ВДРУГ. Мне бы намного меньше манки-патчинга пришлось бы совершать
RP
явное лучше неявного
R
ему же нужно
take( B(A()) ) и fn take(a: A)