前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >【Rust问答】关于Deref, 使&&T变成&T的疑问

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

作者头像
MikeLoveRust
发布2019-12-17 17:07:03
7610
发布2019-12-17 17:07:03
举报
文章被收录于专栏:Rust语言学习交流

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

代码语言:javascript
复制
#[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是个特殊的玩意儿,哈哈

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2019-12-02,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 Rust语言学习交流 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档