Всем привет! Никак не могу разобраться почему на стейбле для generic структур

Question

Всем привет! Никак не могу разобраться почему на стейбле для generic структур

работает специализация
generic трейта с generic структурой в качестве аргумента (см. *1*).

В целом это конечно очень удобно, но не понимаю почему оно работает,
тогда как специализация для не-generic структуры не компилится (см. *2*),
как и специализация не-generic трейта не компилится (см. *3*).

trait Trait<T> {};
struct A;
struct B<T>(T);
struct Foo;
struct Bar<T>(T);
impl<T> Trait<T> for A {}
impl<T> Trait<Bar<T>> for A {} // ожидаемо ошибка. (*2*)
impl<T> Trait<T> for B<T> {}
impl<T> Trait<Bar<T>> for B<T> {} // ок, но почему? (*1*)
impl<T> Trait<Foo> for B<T> {} // ожидаемо ошибка. (*3*)

#backend #embedded #programming #russian #rust

0

08.07.2020

1 ответов

16 просмотров

rogday · Accepted Answer

rogday

Trait<T> for B<T> Trait<Bar<T>> for B<T> Они не пересекаются

0

08.07.2020

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

Всем привет! Никак не могу разобраться почему на стейбле для generic структур

1 ответов

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