如何用返回impl Trait的函数初始化泛型结构体字段？

为什么会报错？ #

你写的Generic<T>是泛型结构体，其中的类型参数T是由调用者决定的——也就是说，调用Generic::new()时，用户可以指定任何实现了Trait的类型作为T。但ret_impl()返回的impl Trait是一种不透明类型：编译器知道它是某个实现了Trait的具体类型（这里是St），但这个类型只能由ret_impl()本身来确定，调用者无法指定。

编译器报错的核心原因是：它无法保证调用者指定的T和ret_impl()返回的具体类型是同一个。比如，如果有人尝试调用Generic::<AnotherStructImplementingTrait>::new()，ret_impl()返回的St显然和AnotherStructImplementingTrait不匹配，所以编译器必须阻止这种矛盾的代码。

让代码正常工作的几种方案 #

方案1：让new方法返回固定类型的Generic #

如果你的Generic::new()就是要使用ret_impl()返回的类型，不需要支持其他T，可以把泛型约束放在返回值上，而不是整个impl块：

trait Trait {}

struct St {}

impl Trait for St {}

fn ret_impl() -> impl Trait {
    St {}
}

struct Generic<T: Trait> {
    field: T,
}

// 让new返回固定类型的Generic，无需整个impl块泛型
impl Generic<impl Trait> {
    fn new() -> Generic<impl Trait> {
        Generic { field: ret_impl() }
    }
}

fn main() {
    let var = Generic::new();
}

这种方式保持了静态分发的性能优势，Generic的实际类型会被编译器推断为Generic<St>，但你不需要显式写出St。

方案2：使用动态分发（dyn Trait） #

如果需要Generic能容纳任意实现Trait的类型，而不是固定用ret_impl()的返回值，可以把字段改成Box<dyn Trait>（动态分发）：

trait Trait {}

struct St {}

impl Trait for St {}

fn ret_impl() -> impl Trait {
    St {}
}

// 去掉泛型，改用动态分发的trait对象
struct Generic {
    field: Box<dyn Trait>,
}

impl Generic {
    fn new() -> Generic {
        Generic { field: Box::new(ret_impl()) }
    }
}

fn main() {
    let var = Generic::new();
}

这种方式灵活性高，Generic可以存储任何实现Trait的类型，但会带来轻微的运行时开销（因为需要通过虚表调用方法）。

方案3：显式约束T为ret_impl的返回类型 #

如果你想保留泛型，但强制T必须是ret_impl()返回的类型，可以利用类型推断和转换特性绑定类型：

trait Trait {}

struct St {}

impl Trait for St {}

fn ret_impl() -> impl Trait {
    St {}
}

struct Generic<T: Trait> {
    field: T,
}

impl<T> Generic<T>
where
    T: From<St>,
{
    fn new() -> Generic<T> {
        Generic { field: ret_impl().into() }
    }
}

// 为St实现自身转换的From trait
impl From<St> for St {
    fn from(value: St) -> Self {
        value
    }
}

fn main() {
    let var = Generic::new();
}

这种方式相对繁琐，仅适合需要保留泛型灵活性的场景。

内容的提问来源于stack exchange，提问作者yesint