# Associated Constants

With the `associated_consts` feature, you can define constants like this:

    #![feature(associated_consts)]

    trait Foo {
        const ID: i32;
    }

    impl Foo for i32 {
        const ID: i32 = 1;
    }

    fn main() {
        assert_eq!(1, i32::ID);
    }Run

Any implementor of `Foo` will have to define `ID`. Without the definition:

    #![feature(associated_consts)]

    trait Foo {
        const ID: i32;
    }

    impl Foo for i32 {
    }Run

gives

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

A default value can be implemented as well:

    #![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);
    }Run

As you can see, when implementing `Foo`, you can leave it unimplemented, as with `i32`. It will then use the default value. But, as in `i64`, we can also add our own definition.

Associated constants don’t have to be associated with a trait. An `impl` block for a `struct` or an `enum` works fine too:

    #![feature(associated_consts)]

    struct Foo;

    impl Foo {
        const FOO: u32 = 3;
    }Run