相关常量

使用associated_consts 功能，用户可以采用如下方式来定义常量：

#![feature(associated_consts)]trait Foo {const ID: i32;}impl Foo for i32 {const ID: i32 = 1;}fn main() {assert_eq!(1, i32::ID);}

任何Foo 的实现都必须定义ID. 如果没有定义：

#![feature(associated_consts)]trait Foo {const ID: i32;}impl Foo for i32 {}

上述代码出现下面的提示：

error: not all trait items implemented, missing:ID[E0046] impl Foo for i32 { }

默认的值可以采用如下实现：

#![feature(associated_consts)]trait Foo {const ID: i32 = 1;}impl Foo for i32 {}impl Foo for i64 {const ID: i32 = 5;}fn main() {assert_eq!(1, i32::ID);assert_eq!(5, i64::ID);}

正如用户看到那样，当实现Foo 的时候，用户可以不实现i32，它就会使用默认值。至于i64，我们也可以增加我们自己的定义。

相关常量并不是必须与一个特性相关。struct 的impl块也可以很好的工作，如下：

#![feature(associated_consts)]struct Foo;impl Foo {pub const FOO: u32 = 3;}