115

I can do this:

enum MyEnum {
    A(i32),
    B(i32),
}

but not this:

enum MyEnum {
    A(123), // 123 is a constant
    B(456), // 456 is a constant
}

I can create the structures for A and B with a single field and then implement that field, but I think there might be an easier way. Is there any?

Shepmaster
  • 388,571
  • 95
  • 1,107
  • 1,366
Incerteza
  • 32,326
  • 47
  • 154
  • 261

7 Answers7

156

The best way to answer this is working out why you want constants in an enum: are you associating a value with each variant, or do you want each variant to be that value (like an enum in C or C++)?

For the first case, it probably makes more sense to just leave the enum variants with no data, and make a function:

enum MyEnum {
    A,
    B,
}

impl MyEnum {
    fn value(&self) -> i32 {
        match *self {
            MyEnum::A => 123,
            MyEnum::B => 456,
        }
    }
}
// call like some_myenum_value.value()

This approach can be applied many times, to associate many separate pieces of information with each variant, e.g. maybe you want a .name() -> &'static str method too. In the future, these functions can even be marked as const functions.

For the second case, you can assign explicit integer tag values, just like C/C++:

enum MyEnum {
    A = 123,
    B = 456,
}

This can be matched on in all the same ways, but can also be cast to an integer MyEnum::A as i32. (Note that computations like MyEnum::A | MyEnum::B are not automatically legal in Rust: enums have specific values, they're not bit-flags.)

Nicolas Guillaume
  • 8,160
  • 6
  • 35
  • 44
huon
  • 94,605
  • 21
  • 231
  • 225
  • 3
    How do I match on the values (implemented in `value` function)? – Matej Kormuth Mar 29 '19 at 07:48
  • @MatejKormuth this is late, but, you would just match on the return value of the method. Assuming your enum value is stored in a variable called `some_myenum_value`, just do `match some_myenum_value.value() { ...`. – Hutch Moore Dec 08 '19 at 19:20
  • As of Rust 1.46.0, one can use `pub const fn value(&self) -> i32` to avoid the overhead of evaluating the `match` statement at runtime. – U007D Nov 16 '22 at 17:02
  • `pub const fn` will allow the function to be called in a `const` context, but it is unlikely to impact behaviour otherwise. Specifically `const X: int = MyEnum::A.value()` isn't allowed with just `fn value`, but _is_ allowed with `const fn value`. When called outside a const context, the `const` doesn't do anything (e.g. the optimiser will inline and evaluate the `match`, if it can, with or without the `const` annotation). – huon Nov 17 '22 at 00:40
  • Will the first case be optimised by the compiler? – theonlygusti Feb 16 '23 at 13:09
40

Creating an "enum" with constant values, can be augmented using structs and associated constants. This is similar to how crates like bitflags works and what it would generate.

Additionally, to prevent direct instantiation of MyEnum you can tag it with #[non_exhaustive].

#[non_exhaustive]
struct MyEnum;

impl MyEnum {
    pub const A: i32 = 123;
    pub const B: i32 = 456;
}

Then you simply use the "enum" as you otherwise would, by accessing MyEnum::A and MyEnum::B.

vallentin
  • 23,478
  • 6
  • 59
  • 81
6

People looking at this may stumble upon the introduction and deprecation of FromPrimitive. A possible replacement which might also be useful here is enum_primitive. It allows you to use C-like enums and have them cast between numeric and logical representation:

#[macro_use]
extern crate enum_primitive;
extern crate num;

use num::FromPrimitive;

enum_from_primitive! {
    #[derive(Debug, PartialEq)]
    enum FooBar {
        Foo = 17,
        Bar = 42,
        Baz,
    }
}

fn main() {
    assert_eq!(FooBar::from_i32(17), Some(FooBar::Foo));
    assert_eq!(FooBar::from_i32(42), Some(FooBar::Bar));
    assert_eq!(FooBar::from_i32(43), Some(FooBar::Baz));
    assert_eq!(FooBar::from_i32(91), None);
}
Shepmaster
  • 388,571
  • 95
  • 1,107
  • 1,366
user2722968
  • 13,636
  • 2
  • 46
  • 67
5

How about this?

enum MyEnum {
    A = 123,
    B = 456,
}

assert_eq!(MyEnum::A as i32, 123i32);
assert_eq!(MyEnum::B as i32, 456i32);
Robert Schaaf
  • 81
  • 1
  • 3
4

The enum-map crate provides the ability to assign a value to the enum record. What is more, you can use this macro with different value types.

use enum_map::{enum_map, Enum}; // 0.6.2

#[derive(Debug, Enum)]
enum Example {
    A,
    B,
    C,
}

fn main() {
    let mut map = enum_map! {
        Example::A => 1,
        Example::B => 2,
        Example::C => 3,
    };
    map[Example::C] = 4;

    assert_eq!(map[Example::A], 1);

    for (key, &value) in &map {
        println!("{:?} has {} as value.", key, value);
    }
}
Shepmaster
  • 388,571
  • 95
  • 1,107
  • 1,366
sireliah
  • 256
  • 2
  • 7
1

Just to give another idea.

#[allow(non_snake_case, non_upper_case_globals)]
mod MyEnum {
    pub const A: i32 = 123;
    pub const B: i32 = 456;
}

Then you can simply use it by accessing MyEnum::A and MyEnum::B or use MyEnum::*.

The advantage of doing this over associated constants is that you can even nest more enums.

#[allow(non_snake_case, non_upper_case_globals)]
mod MyEnum {
    pub const A: i32 = 123;
    pub const B: i32 = 456;

    #[allow(non_snake_case, non_upper_case_globals)]
    mod SubEnum {
        pub const C: i32 = 789;
    }
}

For my project I wrote a macro that automatically generates indexes and sets initial values.

#[macro_export]
macro_rules! cnum {
    (@step $_idx:expr,) => {};
    (@step $idx:expr, $head:ident, $($tail:ident,)*) => {
        pub const $head: usize = $idx;
        cnum!(@step $idx + 1usize, $($tail,)*);
    };
    ($name:ident; $($n:ident),* $(,)* $({ $($i:item)* })?) => {
        cnum!($name; 0usize; $($n),* $({ $($i)* })?);
    };
    ($name:ident; $start:expr; $($n:ident),* $(,)* $({ $($i:item)* })?) => {
        #[macro_use]
        #[allow(dead_code, non_snake_case, non_upper_case_globals)]
        pub mod $name {
            use crate::cnum;
            $($($i)*)?
            cnum!(@step $start, $($n,)*);
        }
    };
}

Then you can use it like this,

cnum! { Tokens;
    EOF,
    WhiteSpace,
    Identifier,
    {
        cnum! { Literal; 100;
            Numeric,
            String,
            True,
            False,
            Nil,
        }

        cnum! { Keyword; 200;
            For,
            If,
            Return,
        }
    }
}
voorjaar
  • 101
  • 1
  • 4
1

I have created a crate enumeration just for this.

Example using my crate:

use enumeration::prelude::*;

enumerate!(MyEnum(u8; i32)
    A = 123
    B = 456
);

pub fn main() {
    assert_eq!(*MyEnum::A.value(), 123);
    assert_eq!(*MyEnum::B.value(), 456);
}
feois
  • 21
  • 3