我有一个函数返回对特征的引用(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());
}
默认情况下,all函数上的泛型类型隐式具有Sized
绑定,无论它们如何使用。您需要使用明确选择退出该要求?Sized
:
fn take_trait_ref_generic<T>(generic_trait_ref: &T)
where
T: ?Sized + SomeTrait
{}
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)