如何在 trait 约束中指定 `std::ops::Mul` 的预期返回类型？

你遇到的错误核心在于：Hilbert trait 虽然要求实现Mul<f64>，但并没有明确指定这个乘法操作的返回类型是什么。编译器只知道x * 2.0会返回某个类型，但不确定这个类型实现了Hilbert，自然找不到dot方法。

方案1：强制标量乘/除返回原类型（最常用） #

如果你的场景中，标量和Hilbert类型相乘/相除后，结果还是同一个类型（比如向量乘标量还是同维度向量），那可以直接在 trait 约束里指定操作符的Output为Self，这样编译器就明确知道操作后的结果依然实现了Hilbert。

修改后的代码如下：

use std::ops::{Add, Div, Mul, Neg, Sub};

pub trait Hilbert: 
    Add<Output = Self> + 
    Sub<Output = Self> + 
    Mul<Output = Self> + 
    Div<Output = Self> + 
    Neg<Output = Self> + 
    Mul<f64, Output = Self> + 
    Div<f64, Output = Self> + 
    Sized 
{
    fn dot(&self, other: &Self) -> f64;
    fn magnitude(&self) -> f64;
}

fn g<T: Hilbert>(x: T) -> f64 {
    // 注意：dot方法接收的是&Self，所以要传&x而不是x
    (x * 2.0).dot(&x)
}

这里通过Mul<f64, Output = Self>明确告诉编译器：当Self类型和f64相乘时，返回值还是Self类型，而Self实现了Hilbert，所以(x * 2.0)自然可以调用dot方法。

方案2：允许返回其他实现了Hilbert的类型 #

如果你的场景中，标量乘的返回类型可能不是原类型，但依然实现了Hilbert，可以用where子句来约束操作符的返回类型也实现Hilbert：

use std::ops::{Add, Div, Mul, Neg, Sub};

pub trait Hilbert: 
    Add + Sub + Mul + Div + Neg + 
    Mul<f64> + Div<f64> + 
    Sized 
where
    // 指定Mul<f64>的返回类型实现Hilbert
    <Self as Mul<f64>>::Output: Hilbert,
    // 同理约束Div<f64>的返回类型
    <Self as Div<f64>>::Output: Hilbert,
{
    fn dot(&self, other: &Self) -> f64;
    fn magnitude(&self) -> f64;
}

fn g<T: Hilbert>(x: T) -> f64 {
    (x * 2.0).dot(&x)
}

不过这种情况要注意：如果Mul<f64>的返回类型是另一种Hilbert类型，那它的dot方法参数可能需要和原类型兼容，否则依然会有类型不匹配的问题，所以这种方案只适合特殊场景。

内容的提问来源于stack exchange，提问作者trbabb