Блог

Есть ли какой-либо способ реализовать перегрузку оператора для apply::Apply ?

В Rust многие операторы могут быть перегружены через черты. То есть некоторые операторы могут использоваться для выполнения различных задач на основе их входных аргументов. Это возможно, потому что операторы являются синтаксическим сахаром для вызовов методов. Например, оператор в a b вызывает метод add (как в a.add(b) ). Этот метод add является частью функции Add. Следовательно, оператор может использоваться любым разработчиком функции добавления.

 /// 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...
}
 

Перегрузка ящика

Например,

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

для

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

Не совсем. Операторы не переходят к признакам, они переходят к типам. Не имеет смысла спрашивать «какова реализация >> for Apply «, но имеет смысл спросить «какова реализация >> for 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)
    }
}
 

Это почти работает, за исключением того, что компилятор сообщает об ошибке, ссылаясь

для параметра типа могут быть реализованы только признаки, определенные в текущем ящике

Причина этой ошибки в том, что у вас нет гарантии, что другой ящик не реализовал ту же особенность для того же типа. Если другой ящик определил

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

неясно, что должно произойти, поскольку теперь >> оператор был определен дважды для одного и того же типа. Вы могли бы написать такое impl , если MyType бы вы заменили какой-то определенный тип, локальный для вашего ящика, но, конечно, теперь >> это не будет работать для всех других типов.