024aa9a345
The book was located under 'src/doc/trpl' because originally, it was going to be hosted under that URL. Late in the game, before 1.0, we decided that /book was a better one, so we changed the output, but not the input. This causes confusion for no good reason. So we'll change the source directory to look like the output directory, like for every other thing in src/doc.
1.2 KiB
1.2 KiB
% 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);
}
Any implementor of Foo will have to define ID. Without the definition:
#![feature(associated_consts)]
trait Foo {
const ID: i32;
}
impl Foo for i32 {
}
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);
}
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;
}