Reference 为什么泛型函数中对trait的引用必须实现“Sized”？

我有一个函数返回对trait的引用（

trait\u ref（）

），还有一个函数引用泛型trait实现（

take\u trait\u ref\u generic

）

但是，无法将我从第一个函数得到的引用传递到第二个函数。Rustc抱怨“trait

std:：marker:：Sized

没有为

SomeTrait

实现”

即使这是真的，为什么它必须实现

size

？无论如何，这是一个参考

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());
}

trait SomeTrait{}
struct-TraitImpl；
TraitImpl{}的impl SomeTrait
结构容器{
特征：TraitImpl，
}
impl容器{
fn trait_ref（&self）->&SomeTrait{
&自我特质
}
}
fn采用{T}
fn main（）{
让container=container{trait_impl:TraitImpl}；
/*不可能*/
以_trait_ref_generic（container.trait_ref（））为例；
}

默认情况下，函数上的所有泛型类型都隐式绑定了

大小

，而不管它们是如何使用的。您需要使用

？size

，明确选择不满足该要求：

fn take_trait_ref_generic<T>(generic_trait_ref: &T)
where 
    T: ?Sized + SomeTrait
{}

fn获取特征参考（generic\u trait\u ref:&T）
哪里
T:？尺寸+特征
{}

Ok这条规则有充分的理由吗？换句话说，如果编译器自动在引用中使用的所有边界上添加+？大小，我们会损失什么？