该程序因无限递归而死:
use std::any::Any;
trait Foo {
fn get(&self, index: usize) -> Option<&Any>;
}
impl Foo for Vec<i32> {
fn get(&self, index: usize) -> Option<&Any> {
Vec::get(self, index).map(|v| v as &Any)
}
}
fn main() {
let v: Vec<i32> = vec![1, 2, 4];
println!("Results: {:?}", v.get(0))
}
编译器本身警告:
warning: function cannot return without recurring
--> src/main.rs:8:5
|
8 | fn get(&self, index: usize) -> Option<&Any> {
| _____^ starting here...
9 | | Vec::get(self, index).map(|v| v as &Any)
10 | | }
| |_____^ ...ending here
|
= note: #[warn(unconditional_recursion)] on by default
note: recursive call site
--> src/main.rs:9:9
|
9 | Vec::get(self, index).map(|v| v as &Any)
| ^^^^^^^^^^^^^^^^^^^^^
= help: a `loop` may express intention better if this is on purpose
为什么通用调用语法在这种情况下不起作用?编译器不理解我想要Vec::get
而不是Foo::get
。
如果我不想更改功能名称,我该如何解决这个问题?
答案 0 :(得分:12)
要指定要调用的方法,无论是固有的还是从特征提供的,您都希望使用完全限定的语法:
Type::function(maybe_self, needed_arguments, more_arguments)
Trait::function(maybe_self, needed_arguments, more_arguments)
您的案例不起作用,因为Vec
没有名为get
的方法! get
提供了as_slice
。
最简单的解决方法是直接致电self.as_slice().get(index).map(|v| v as &Any)
:
<...>
您还可以使用完全限定语法,在这种情况下需要尖括号(<[i32]>::get(self, index).map(|v| v as &Any)
)以避免在声明数组文字时出现歧义:
startActivityForResult(new Intent(Intent.ACTION_PICK,
android.provider.MediaStore.Images.Media.INTERNAL_CONTENT_URI), GET_FROM_GALLERY);
通用调用语法
请注意,虽然Rust最初使用术语通用函数调用语法(UFCS),但该术语的使用与现有的理解编程术语冲突,因此不建议使用它。替换期限为Deref
implementation to [T]
。