Rust 考虑在函数调用中指定类型参数：`::<T>`

Question

我只想从imageproc crate 调用this function。现在我这样做：

let mut contours = find_contours_with_threshold(&src_image.to_luma8(), 10);

而且我不断收到此错误：

error[E0283]: type annotations needed
  --> src/main.rs:77:24
   |
77 |     let mut contours = find_contours_with_threshold(&src_image.to_luma8(), 10);
   |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type of the type parameter `T` declared on the function `find_contours_with_threshold`
   |
   = note: cannot satisfy `_: Num`
note: required by a bound in `find_contours_with_threshold`
  --> /home/mike/.cargo/registry/src/github.com-1ecc6299db9ec823/imageproc-0.23.0/src/contours.rs:61:8
   |
61 |     T: Num + NumCast + Copy + PartialEq + Eq,
   |        ^^^ required by this bound in `find_contours_with_threshold`
help: consider specifying the type argument in the function call
   |
77 |     let mut contours = find_contours_with_threshold::<T>(&src_image.to_luma8(), 10);
   |                                                    +++++

我知道 Rust 无法弄清楚该函数调用的结果是什么。在文档中它应该返回 Vec<Contour<T>> where T: Num + NumCast + Copy + PartialEq + Eq 但我不知道如何在我的代码中转置它。

我试过这样做：let mut contours: Vec<Contour<dyn Num + NumCast + Copy + PartialEq + Eq>> = find_contours_with_threshold(&src_image.to_luma8(), 10); 但我仍然不明白我在做什么所以任何帮助都会很棒。

在 python 中解压是不是有太多的值？我应该做类似let x, y, z = find_contours..()的事情吗？

Answer 1

有一个类型参数 T，它有一些特征边界（Num、NumCast 等），并且不受约束。

当然，它可以是i32，但您也可以定义一个自定义类型：

#[derive(Copy, Clone)]
struct MySillyNumber;

impl Num for MySillyNumber {}

// the rest of the required traits

这与 T 和 i32 一样有效。

你需要告诉 rustc T 是什么。您可以通过几种方式做到这一点：

• 涡轮鱼：find_contours_with_threshold::<i32>()
• 显式类型归属：let x: Vec<Contour<i32>> = find_contours_with_threshold()
• 将其传递给函数：

fn main() {
  let x = find_contours_with_threshold();
  foo(x);
}

fn foo(x: Vec<Contour<i32>>) {}

• 或任何其他方式，让 rustc 有一个具体类型来替代 T。

请注意，这与使用 Vec<Contour<dyn Num + ...>> 不同。这会将元素变成“特征对象”，它使用动态调度（使用 vtable）来执行运行时多态性。这可能不是您想要的，很大程度上是因为 dyn Trait 没有已知大小，这意味着它不能在不使用某种指针的情况下出现在堆栈上。虽然 Vec 可以说是一个智能指针，但它要求内容具有固定大小，因为它依赖于此进行索引。