向接收&'a [T: AsRef<str>]的方法传&[&str]的编译错误问题

可正常编译的代码 #

struct Foo<'a, T> {
    foo: &'a [T],
}

impl<'a, T: AsRef<str>> Foo<'a, T> {
    fn f1(foo: &'a [T]) -> Self {
        Self { foo }
    }
}

fn main() {
    let foo = &["a", "b", "c"];
    let works = Foo { foo };
}

无法编译的代码 #

struct Foo<'a, T> {
    foo: &'a [T],
}

impl<'a, T: AsRef<str>> Foo<'a, T> {
    fn f1(foo: &'a [T]) -> Self {
        Self { foo }
    }

    fn f2() -> Self {
        let foo = &["a", "b", "c"];
        Self::f1(foo)
    }
}

编译错误信息 #

error[E0308]: mismatched types
  --> src\main.rs:12:18
   |
12 |         Self::f1(foo)
   |         -------- ^^^ expected `&[T]`, found `&[&str; 3]`
   |         |
   |         arguments to this function are incorrect
   |
   = note: expected reference `&[T]`
              found reference `&[&str; 3]`
note: associated function defined here
  --> src\main.rs:6:8
   |
6  |     fn f1(foo: &'a [T]) -> Self {
   |        ^^ ------------

问题核心 #

&[&str]难道不应该被视为&'a [T: AsRef]的一种具体形式吗？

问题原因 #

问题出在泛型参数T的绑定时机。在f2函数里调用Self::f1(foo)时，编译器需要确定当前Self对应的T是什么，但此时T是整个impl块的泛型参数，没有任何上下文约束——编译器不知道你想让T等于&str，因为f2本身没有接收任何和T相关的参数，也没有明确指定T的类型。

简单说，f2是无参关联函数，没有输入能告诉编译器要实例化的Foo的T类型。你创建的&[&str;3]虽然符合T: AsRef<str>（&str确实实现了AsRef<str>），但编译器没法自动把这个具体类型和impl块的泛型T绑定起来。

修复方案 #

有两种实用的修复方式：

方式一：明确指定f2的返回类型

直接让f2返回具体类型的Foo，因为字符串字面量的生命周期是'static：

struct Foo<'a, T> {
    foo: &'a [T],
}

impl<'a, T: AsRef<str>> Foo<'a, T> {
    fn f1(foo: &'a [T]) -> Self {
        Self { foo }
    }

    fn f2() -> Foo<'static, &str> {
        let foo = &["a", "b", "c"];
        Foo::f1(foo)
    }
}

方式二：为具体类型单独实现f2

把f2放到针对Foo<'static, &str>的impl块里，不需要泛型参数：

struct Foo<'a, T> {
    foo: &'a [T],
}

impl<'a, T: AsRef<str>> Foo<'a, T> {
    fn f1(foo: &'a [T]) -> Self {
        Self { foo }
    }
}

impl Foo<'static, &str> {
    fn f2() -> Self {
        let foo = &["a", "b", "c"];
        Self::f1(foo)
    }
}

补充说明 #

你可能好奇为什么main里直接创建Foo { foo }没问题——因为在main里，foo的类型是&[&str;3]，编译器可以直接推断出Foo的T是&str，生命周期是'static。但f2是无参函数，没有上下文能让编译器推断T，所以必须明确指定。

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