我有一个返回特征引用的函数 (trait_ref()
) 和另一个接受通用特征实现引用的函数 (take_trait_ref_generic
)。
但是,无法将从第一个函数获得的引用传递给第二个函数。 Rustc 提示“特性 std::marker::Sized
没有为 SomeTrait
实现”。
即使那是真的,为什么它必须实现 Sized
?无论如何,这是一个引用。
trait SomeTrait {}
struct TraitImpl;
impl SomeTrait for TraitImpl {}
struct Container {
trait_impl: TraitImpl,
}
impl Container {
fn trait_ref(&self) -> &SomeTrait {
&self.trait_impl
}
}
fn take_trait_ref_generic<T: SomeTrait>(generic_trait_ref: &T) {}
fn main() {
let container = Container { trait_impl: TraitImpl };
/*Not possible*/
take_trait_ref_generic(container.trait_ref());
}
最佳答案
默认情况下,函数的所有泛型都隐式地具有Sized
绑定(bind),无论它们如何使用。您需要使用 ?Sized
明确选择退出该要求:
fn take_trait_ref_generic<T>(generic_trait_ref: &T)
where
T: ?Sized + SomeTrait
{}
关于reference - 为什么对泛型函数中特征的引用必须实现 `Sized` ?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53146037/