关联常量

associated-constants.md
commit 024aa9a345e92aa1926517c4d9b16bd83e74c10d

通过associated_consts功能，你像这样可以定义常量：

  1. #![feature(associated_consts)]
  3. trait Foo {
  4.     const ID: i32;
  5. }
  7. impl Foo for i32 {
  8.     const ID: i32 = 1;
  9. }
  11. fn main() {
  12.     assert_eq!(1, i32::ID);
  13. }

任何Foo的定义都必须定义ID，不定义的话：

  1. #![feature(associated_consts)]
  3. trait Foo {
  4.     const ID: i32;
  5. }
  7. impl Foo for i32 {
  8. }

会给出

  1. error: not all trait items implemented, missing: `ID` [E0046]
  2.      impl Foo for i32 {
  3.      }

也可以实现一个默认值：

  1. #![feature(associated_consts)]
  3. trait Foo {
  4.     const ID: i32 = 1;
  5. }
  7. impl Foo for i32 {
  8. }
  10. impl Foo for i64 {
  11.     const ID: i32 = 5;
  12. }
  14. fn main() {
  15.     assert_eq!(1, i32::ID);
  16.     assert_eq!(5, i64::ID);
  17. }

如你所见，当实现Foo时，你可以不实现它（关联常量），当作为i32时。接着它将会使用默认值。不过，作为i64时，我们可以增加我们自己的定义。

关联常量并不一定要关联在一个 trait 上。一个struct的impl块或enum也行：

  1. #![feature(associated_consts)]
  3. struct Foo;
  5. impl Foo {
  6.     const FOO: u32 = 3;
  7. }