為什么在泛型函數中對特征的引用必須實現`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
{}