Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

方法调用表达式

Syntax
MethodCallExpressionExpression . 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,在以下位置搜索具有该类型接收者的可见方法:

  1. T 的固有方法(直接在 T 上实现的方法)。
  2. 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 版本之前,在查找可见方法期间,如果候选接收者类型是数组类型,则忽略标准库 IntoIterator trait 提供的方法。

为此目的使用的版本由表示方法名称的词法单元确定。

此特殊情况将来可能会被移除。

Warning

对于 trait 对象,如果有与 trait 方法同名的固有方法,在方法调用表达式中尝试调用该方法时将产生编译器错误。相反,您可以使用消除歧义函数调用语法调用该方法,在这种情况下它调用 trait 方法,而不是固有方法。无法调用固有方法。只要不要在 trait 对象上定义与 trait 方法同名的固有方法,您就会没事。