方法调用表达式
Syntax
MethodCallExpression → Expression . PathExprSegment ( CallParams? )
_方法调用_由一个表达式(接收者)后跟单个点、表达式路径段和括号表达式列表组成。
方法调用解析为特定 trait 上的关联方法,如果左侧的确切 self 类型已知,则静态分派到方法,或者如果左侧表达式是间接的 trait 对象,则动态分派。
#![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)
}
当查找方法调用时,接收者可能会被自动解引用或借用以调用方法。这需要比其他函数更复杂的查找过程,因为可能有许多可能的方法要调用。使用以下过程:
第一步是构建候选接收者类型列表。通过重复解引用接收者表达式的类型来获取这些类型,将遇到的每种类型添加到列表中,然后最后尝试数组未大小强制转换,如果成功则添加结果类型。
然后,对于每个候选 T,在 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 约束提供的方法。然后查找所有剩余的作用域内方法。
Note
按顺序对每种类型进行查找,这偶尔会导致令人惊讶的结果。下面的代码将打印 “In trait impl!”,因为首先查找
&self方法,在找到结构体的&mut self方法之前找到了 trait 方法。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 被认为是相同的,则是编译器错误。这些情况需要消除歧义函数调用语法来调用方法和函数。
2021 Edition differences
在 2021 版本之前,在查找可见方法期间,如果候选接收者类型是数组类型,则忽略标准库
IntoIteratortrait 提供的方法。为此目的使用的版本由表示方法名称的词法单元确定。
此特殊情况将来可能会被移除。
Warning
对于 trait 对象,如果有与 trait 方法同名的固有方法,在方法调用表达式中尝试调用该方法时将产生编译器错误。相反,您可以使用消除歧义函数调用语法调用该方法,在这种情况下它调用 trait 方法,而不是固有方法。无法调用固有方法。只要不要在 trait 对象上定义与 trait 方法同名的固有方法,您就会没事。