如何让Rust函数要求类型实现Trait且保留原有Trait约束？

嘿，我来帮你搞定这个Rust代码的报错问题～

首先咱们得搞清楚报错的根源：你的main_func函数里调用了T::default()来创建T类型的实例，但当前函数的泛型约束只要求T实现SrObject trait，并没有要求它实现Default trait。编译器可没法默认推断所有实现SrObject的类型都自带default方法，自然就会抛出错误啦。

要解决这个问题很简单——咱们只需要在泛型约束里同时加上Default trait的要求就行，用+符号就能叠加多个trait约束。另外我注意到你函数里的参数t其实没被用到，如果不需要的话可以直接删掉，让函数更简洁。

修改后的完整代码如下：

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

// 同时添加SrObject和Default的泛型约束
fn main_func<T: SrObject + Default>() -> Vec<T> {
    let mut v = Vec::<T>::new();
    for i in 0..10 {
        let mut item = T::default();
        item.myfunc(); // 现在可以放心调用myfunc，因为T实现了SrObject
        v.push(item);
    }
    v
}

关键点说明： #

• 泛型约束T: SrObject + Default明确要求T必须同时实现这两个trait，这样编译器就清楚T既可以调用myfunc（来自SrObject），也能通过default创建实例（来自Default）。
• 如果之后你还需要T实现其他trait，比如Clone或者Debug，只需要继续用+追加约束即可，比如T: SrObject + Default + Clone。

内容的提问来源于stack exchange，提问作者Slim Shady