Rust类型之谜：将函数转换为方法，并且调用函数的签名中断编译

Question

我不太了解的有关Rust类型的谜。

我最近正在重构一个项目的代码并遇到了打字错误让我感到困惑的谜团，希望在座的人能澄清一下继续。

我一直在向implement the Seam Carving algorithm编写程序。 “缝雕刻”是一种通过以下方式自动缩小图像尺寸的方法：第一行中的每个像素，从从上到下或从左到右，这将对图像，然后删除该“接缝”。路径是根据每个像素的energy：该像素的颜色之间的距离计算两个邻居，然后以最低总和delta被识别。

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

[在内存中，图像是连接在一起的行的集合。扫描垂直接缝意味着扫描行（左和右邻居形成三角洲），但是扫描水平接缝意味着扫描列。列中的相邻像素在以下位置not相邻内存，这使人造丝或横梁实现了多线程困难。

好消息是每个source是只读的。产生能量映射仅需要对能量映射进行写访问。对于列，如果我可以旋转能量图，也可以进行多线程水平扫描。事实证明这很容易，我所需要的只是一个代理对象来映射读取图像时，从(x, y)至(y, x)。叫那个代理设为Pivot。

让我展示一些代码（AviShaOne是第一个接缝雕刻算法，摘自Avidan＆Shamir，“无缝雕刻”，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)))
    }
}

让我强调：上面的代码works。枢轴重映射坐标，现在内部函数可以使用支持线程的功能内存对象。

如果要缩小一个以上接缝的图像，则必须运行此反复计算。如果我能cache精力会很好地图。 （由于接缝蜿蜒，去除该接缝会损坏穿过它的接缝，移除的列会很大，但是它仍然比每个接缝重新计算它还差。）我想要将能量图添加到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不再是通用函数，因此无法处理。