函数如何要求类型实现特征而不删除现有特征界限？

Question

我正在尝试使main_func返回具有SrObject特征的T型结构的SrObject

struct TestA {
    value: u8,
}

pub trait SrObject {
    fn myfunc(&mut self);
}
impl SrObject for TestA {
    fn myfunc(&mut self) {
        unimplemented!();
    }
}
impl Default for TestA {
    fn default() -> TestA {
        TestA { value: 3u8 }
    }
}

fn main_func<T: SrObject>(t: T) -> Vec<T> {
    let mut v = Vec::<T>::new();
    for i in 0..10 {
        v.push(T::default());
        //v[i].myfunc();
    }
    return v;
}

它给：

error[E0599]: no function or associated item named `default` found for type `T` in the current scope
  --> src/main.rs:22:16
   |
22 |         v.push(T::default());
   |                ^^^^^^^^^^ function or associated item not found in `T`
   |
   = help: items from traits can only be used if the trait is implemented and in scope
   = note: the following trait defines an item `default`, perhaps you need to implement it:
           candidate #1: `std::default::Default`

我了解我在fn main_func<T: SrObject>没有Default trait，但是如何在不删除SrObject trait的情况下实现这一SrObject ？

Answer 1

我鼓励您回去重读Rust编程语言 。 这是Rust社区创建的免费在线书籍，涵盖了成为一名成功的Rust程序员所需了解的广泛知识。

在这种情况下， 关于特征的章节提到了有关特征边界的内容 ：

我们可以使用+在通用类型上指定多个特征范围。 如果我们需要能够在函数和summary方法中使用类型T上的显示格式，则可以使用特征范围T: Summarizable + Display 。 这意味着T可以是实现Summarizable和Display任何类型。

对于您的情况：

fn main_func<T: SrObject + Default>() -> Vec<T> {
    (0..10).map(|_| T::default()).collect()
}

要么

fn main_func<T>() -> Vec<T>
where
    T: SrObject + Default,
{
    (0..10).map(|_| T::default()).collect()
}

使其变得惯用的其他更改：

• 调用Vec::new时不要指定v的类型； 它会被推断出来。
• 不要在函数末尾使用显式return 。
• 使用Iterator::map和Iterator::collect将迭代器转换为集合，而不是手动推送元素。

也可以看看：

• <T：特质>与其中T：特质之间的区别