为什么我不能从这个函数返回泛型类型 T？ [复制]

Question

我想返回引用类型，但是第一个make_debug 函数实现没有编译。此函数签名的返回类型使用T 或impl std::fmt::Debug 有什么区别？

fn test() -> impl std::fmt::Debug + 'static {
    let value = "v".to_string();
    make_debug(&value)
}

// This function not work
// fn make_debug<'a, T: std::fmt::Debug>(_: &'a T) -> T {
//     42u8
// }

// This one works well
fn make_debug<'a, T: std::fmt::Debug>(_: &'a T) -> impl std::fmt::Debug {
    42u8
}

Playground

Answer 1

使用-> impl std::fmt::Debug 的意思是“嘿，我要返回一个实现调试的类型，但我不知道那个类型是什么”。

在使用-> T 时，意味着“嘿，我要返回一些 T 类型的东西，它恰好实现了 Debug”

所以区别在于，在第一种情况下，您可以返回与输入不同的类型，只要它实现了 Debug 特征，它就可以工作。而在第二种情况下，您必须返回与输入相同类型的内容。