为什么在泛型函数中对特征的引用必须实现`Sized`？

Question

我有一个返回对特征的引用的函数（ 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());
}

Answer 1

默认情况下， 无论如何使用，函数上的所有通用类型都隐式具有Sized限制。 您需要使用?Sized明确退出该要求：

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