rust - 如何为我不拥有的类型实现我不拥有的特征？

Question

我想为Shl实现Vec特性，代码如下。这将使vec << 4这样的事情成为可能，这对于vec.push(4)来说是很好的糖。

use std::ops::Shl;

impl<T> Shl<T> for Vec<T> {
    type Output = Vec<T>;

    fn shl(&self, elem: &T) -> Vec<T> {
        self.push(*elem);
        *self
    }
}

fn main() {
    let v = vec![1, 2, 3];
    v << 4;
}

编译失败，并出现以下错误:

cannot provide an extension implementation where both trait and type are not defined in this crate [E0117]

或者

type parameter T must be used as the type parameter for some local type (e.g. MyStruct<T>); only traits defined in the current crate can be implemented for a type parameter [E0210]

据我了解，我必须修补stdlib，更具体地说是 collections::vec条板箱。还有另一种方法可以更改此代码以成功编译吗？

Answer 1

尽管您不能完全做到这一点，但通常的解决方法是将所需的类型包装在自己的类型中并在其上实现特征。

use somecrate::FooType;
use somecrate::BarTrait;

struct MyType(FooType);

impl BarTrait for MyType {
    fn bar(&self) {
        // use `self.0` here
    }
}