R
eyre::ReportSize: a a a
2020 September 25
MB
Если либа, то следует давать ньютайп над Box<dyn Error + Send + Sync + 'static>
Реализующий std::error::Error
IL
Привет!
Подскажите, пожалуйста, можно ли организовать следующую конструкцию.
Есть два трейта A и B. У обоих есть по методу a() и b() соответственно. Я хочу сделать дефолтную имплементацию для b(), которая будет использовать имплементацию a(), при условии что для B имплементирован A(и только в этом случае).
Так можно сделать?
Подскажите, пожалуйста, можно ли организовать следующую конструкцию.
Есть два трейта A и B. У обоих есть по методу a() и b() соответственно. Я хочу сделать дефолтную имплементацию для b(), которая будет использовать имплементацию a(), при условии что для B имплементирован A(и только в этом случае).
Так можно сделать?
Э
Привет!
Подскажите, пожалуйста, можно ли организовать следующую конструкцию.
Есть два трейта A и B. У обоих есть по методу a() и b() соответственно. Я хочу сделать дефолтную имплементацию для b(), которая будет использовать имплементацию a(), при условии что для B имплементирован A(и только в этом случае).
Так можно сделать?
Подскажите, пожалуйста, можно ли организовать следующую конструкцию.
Есть два трейта A и B. У обоих есть по методу a() и b() соответственно. Я хочу сделать дефолтную имплементацию для b(), которая будет использовать имплементацию a(), при условии что для B имплементирован A(и только в этом случае).
Так можно сделать?
Специализация, nightly, go brr.
IL
Специализация, nightly, go brr.
А без найтли?
Э
А без найтли?
У
B только один метод?IL
У
B только один метод?Да
Э
Можно такое. Но это запретит любые другие генерик имплементации для
B из-за возможных конфликтов.impl<T> B for T
where T: A {
fn b() { T::a() }
}
R
Да еще и в других крейтах нельзя будет имплементить
BIL
Не, так не пойдет
Э
Да еще и в других крейтах нельзя будет имплементить
BДля типов можно.
R
А то вдруг upstream заимплементит тому типу
AR
добавление
impl<T> A for T {} считается breaking-change?R
Как orphan-rules смотрят на такое?
Э
добавление
impl<T> A for T {} считается breaking-change?Циклические зависимости.
Э
Кто первый заимплементил, того и тапки.
R
Нет цикла же
Э
Внешний крейт. Чтобы сделать
impl A for Type, надо сделать крейт зависимостью,Э
Если крейт уже сделал
impl A for Type, то нельзя в крейте с A заимплементить.IL
Короче, проблема фатически неразрешима?