是否可以为 apply::Apply 实现运算符重载？

Question

有没有办法为apply::Apply实现operator overloading？

在 Rust 中，许多运算符可以通过特征重载。也就是说，一些运算符可用于根据其输入参数完成不同的任务。这是可能的，因为运算符是方法调用的语法糖。例如，a + b 中的 + 运算符调用 add 方法（如在 a.add(b) 中）。这个 add 方法是 Add trait 的一部分。因此，任何 Add trait 的实现者都可以使用 + 运算符。

/// Represents a type which can have functions applied to it (implemented
/// by default for all types).
pub trait Apply<Res> {
    /// Apply a function which takes the parameter by value.
    fn apply<F: FnOnce(Self) -> Res>(self, f: F) -> Res
    where Self: Sized {
        f(self)
    }
}

impl<T: ?Sized, Res> Apply<Res> for T {
    // use default definitions...
}

Crate overload

例如，

let string = 1 >> (|x| x * 2) >> (|x: i32| x.to_string());

为

let string = 1.apply(|x| x * 2).apply(|x: i32| x.to_string());

Answer 1

不是真的。运算符不继续特征，他们继续类型。问“Apply 的>> 的实现是什么”是没有意义的，但问“u8 的>> 的实现是什么”确实有意义。所以你可以尝试做的是定义Apply，就像你定义的那样，现在：

impl<T, Res, F> std::ops::Shr<F> for T
where
    T: Apply<Res>,
    F: FnOnce(T) -> Res
{
    type Output = Res;
    fn shr(self, rhs: F) -> Res {
        rhs(self)
    }
}

这个几乎有效，只是编译器报错，引用

只有在当前 crate 中定义的特征才能为类型参数实现

这个错误的原因是你不能保证另一个箱子没有为相同的类型实现相同的特征。如果另一个箱子定义了一个

impl<F: FnOnce(MyType) -> String> std::ops::Shr<F> for MyType { ... }

不清楚应该发生什么，因为现在>> 运算符已为同一类型定义了两次。如果您将 MyType 替换为您的板条箱本地的某些特定类型，您可以编写这样的 impl，但当然现在 >> 的东西不适用于所有其他类型。