方法调用表达式
method-call-expr.md
commit: eb5290329316e96c48c032075f7dbfa56990702b
本章译文最后维护日期:2021-02-21
句法
MethodCallExpression :
Expression.
PathExprSegment(
CallParams?)
方法调用由一个表达式(接受者(receiver))后跟一个单点号(.
)、一个表达式路径段(path segment)和一个圆括号封闭的的表达式列表组成。
方法调用被解析为特定 trait 上的关联方法时,如果点号左边的表达式有确切的已知的 self
类型,则会静态地分发(statically dispatch)给在此类型下查找到的某个同名方法来执行;如果点号左边的表达式是间接的 trait对象,则会采用动态分发(dynamically dispatch)的方式。
#![allow(unused)] fn main() { let pi: Result<f32, _> = "3.14".parse(); let log_pi = pi.unwrap_or(1.0).log(2.72); assert!(1.14 < log_pi && log_pi < 1.15) }
在查找方法调用时,为了调用某个方法,可能会自动对接受者做解引用或借用。 这需要比其他函数更复杂的查找流程,因为这可能需要调用许多可能的方法。具体会用到下述步骤:
第一步是构建候选接受者类型的列表。通过重复对接受者表达式的类型作解引用,将遇到的每个类型添加到列表中,然后在最后再尝试进行一次非固定尺寸类型自动强转(unsized coercion),如果成功,则将结果类型也添加到此类型列表里。
然后,再在这个列表中的每个候选类型 T
后紧跟着添加 &T
和 &mut T
候选项。
例如,接受者的类型为 Box<[i32;2]>
,则候选类型为 Box<[i32;2]>
,&Box<[i32;2]>
,&mut Box<[i32;2]>
,[i32; 2]
(通过解引用得到),&[i32; 2]
,&mut [i32; 2]
,[i32]
(通过非固定尺寸类型自动强转得到),&[i32]
,最后是 &mut [i32]
。
然后,对每个候选类型 T
,编译器会它的以下位置上搜索一个可见的同名方法,找到后还会把此方法所属的类型当做接受者:
T
的固有方法(直接在T
上实现的方法)。- 由
T
已实现的可见的 trait 所提供的任何方法。如果T
是一个类型参数,则首先查找由T
上的 trait约束所提供的方法。然后查找作用域内所有其他的方法。
注意:查找是按顺序进行的,这有时会导致出现不太符合直觉的结果。 下面的代码将打印 “In trait impl!”,因为首先会查找
&self
上的方法,在找到结构体Foo
的(接受者类型为)&mut self
的(固有)方法(Foo::bar
)之前先找到(接受者类型为&self
的)trait方法(Bar::bar
)。struct Foo {} trait Bar { fn bar(&self); } impl Foo { fn bar(&mut self) { println!("In struct impl!") } } impl Bar for Foo { fn bar(&self) { println!("In trait impl!") } } fn main() { let mut f = Foo{}; f.bar(); }
如果上面这第二步查找导致了多个可能的候选类型[^译者注],就会导致报错,此时必须将接受者转换为适当的接受者类型再来进行方法调用。
此方法过程不考虑接受者的可变性或生存期,也不考虑方法是否为非安全(unsafe
)方法。
一旦查找到了一个方法,如果由于这些(可变性、生存期或健全性)原因中的一个(或多个)而不能调用,则会报编译错误。
如果某步碰到了存在多个可能性方法的情况,比如泛型方法之间或 trait方法之间被认为是相同的,那么它就会导致编译错误。 这些情况就需要使用函数调用的消歧句法来为方法调用或函数调用消除歧义。
警告: 对于 trait对象,如果有一个与 trait方法同名的固有方法,那么当尝试在方法调用表达式(method call expression)中调用该方法时,将编译报错。 此时,可以使用消除函数调用歧义的句法来明确调用语义。 在 trait对象上使用消除函数调用歧义的句法,将只能调用 trait方法,无法调用固有方法。 所以只要不在 trait对象上定义和 trait方法同名的固有方法就不会碰到这种麻烦。
[^译者注]:这个应该跟后面说的方法名歧义了一样,如果类型 T
的两个 trait 都有调用的那个方法,那此方法的调用者类型就不能确定了,就需要消歧。