目前知道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.
1
共 5 条评论, 1 页
评论区
写评论self=&T , &self = &&T
self是个特殊的玩意儿，哈哈
懂了, 之前理解方法签名中&self有误, 应该是self: &Self的意思, thanks 对以下内容的回复：
懂了, 之前理解方法签名中&self有误, 应该是self: &Self的意思, thanks 对以下内容的回复：
fn deref(&self) -> &T { *self }<==>fn deref(self: &Self) -> &T { *self }<==>fn deref(self: &&T) -> &T { *self }