为什么Rust中Default::default()未被定义为常量函数？

截至Rust 1.6版本，标准库中Default trait的定义如下：

pub trait Default {
    fn default() -> Self;
}

很多人会好奇为什么不直接把方法声明为const fn，写成下面的形式：

pub trait Default {
    const fn default() -> Self;
}

核心原因有三个：

• 版本时间线完全不匹配。Rust 1.6是2016年初发布的极早期版本，彼时const fn本身的语法和能力都还在开发阶段，连基础的稳定支持都没落地，更别说支持在trait中声明const方法了——当时的Rust编译器根本识别不了这种写法，完全不具备实现基础。
• 强制const会直接排除大量常用类型的实现资格。哪怕后续const fn逐步稳定，它在很长一段时间内都有严格的能力限制：不能进行堆内存分配、不能调用非const函数、无法执行复杂的运行时逻辑。而String、Vec、HashMap这些标准库核心类型，默认值初始化都涉及堆分配操作，根本不可能写成const fn。如果强制要求trait方法是const fn，这些高频使用的类型直接就无法实现Default，完全违背了这个trait的设计初衷。
• 直接修改原有trait签名会突破兼容性红线。Default是Rust生态中使用范围极广的核心trait，在它稳定之后，整个生态里已经存在海量的Default实现，这些实现中大量用到了非const逻辑。如果直接把trait方法改成const fn，相当于强制所有现存实现都必须改写为const fn，否则就会编译失败，会直接导致绝大多数依赖库无法正常构建，这种级别的破坏性变更是Rust标准库绝对不会引入的。

目前Rust已经通过后续推出的const trait impl特性解决了相关需求：不强制要求所有default()实现都是const，只允许满足const条件的类型将自己的实现标记为const，支持在const上下文调用，既不破坏已有代码的兼容性，也满足了const场景的使用需要。

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