【Rust问答】关于Deref, 使&&T变成&T的疑问

目前知道rust会使&&&&T这种类型归一化, 使用时最终会变成一个&, 感觉这是deref在起作用, 所以翻看源码, 看到如下的系统实现:

#[stable(feature = "rust1", since = "1.0.0")]
impl<T: ?Sized> Deref for &T {
    type Target = T;

    fn deref(&self) -> &T { *self }
}

我看理解是把&T, 转成了&T, 如果是&&T, 相当于&(&T), 转后应该还是&(&T)啊, 为什么会少一个&呢? 如果是理解成&(&T)当成&self, 那么self = &T, 而返回的是*self, 那应该返回是T类型啊, 为什么返回时&T呢, 始终感觉返回值这里应该是self, 而不是*self.

------

网友回答：

laizy 2019-12-02 10:48

fn deref(&self) -> &T { *self } <==> fn deref(self: &Self) -> &T { *self } <==> fn deref(self: &&T) -> &T { *self }

作者 x378320002 2019-12-02 11:01

懂了, 之前理解方法签名中&self有误, 应该是self: &Self的意思, thanks

kylidboy 2019-12-02 16:15

self是个特殊的玩意儿，哈哈