为何这段Rust代码无法编译？传入&str作为参数为何不行？

这段代码编译失败的核心原因是类型不匹配：

foo函数的返回类型被声明为S<T>，其中T是由调用foo的外部代码决定的类型参数（比如main里调用foo("a")时，T会被推断为&str）。但你在foo内部调用bar("b")时，bar的类型参数会被推断为&'static str，因此返回的是S<&'static str>——这个类型和foo承诺返回的S<T>并不等价，除非调用foo时的T恰好是&'static str，但T是外部传入的，foo内部无法保证这一点，所以编译器抛出类型不匹配的错误。

你完全可以在其他场景下给bar传入&str（比如直接写bar("b")是合法的），问题出在foo的返回类型约束和内部逻辑的冲突上。

解决方案 #

根据你的实际需求，有两种常见的处理方式：

1. 让foo返回固定类型的S #

如果foo不需要返回和输入参数同类型的S<T>，而是固定返回S<&'static str>，可以修改foo的定义：

struct S<T: AsRef<str>>{
    t: T
}

fn bar<T: AsRef<str>>(t: T) -> S<T>{
    S{t}
}

// 修改foo的返回类型为固定的S<&'static str>
fn foo(_t: impl AsRef<str>) -> S<&'static str> {
    bar("b")
}

fn main() {
    foo("a");
}

2. 将"b"转换为输入的T类型 #

如果必须让foo返回和输入同类型的S<T>，需要给T增加额外的约束，确保&'static str可以转换为T：

struct S<T: AsRef<str>>{
    t: T
}

fn bar<T: AsRef<str>>(t: T) -> S<T>{
    S{t}
}

// 增加From约束，确保"b"可以转换成T类型
fn foo<T>(t: T) -> S<T> 
where 
    T: AsRef<str> + From<&'static str>,
{
    bar(T::from("b"))
}

fn main() {
    foo("a");
}

或者使用Into trait来实现转换：

fn foo<T>(t: T) -> S<T> 
where 
    T: AsRef<str>,
    &'static str: Into<T>,
{
    bar("b".into())
}

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