- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在使用Rust进行学习/实验,并且在使用该语言所获得的所有优雅中,都有一种使我感到困惑的特质,并且似乎完全不合时宜。
进行方法调用时,Rust自动取消引用指针。我进行了一些测试以确定确切的行为:
struct X { val: i32 }
impl std::ops::Deref for X {
type Target = i32;
fn deref(&self) -> &i32 { &self.val }
}
trait M { fn m(self); }
impl M for i32 { fn m(self) { println!("i32::m()"); } }
impl M for X { fn m(self) { println!("X::m()"); } }
impl M for &X { fn m(self) { println!("&X::m()"); } }
impl M for &&X { fn m(self) { println!("&&X::m()"); } }
impl M for &&&X { fn m(self) { println!("&&&X::m()"); } }
trait RefM { fn refm(&self); }
impl RefM for i32 { fn refm(&self) { println!("i32::refm()"); } }
impl RefM for X { fn refm(&self) { println!("X::refm()"); } }
impl RefM for &X { fn refm(&self) { println!("&X::refm()"); } }
impl RefM for &&X { fn refm(&self) { println!("&&X::refm()"); } }
impl RefM for &&&X { fn refm(&self) { println!("&&&X::refm()"); } }
struct Y { val: i32 }
impl std::ops::Deref for Y {
type Target = i32;
fn deref(&self) -> &i32 { &self.val }
}
struct Z { val: Y }
impl std::ops::Deref for Z {
type Target = Y;
fn deref(&self) -> &Y { &self.val }
}
#[derive(Clone, Copy)]
struct A;
impl M for A { fn m(self) { println!("A::m()"); } }
impl M for &&&A { fn m(self) { println!("&&&A::m()"); } }
impl RefM for A { fn refm(&self) { println!("A::refm()"); } }
impl RefM for &&&A { fn refm(&self) { println!("&&&A::refm()"); } }
fn main() {
// I'll use @ to denote left side of the dot operator
(*X{val:42}).m(); // i32::m() , Self == @
X{val:42}.m(); // X::m() , Self == @
(&X{val:42}).m(); // &X::m() , Self == @
(&&X{val:42}).m(); // &&X::m() , Self == @
(&&&X{val:42}).m(); // &&&X:m() , Self == @
(&&&&X{val:42}).m(); // &&&X::m() , Self == *@
(&&&&&X{val:42}).m(); // &&&X::m() , Self == **@
println!("-------------------------");
(*X{val:42}).refm(); // i32::refm() , Self == @
X{val:42}.refm(); // X::refm() , Self == @
(&X{val:42}).refm(); // X::refm() , Self == *@
(&&X{val:42}).refm(); // &X::refm() , Self == *@
(&&&X{val:42}).refm(); // &&X::refm() , Self == *@
(&&&&X{val:42}).refm(); // &&&X::refm(), Self == *@
(&&&&&X{val:42}).refm(); // &&&X::refm(), Self == **@
println!("-------------------------");
Y{val:42}.refm(); // i32::refm() , Self == *@
Z{val:Y{val:42}}.refm(); // i32::refm() , Self == **@
println!("-------------------------");
A.m(); // A::m() , Self == @
// without the Copy trait, (&A).m() would be a compilation error:
// cannot move out of borrowed content
(&A).m(); // A::m() , Self == *@
(&&A).m(); // &&&A::m() , Self == &@
(&&&A).m(); // &&&A::m() , Self == @
A.refm(); // A::refm() , Self == @
(&A).refm(); // A::refm() , Self == *@
(&&A).refm(); // A::refm() , Self == **@
(&&&A).refm(); // &&&A::refm(), Self == @
}
&self
声明的方法(按引用调用)时:self
的单个取消引用self
的确切类型self
类型,使用T
(按值调用)声明的方法,其行为就像是对&self
类型使用&T
(按引用的引用)声明,并引用点运算符左侧的内容进行调用。 Deref
特性的重载。 最佳答案
您的伪代码几乎是正确的。对于此示例,假设我们有一个方法叫做foo.bar()
,其中foo: T
。我将使用fully qualified syntax(FQS)来明确说明调用该方法的类型,例如A::bar(foo)
或A::bar(&***foo)
。我只是要写一堆随机的大写字母,每个字母都是任意的类型/特征,除了T
始终是调用该方法的原始变量foo
的类型。
该算法的核心是:
U
(即,先设置U = T
,然后再设置U = *T
,...)bar
,其中接收方类型(方法中的self
的类型)与U
完全匹配,请使用它(a "by value method")&
或&mut
),如果某种方法的接收者与&U
相匹配,则使用它(an "autorefd method")Self
类型,即
impl ... for Foo { fn method(&self) {} }
在匹配该方法时会考虑
&Foo
,而
fn method2(&mut self)
在匹配时会考虑
&mut Foo
。
Deref
实现也是一个错误,该实现使循环无限(它们将达到“递归限制”)。
&foo
保留了与foo
的牢固连接(它是foo
本身的地址),但是开始使用它会丢失很多:&&foo
是存储&foo
的堆栈上某个临时变量的地址。 foo.refm()
调用,如果
foo
具有以下类型:
X
,然后我们从U = X
开始,refm
的接收者类型为&...
,因此步骤1不匹配,采用自动引用会给我们&X
,并且确实匹配(与Self = X
),因此调用为RefM::refm(&foo)
&X
,以U = &X
开头,它与第一步中的&self
匹配(带有Self = X
),因此调用为RefM::refm(foo)
&&&&&X
,这两个步骤都不匹配(此特性未实现&&&&X
或&&&&&X
),因此我们取消引用一次以获取U = &&&&X
,它匹配1(带有Self = &&&X
),并且调用为RefM::refm(*foo)
Z
,与任一步骤均不匹配,因此将其取消引用一次,以获取Y
,它也与之不匹配,因此再次对其进行引用,以获取X
,其不匹配1,但在自动引用后匹配,因此调用是RefM::refm(&**foo)
。 &&A
,1.不匹配,也不匹配2。因为trait尚未为&A
(对于1)或&&A
(对于2)实现,所以它被引用到&A
(与1.匹配),并带有Self = A
foo.m()
,并且如果
A
具有以下类型,则
Copy
不是
foo
:
A
,然后U = A
直接匹配self
,因此调用是M::m(foo)
和Self = A
&A
,然后1.不匹配,也不匹配2.(&A
和&&A
都没有实现此特征),因此它被取消引用到A
,后者确实匹配,但是M::m(*foo)
需要按值获取A
并因此移出foo
,因此是错误。 &&A
,1.不匹配,但是自动引用会给出匹配的&&&A
,因此调用是M::m(&foo)
和Self = &&&A
。 关于rust - Rust的确切自动引用规则是什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/66301433/
通过多次搜索和pytorch文档本身,我可以发现在嵌入层内部有一个查找表,用于存储嵌入向量。我无法理解的是: 在这一层的培训期间究竟发生了什么? 权重是多少,以及这些权重的梯度是如何计算的? 我的直觉
当应用程序有大量数据(400M)要写入非阻塞套接字时,write() 返回EWOULDBLOCK 或EAGAIN 当发送缓冲区变满时。 当套接字被(e)轮询时,我有时会看到发送缓冲区中有 7M 空间(
就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持,但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the he
我经常阅读一些编程语言对模块的支持(“一流”)(OCaml,Scala,TypeScript [?]),并且最近偶然发现了这样的答案,即在Scala的显着特征中引用模块作为一流公民。 我以为我很清楚模
我已经提交了一个自定义的开放图表故事,但它被拒绝并显示以下消息: 打开图表捐赠(行动类型)提交内容、操作、对象和使用说明必须以英文提交。您可以在应用程序面板的“本地化”选项卡中翻译操作和对象。 如果我
给定一个任意的 boolean 值列表,确定其中一个恰好为真的最优雅的方法是什么? 最明显的 hack 是类型转换:将 false 转换为 0,将 true 转换为 1,然后对它们求和,并返回 sum
这个问题在这里已经有了答案: When to use extern "C" in simple words? [duplicate] (7 个答案) 关闭 9 年前。 如果您想将此问题标记为重复问题
我是一名优秀的程序员,十分优秀!