Почему Rust не может подобрать правильную черту в этом случае? - PullRequest
Новая
       22

Почему Rust не может подобрать правильную черту в этом случае?

6 голосов
/ 19 марта 2020

Рассмотрим следующий код: 

use std::ops::Add;

trait Trait
    where Self::Assoc: Add<Self::Assoc, Output=Self::Assoc>
                     + for <'a> Add<&'a Self::Assoc, Output=Self::Assoc>
{
    type Assoc;
    fn get(&self) -> Self::Assoc;
}

fn add1<T: Trait>(x: T, y: T) -> T::Assoc {
    x.get() + y.get()
}

Это не скомпилируется с: 

error[E0308]: mismatched types
  --> src/lib.rs:12:15
   |
12 |     x.get() + y.get()
   |               ^^^^^^^
   |               |
   |               expected reference, found associated type
   |               help: consider borrowing here: `&y.get()`
   |
   = note:    expected reference `&<T as Trait>::Assoc`
           found associated type `<T as Trait>::Assoc`

Я могу обойти эту проблему, явно указав, какую черту я хочу использовать : 

fn add2<T: Trait>(x: T, y: T) -> T::Assoc {
    <T::Assoc as Add<T::Assoc>>::add(x.get(), y.get())
}

Но мне интересно: почему это происходит? Кроме того, есть ли более компактная работа вокруг?

Обратите внимание, что порядок черты границы имеет значение. Если я изменю их на: 

    where Self::Assoc: for <'a> Add<&'a Self::Assoc, Output=Self::Assoc>
                     + Add<Self::Assoc, Output=Self::Assoc>

... тогда add1 компилируется нормально, но это не получается: 

fn add3<T: Trait>(x: T, y: T) -> T::Assoc {
    x.get() + &y.get()
}

Ссылка на игровую площадку

...