Rust泛型函数参数类型推导困惑：为何T被推断为Selector<&str>？

问题描述 #

调用show_it_generic(&s)时，对编译器推断的泛型参数类型存在疑问，同时遇到Selector<&str>未实现std::fmt::Display trait的错误，需要明确错误原因。

示例代码 #

use std::ops::{Deref, DerefMut};
use std::fmt::Display;

struct Selector<T> {
    elements: Vec<T>,
    current: usize
}

impl<T> Deref for Selector<T> {
    type Target = T;
    fn deref(&self) -> &T {
        &self.elements[self.current]
    }
}

impl<T> DerefMut for Selector<T> {
    fn deref_mut(&mut self) -> &mut T {
        &mut self.elements[self.current]
    }
}

fn show_it_generic<T: Display> (thing: T) {
    println!("{}", thing);
}

fn main() {
    let s = Selector {elements: vec!["good", "bad", "ugly"], current: 2};
    show_it_generic(&s);
}

编译器报错信息 #

error[E0277]: `Selector<&str>` doesn't implement `std::fmt::Display`
  --> src/main.rs:28:22
   |
28 |     show_it_generic(&s);
   |     ---------------  ^ `Selector<&str>` cannot be formatted with the default formatter
   |     |
   |     required by a bound introduced by this call
   |
   = help: the trait `std::fmt::Display` is not implemented for `Selector<&str>`
   = note: in format strings you may be able to use `{:?}` (or {:#?} for pretty-print) instead
   = note: required for `&Selector<&str>` to implement `std::fmt::Display`
note: required by a bound in `show_it_generic`
  --> src/main.rs:22:23
   |
22 | fn show_it_generic<T: Display> (thing: T) {
   |                       ^^^^^^^ required by this bound in `show_it_generic`
help: consider dereferencing here
   |
28 |     show_it_generic(&*s);
   |                      +

For more information about this error, try `rustc --explain E0277`.
error: could not compile `code1` (bin "code1") due to previous error

错误原因分析 #

1. 泛型参数推断与Display约束的关系
   调用show_it_generic(&s)时，传入的参数类型是&Selector<&str>，编译器会将泛型参数T推断为&Selector<&str>。Rust标准库中有impl<T: Display> Display for &T的实现——引用类型要实现Display，其指向的底层类型必须先实现Display。由于Selector<&str>并未实现Display trait，因此&Selector<&str>也无法满足T: Display的约束，从而触发错误。

2. Deref强制转换未自动生效的原因
   虽然Selector<T>实现了Deref trait，&Selector<&str>可被解引用为&&str（该类型满足Display约束），但泛型函数的类型推断逻辑会优先匹配传入的精确类型，不会自动触发Deref强制转换去尝试其他潜在匹配类型。编译器不会主动将&Selector<&str>转换为&&str适配约束，而是直接检查当前推断的T是否符合要求。

解决方法 #

手动触发Deref操作，让编译器匹配到符合Display约束的类型：

• 方式一：使用&*s作为参数，*s通过Deref将Selector<&str>转换为&str，再取引用得到&&str：

  show_it_generic(&*s);
  

• 方式二：直接传入*s（即&str类型）：

  show_it_generic(*s);
  

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