MB
Потому что у одного типа может получиться несколько имплементаций Trait
Size: a a a
2020 October 28
JC
Я не совсем понял, как это может получится
JC
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=79368341266ce187bcc6678db49108e7
Так тоже не работает, если убрать пятую строчку из примера выше
Так тоже не работает, если убрать пятую строчку из примера выше
MB
Я не совсем понял, как это может получится
impl ExampleTraitWith<i32> for () {}
impl ExampleTraitWith<u32> for () {}
impl ExampleTraitWith<u32> for () {}
MB
Оба попытаются превратиться в impl Trait for ()
JC
теперь понял
N
Оба попытаются превратиться в impl Trait for ()
то есть нельзя чтобы трейт был дважды имплементирован для какого-то типа, даже если у имплементаций разные параметры?
MB
Конкретный трейт для конкретного типа больше одного раза реализовывать нельзя. Как иначе компилятор должен выбирать конкретную реализацию?
N
Конкретный трейт для конкретного типа больше одного раза реализовывать нельзя. Как иначе компилятор должен выбирать конкретную реализацию?
но так же можно
MB
N
но так же можно
Тут трейты разные.
Add нужно трактовать не как трейт, а как шаблон трейта.
Add нужно трактовать не как трейт, а как шаблон трейта.
N
Тут трейты разные.
Add нужно трактовать не как трейт, а как шаблон трейта.
Add нужно трактовать не как трейт, а как шаблон трейта.
то есть Add особенный?
MB
N
то есть Add особенный?
Нет, это относится к любому дженерик трейту. И то же самое с дженерик функциями (это не функции а шаблоны функций), дженерик структурами (это шаблоны структур) и так далее
JC
Add<Vector> и Add<Number> это разные вещи
MB
Пример из математики.
2 - число,
3+5 - число,
sin(7) - число
А sin - не числа, а функция (шаблон числа).
2 - число,
3+5 - число,
sin(7) - число
А sin - не числа, а функция (шаблон числа).
N
impl ExampleTraitWith<i32> for () {}
impl ExampleTraitWith<u32> for () {}
impl ExampleTraitWith<u32> for () {}
ExampleTraitWith<i32> и ExampleTraitWith<u32> ведь настолько же разные вещи
JC
Да, и так можно
JC
Оба попытаются превратиться в impl Trait for ()
Но нельзя вот это
MB
N
ExampleTraitWith<i32> и ExampleTraitWith<u32> ведь настолько же разные вещи
Да, конечно.
Но дальше бланкет импл (impl<E, T: With<E> > Trait for T) пытается из каждой из них вывести impl Trait for (), и получается конфликт
Но дальше бланкет импл (impl<E, T: With<E> > Trait for T) пытается из каждой из них вывести impl Trait for (), и получается конфликт
MB
А раст такое хочет предотвращать и поэтому запрещает такие "опасные" имплементации