rust - 错误 : reached the recursion limit while auto-dereferencing T

Question

我想知道这是正常现象还是错误:

struct A<T> (T);

impl<T> Add<A<T>, A<T>> for A<T> 
where T: Add<T, T> + Deref<T> + Copy {
    fn add(&self, &A(b): &A<T>) -> A<T> {
        let A(a) = *self;
        A(a.add(&b))
    }
}

产生这个错误:

<anon>:7:11: 7:12 error: reached the recursion limit while auto-dereferencing T [E0055]
<anon>:7         A(a.add(&b))

用 a+b 替换 a.add(&b) 编译没有错误

playpen

难道 a+b 不应该只是 a.add(&b) 的糖吗？

Answer 1

简短版: T实现 Deref<T>没有任何意义，因此方法调用和运算符调用在取消引用左侧方面的工作方式的差异会把事情搞砸，因为 a + b与 a.add(&b) 完全相同 .

长版:

+运算符和 Add.add 就引用而言，操作方式不同。

+ operator 通过引用本身获取两个操作数。 a + b对于各种类型的操作数 A和 B要求有 Add<B, C> 的实现对于 A并将产生一个 C 类型的值.如前所述，a和 b被引用；它自己默默地引用这些内容；没有猜测。它们的工作原理如下:

let a = 1i;
let b = a + a;    // this one works
let c = a + &a;   // mismatched types: expected `int`, found `&int` (expected int, found &-ptr)
let d = &a + a;   // binary operation `+` cannot be applied to type `&int`
let e = &a + &a;  // binary operation `+` cannot be applied to type `&int`

在任何情况下都不会发生取消引用，因此狡猾的 T: Deref<T>要求不会破坏任何东西。

Add.add 通过引用获取这两个值。作为常规函数调用，它具有在必要时自动取消引用和引用左侧的能力。虽然右侧作为方法参数按原样传入，但左侧尽可能取消引用以找到可能由 add 表示的所有可能方法。 .通常这很好，它会做你想做的，但在这种情况下它不会，因为 T (类型 a 是)实现 Deref<T> .所以取消引用会得到一个 T .然后T , 实现 Deref<T> , 取消对 T 的引用.更重要的是，T工具 Deref<T>所以取消对 T 的引用.它一直这样做，直到达到递归限制。真的，T实现 Deref<T>完全没有意义。

为了比较，下面是方法调用 add 如何工作的一些演示:

let a = 1i;
let b = a.add(a);      // mismatched types: expected `&int`, found `int` (expected &-ptr, found int)
let c = a.add(&a);     // this one works (a reference to the LHS is taken automatically)
let d = (&a).add(a);   // mismatched types: expected `&int`, found `int` (expected &-ptr, found int)
let e = (&a).add(&a);  // this one works (LHS is dereferenced and then rereferenced)