Rust为&[&T]实现自定义trait时传入数组引用报错如何解决？

你遇到的报错是Rust中固定长度数组和动态切片是两个完全独立的类型导致的：

• 你当前写的MyTrait实现仅作用于动态切片类型[&T]
• 你调用bar(&[&myA, &myB])时传入的参数是固定长度数组的引用，类型为&[&MyType; 2]，和切片类型不匹配
• Rust trait实现匹配阶段不会自动触发Deref coercion（虽然数组可以隐式转成切片，但trait查找阶段不会做这个转换），所以编译器虽然检测到了切片的实现，但是不会主动应用到数组类型上，就会报出你看到的矛盾提示。

有三种常用的修复方案，可根据你的使用场景选择： #

方案1：调用时手动转切片（改调用代码，不用改实现） #

在数组字面量后加[..]手动将其转为切片，即可匹配你已有的实现：

assert_equals!(a + b, bar(&[&myA, &myB][..]));

也可以用as显式转换：

assert_equals!(a + b, bar(&[&myA, &myB] as &[_]));

该方案适合仅少量地方调用的场景，无需额外编写实现代码。 #

方案2：为固定长度数组增加泛型实现（改实现代码，调用方无需修改） #

借助Rust 1.59+支持的常量泛型，为所有长度的[&T; N]数组统一实现MyTrait，直接复用已有的切片实现避免代码重复：

impl<T, const N: usize> MyTrait for [&T; N]
where
    T: MyTrait,
{
    fn foo(&self, ...) -> f32 {
        self.as_slice().foo(...)
    }
}

添加该实现后你原有的调用代码无需任何修改即可正常编译。 #

方案3：兼容更多集合类型（可选扩展） #

如果需要支持Vec<&T>等其他集合，也可以对应补充实现，同样复用切片逻辑：

impl<T> MyTrait for Vec<&T>
where
    T: MyTrait,
{
    fn foo(&self, ...) -> f32 {
        self.as_slice().foo(...)
    }
}

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