methods - 一个 Rust 类型之谜 : Convert a function to a method, 和调用函数的签名破坏了编译

Question

我不太明白的关于 Rust 类型的谜团。

我最近在为一个项目重构代码，遇到了一个打字问题一个让我困惑的谜，我希望这里的人能澄清什么是继续。

我一直在为 implement the Seam Carvingalgorithm 编写程序. “缝雕”是一种通过查找自动减小图像尺寸的方法，对于第一行中的每个像素，像素的蜿蜒路径来自从上到下或从左到右，对图像，然后删除该“接缝”。路径是从每个像素的能量:该像素的颜色之间的距离计算两个邻居，然后计算具有最低总数的接缝三角洲被识别。

因此，图像 → 能量图 → 接缝 → 缩小图像。

在内存中，图像是连接在一起的行的集合。扫描垂直接缝意味着扫描行(左和右邻居形成三角洲)，但扫描水平接缝意味着扫描列。列中的相邻像素不相邻内存，这使得多线程与人造丝或横梁困难。

好消息是每个源 都是只读的。产生能量map 只需要对能量图的写入权限。对于专栏，如果我可以旋转能量图 我可以多线程水平扫描。事实证明这很容易，我只需要一个代理对象来映射(x, y) 到 (y, x) 读取图像时。让我们称之为代理对象 Pivot。

让我展示一些代码(AviShaOne 是第一个缝隙雕刻算法，来自 Avidan & Shamir，“Seam Carving”，2007 年):

fn calculate_energy<I, P, S>(image: &I) -> TwoDimensionalMap<u32>
where
    I: GenericImageView<Pixel = P>,
    P: Pixel<Subpixel = S> + 'static,
    S: Primitive + 'static,
{
   ...
}

impl<'a, I, P, S> AviShaOne<'a, I, P, S>
where
    I: GenericImageView<Pixel = P>,
    P: Pixel<Subpixel = S> + 'static,
    S: Primitive + 'static,
{
    fn find_vertical_seam(&self) -> Vec<u32> {
        energy_to_seam(&calculate_energy(self.image))
    }
    fn find_horizontal_seam(&self) -> Vec<u32> {
        energy_to_seam(&calculate_energy(&Pivot::new(self.image)))
    }
}

让我强调一下:上面的代码有效。枢轴重新映射坐标，现在内部函数可以使用线程能力内存对象。

如果我想将一幅图像缩小多于一个接缝，我必须运行这个反复计算。如果我能缓存能量就好了 map 。 (由于接缝蜿蜒，去除接缝会损坏穿过它的接缝，移除的柱子会相当大，但是它仍然比为每个接缝重新计算它更糟糕。)我想要将能量图添加到 struct 中，并带上 calculate_energy进入 impl。

这就是事情变得奇怪的地方:

impl<'a, I, P, S>  AviShaOne<'a, I, P, S>
where
    I: GenericImageView<Pixel = P>,
    P: Pixel<Subpixel = S> + 'static,
    S: Primitive + 'static,
{
    fn calculate_energy(&self, image: &I) -> TwoDimensionalMap<u32>
    {
        ...
    }

    fn find_horizontal_seam(&self) -> Vec<u32> {
        energy_to_seam(&self.calculate_energy(&Pivot::new(self.image)))
    }
}

我所做的只是将 calculate_energy 移动到实现中。没有其他代码已更改。 Pivot 与 AviShaOne 具有相同的类型签名，因为它们都在处理这些 GenericImageView 对象。而现在它不会编译:

176 |         energy_to_seam(&self.calculate_energy(&Pivot::new(self.image)))
    |                                               ^^^^^^ expected type parameter, found struct `pivot::Pivot`

这就是奥秘。功能实际上是相同的。方式据我所知，签名是一致的，从字面上复制&粘贴以保持一致性。我还没有将 energy 添加为字段!当功能只是一个时它工作正常函数，但现在它是实现的成员，编译器想要别的东西，但我不知道是什么。

编译器想要什么？

Answer 1

有一个非常重要的变化，calculate_energy 不再是所有类型 I 的通用函数，例如 I: Gener...等等，等等。相反，它是一个常规函数，需要一个非常特定的类型 I。

哪种类型I？好吧，无论 I AviShaOne 使用哪个，我都假设它与 self.image 是同一类型。所以调用 calculate_energy(self.image) 没问题。

但是，Pivot::new(self.image) 有一个完全不同的类型，它是 Pivot，而不是 I。由于 calculate_energy 不再是通用函数，因此无法处理此问题。