Почему const T всегда Copy, а #[derive(Copy, Clone)] struct Ptr<T: ?Sized>(usize, PhantomData<const

Question

T>);

только когда T: Copy?

0

04.10.2020

10 просмотров

сделай impl Copy for Ptr { }

0

04.10.2020

Да знаю.

0

04.10.2020

Потому что дерайв-макросы работают до тайпчека, и у них нет способа узнать, что *const T всегда Copy

0

04.10.2020

Денис · Accepted Answer

потому что все стандартные derive-макросы вешают такой баунд на дженерики

0

04.10.2020

Почему *const T всегда Copy, а #[derive(Copy, Clone)] struct Ptr<T: ?Sized>(usize, PhantomData<*const