如何调用返回锈蚀上的泛型切片类型的函数

Question

我正在阅读下面的代码从这里开始

#[inline]
pub fn plane<T: Component>(&self, index: usize) -> &[T] {
    if index >= self.planes() {
        panic!("out of bounds");
    }

    if !<T as Component>::is_valid(self.format()) {

正如您所看到的，plane函数返回一个泛型类型的片段。这是否意味着我需要总是像这样调用这个函数：plane::<SomeType>::(my_index)

问题是我不知道要使用哪种类型，它不是整个结构的类型，只是这个函数和其他类型。

例如，我看到

unsafe impl Component for [u8; 3] {
    #[inline(always)]
    fn is_valid(format: format::Pixel) -> bool {
        format == format::Pixel::RGB24 || format == format::Pixel::BGR24
    }
}

这是否意味着T可以是[u8; 3]，因此plane可以返回&[&[u8; 3]]

我该打电话给self.plane::<u8>(index)吗？我试过了，但我在u8上得到了u8。我也不认为&[&[u8; 3]]是对的。

Answer 1

这是否意味着我需要总是这样调用这个函数：plane::<SomeType>(my_index)？

不，如果Rust可以推断出SomeType，您就不必显式地提供它。例如，如果将plane的结果分配给给定类型的变量，则不必在调用中提供它。

这是否意味着T可以是[u8; 3]，因此平面可以返回&[&[u8; 3]]？

如果T是[u8; 3]，则平面返回&[[u8; 3]]。