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

我有一个函数返回对一个trait（trait_ref()）的引用，还有一个函数引用一个泛型trait实现（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绑定，而不管它们是如何使用的。您需要使用?Sized显式地退出该要求：

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