Всем привет Почему, когда я делаю бланкетную имплементацию impl<T> ParseMessage for

Question

Всем привет Почему, когда я делаю бланкетную имплементацию impl<T> ParseMessage for

T, после чего делаю impl<T> ParseMessage for Box<T> - раст ругается на конфликтующие имплементации? Если делать для Rc<T>, к примеру, то ничего не конфликтует

#backend #embedded #programming #russian #rust

0

28.10.2023

6 ответов

10 просмотров

Alexey Ermakov

deref ?

0

28.10.2023

Kirill 🚜 Автор вопроса

Пух
потому что Box<T> это тоже некоторый T

Да, забыл уточнить В обеих имплементациях я указываю, что T должен реализовывать трейт Parseable

0

28.10.2023

Kirill 🚜 Автор вопроса

Alexey Ermakov
deref ?

Но у Rc тоже есть Deref, на него не ругается

0

28.10.2023

Alexey Ermakov

Kirill 🚜
Но у Rc тоже есть Deref, на него не ругается

error[E0119]: conflicting implementations of trait `Tr` for type `Rc<_>` --> src/main.rs:15:1 | 14 | impl<T> Tr for T {} | ---------------- first implementation here 15 | impl<T> Tr for Rc<T> {} | ^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `Rc<_>`

0

28.10.2023

Αλεχ Zhukovsky

Fundamental type constructors A fundamental type constructor is a type where implementing a blanket implementation over it is a breaking change. &, &mut, Box, and Pin are fundamental. Any time a type T is considered local, &T, &mut T, Box<T>, and Pin<T> are also considered local. Fundamental type constructors cannot cover other types. Any time the term "covered type" is used, the T in &T, &mut T, Box<T>, and Pin<T> is not considered covered. https://doc.rust-lang.org/reference/glossary.html#fundamental-type-constructors Ты не сможешь для этих 4 типов реализацию сделать совместимую с for T

0

28.10.2023

Пух · Accepted Answer

Пух

потому что Box<T> это тоже некоторый T

0

28.10.2023

172 похожих чатов

Всем привет Почему, когда я делаю бланкетную имплементацию impl<T> ParseMessage for

6 ответов

Похожие вопросы