Э
Хотя я могу и ошибаться.
trait A {}Крейт B версии 1.0 имплементит
impl A for MyType {}Крейт А добавляет имплементацию
impl<T> A for T{}Size: a a a
2020 September 25
R
Крейт А версии 1.0 имеет трейт
Крейт B версии 1.0 имплементит
Крейт А добавляет имплементацию
Крейт B версии 1.0 имплементит
Крейт А добавляет имплементацию
R
Может ли крейт A публиковать это в 1.1
R
Или должен а 2.0?
Э
Крейт А версии 1.0 имеет трейт
Крейт B версии 1.0 имплементит
Крейт А добавляет имплементацию
trait A {}Крейт B версии 1.0 имплементит
impl A for MyType {}Крейт А добавляет имплементацию
impl<T> A for T{}Очевидно, что нет.
R
Ну вообще логично, да
Э
А вот
impl<T> A for Box<T> — может.R
Разве?
Э
Когда сам тип генерикозависимый, но не генерик, оно норм работает.
R
Помоему я могу в B заимплементить
impl A for Box<MyType> {}Э
Короче, проблема фатически неразрешима?
Зачем юзателям твоей либы генерик имплы на B?
Э
Помоему я могу в B заимплементить
impl A for Box<MyType> {}Нет,
Box не твой.R
Разве не ослабили требования, что б там хотя б один тип был твой внутри
Э
Разве не ослабили требования, что б там хотя б один тип был твой внутри
impl From<MyType> for … vs impl A for …Э
Разницу видишь?
R
Или обязательно верхнеуровневый твой
R
Вообще не люблю этот синтаксис.
R
Зачем искуственно разделили параметры имплементации трейта на Self и остальные
IL
Зачем юзателям твоей либы генерик имплы на B?
В либе есть функции, принимающие A, есть функции принимающие B. В большинстве случае то, что принимают через B может быть единообразно сконструировано из A, поэтому дфеолтная имплементация актуальна. Но могут быть случаи, когда нужно сделать специализированную версию для методов, принимающих B, которая не может быть построена из A, и вообще запретить принимать этот объект там, где принимается A
Э
В либе есть функции, принимающие A, есть функции принимающие B. В большинстве случае то, что принимают через B может быть единообразно сконструировано из A, поэтому дфеолтная имплементация актуальна. Но могут быть случаи, когда нужно сделать специализированную версию для методов, принимающих B, которая не может быть построена из A, и вообще запретить принимать этот объект там, где принимается A
Ты на вопрос не ответил. Зачем там генерик имплы, если оно у тебя будет на тип имплементиться, то есть
impl A for Type, а не impl<T> A for T?