Можно ли использовать самореферентные связанные типы при использовании дженериков?

Question

Пример: даны следующие черты,

trait DirectedAcyclicGraph<V, E> where V: Add, E: Add 

Я хотел бы, чтобы всякий раз, когда значение типа V к значению того же типа, что другое значение типа V возвращается. Всякий раз, когда значение типа E добавляется к другому значению того же типа, я хочу вернуть еще E.

наивности, я думал, что это могло бы быть в правильном направлении,

trait DirectedAcyclicGraph<V, E> where V: Add<Output = V>, E: Add<Output = E> 

, но это было только выстрел в темноте.

Документация Add поставляет следующий пример,

use std::ops::Add; 

struct Foo; 

impl Add for Foo { 
    type Output = Foo; 

    fn add(self, _rhs: Foo) -> Foo { 
     println!("Adding!"); 
     self 
    } 
} 

fn main() { 
    Foo + Foo; 
} 

, но я не могу понять, как обеспечить реализацию для универсального типа таким же образом, если это вообще возможно.

Answer 1

В результате это было ошибкой программирования. Как @ChrisMorgan указал in his example, выражение Add<Output = V> компилируется. Причина, по которой компилятор вопил, заключалась в том, что в одном месте в исходном коде продукта Output = V не было последовательно добавлено.

К сожалению, я также ошибся при компиляции MWE.

Таким образом, вынос для потомства является то, что

trait DirectedAcyclicGraph<V, E> where V: Add<Output = V>, E: Add<Output = E> 

работы.