Rust中参数为Option<&impl Trait>时，传None为何需指定类型？

以下代码改编自《The Rust Programming Language》：

pub trait Summary {
    fn summarize(&self) -> String;
}

pub struct NewsArticle {
    pub headline: String,
    pub location: String,
    pub author: String,
    pub content: String,
}

impl Summary for NewsArticle {
    fn summarize(&self) -> String {
        format!("{}, by {} ({})", self.headline, self.author, self.location)
    }
}

pub struct Tweet {
    pub username: String,
    pub content: String,
    pub reply: bool,
    pub retweet: bool,
}

impl Summary for Tweet {
    fn summarize(&self) -> String {
        format!("{}: {}", self.username, self.content)
    }
}

fn myfunc(s: Option<&impl Summary>) {
    match s {
        Some(s) => println!("{:?}", s.summarize()),
        None => println!("nothing to summarize")
    }
}

fn main() {
    myfunc(None::<&NewsArticle>);  // 正常运行
    // myfunc(None); // 编译报错
}

编写myfunc的目的是接收None或实现Summary trait的类型引用：传入具体类型时调用summarize打印结果，传入None时打印提示信息。但直接调用myfunc(None)会触发编译器错误：

help: consider specifying the generic argument
|
39 | myfunc(None::<&impl Summary>);
| +++++++++++++++++

请问为何无法直接传入None？是否有其他方式声明myfunc以支持直接传入None？

无法直接传入None的原因 #

Rust的Option<T>是泛型枚举，None本身不携带任何具体类型信息。当编写None时，编译器需要推断出泛型参数T的具体类型，但Option<&impl Summary>中的impl Summary是存在类型（一种匿名的 trait 约束），不是一个具体的类型——编译器无法自动确定你要的是&NewsArticle、&Tweet还是其他实现Summary的类型引用，缺少足够的类型推断依据，因此报错。

支持直接传入None的两种实现方式 #

方式一：使用泛型参数替代impl Summary #

将函数改为泛型形式，让编译器通过调用上下文推导类型，传入None时会自动匹配符合Summary约束的任意类型：

fn myfunc<T: Summary>(s: Option<&T>) {
    match s {
        Some(s) => println!("{:?}", s.summarize()),
        None => println!("nothing to summarize")
    }
}

fn main() {
    myfunc(None); // 可正常编译
}

方式二：使用 trait 对象&dyn Summary #

如果希望函数支持动态分发（接受任意实现Summary的类型引用），可以将参数改为Option<&dyn Summary>，&dyn Summary是一个具体的 trait 对象类型，编译器能直接推断None的类型：

fn myfunc(s: Option<&dyn Summary>) {
    match s {
        Some(s) => println!("{:?}", s.summarize()),
        None => println!("nothing to summarize")
    }
}

fn main() {
    let article = NewsArticle {
        headline: "Rust 1.70 released".to_string(),
        location: "Global".to_string(),
        author: "Rust Team".to_string(),
        content: "New features include...".to_string(),
    };
    
    myfunc(Some(&article)); // 正常传入具体类型引用
    myfunc(None); // 直接传入None可正常编译
}

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