rust - 为什么 Default::default() 不是一个常量函数？

Question

从 Rust 1.6 开始，当前特征 Default定义为，

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

为什么不是这个

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

Answer 1

有很多方法可以实现非 const 的 Default::default。例如:

use rand;

struct MyStruct {
    v: u32
}
impl Default for MyStruct {
    fn default() -> Self {
        Self {
            // RNG will never be const!
            v: rand::random()
        }
    }
}

较少人为的示例包括引用全局变量，例如克隆某些全局默认配置的 Arc。

即使 rustc 支持，更改 Default::default 也将是一个 Not Acceptable 破坏性更改，并且可以说是不受欢迎的。