Expand description
A macro for easily defining structs that act like C enums.
The c_enum!
macro generates structs that behave roughly like a C enum:
they have a set of constants that have integer values but can be assigned
integer values that don’t correspond to any of the existing names.
§Examples
use c_enum::c_enum;
c_enum! {
#[derive(Copy, Clone, PartialEq, Eq, Hash)]
pub enum MyEnum: u32 {
A,
B = 5,
}
}
let v1 = MyEnum::A; // declared variant
let v2 = MyEnum::from(3); // also supports variants that are not declared
match v1 { // we can match if we derive PartialEq
MyEnum::A => println!("got an A"),
MyEnum::B => println!("got a B"),
// We still need to handle other variants
_ => println!("got another variant"),
}
§Visibility
The c_enum!
macro supports visibility, just like you would do for a normal
rust enum.
mod example {
c_enum! {
pub enum Enum1: u8 {
A,
}
}
c_enum! {
enum Enum2: u8 {
B,
}
}
}
let val1 = example::Enum1::A;
let val2 = example::Enum2::B; // error: struct `Enum2` is private
§Attributes
Attributes can be added to the generated type or variants as normal. Note that the variants are converted to constants so macros expecting an enum variant will not work.
§Applying Attributes to Generated impl
Blocks
Sometimes you need to apply attributes to the generated impl
blocks (e.g.
to silence warnings). c_enum!
supports adding an extra impl
block at the
end and will apply those attributes to the generated impl
block.
#![deny(missing_docs)]
c_enum! {
/// This crate requires that all items be documented.
///
/// However, we don't want to document the members of this enum for one
/// reason or another.
pub enum SomeCEnum : u32 {
A = 0,
B
}
// So we attach the #[allow] directive to this extra impl block here
// and it will be added to the one generated by the macro.
#[allow(missing_docs)]
impl {}
}
§Representation
It is valid to add a #[repr(C)]
or #[repr(transparent)]
attribute to the
generated type. The generated type is guaranteed to be a newtype whose only
member is the inner type.
§Value Assignment
By default, enum values are assigned like they would be for a C enum: the first variant is 0 and subsequent variants increase by 1 unless assigned a value.
c_enum! {
pub enum Enum: u32 {
A, // value of 0
B, // value of 1
C = 5, // value of 5
D, // value of 6
}
}
§Non-String Inner Types
It is also possible to define enum types whose inner value is not an integer.
c_enum! {
pub enum StringEnum: &'static str {
Hello = "Hello",
World = "World",
}
}
Note that at this time generics are not supported so any inner value type
must be both concrete and 'static
. Furthermore, you will need to assign a
value to each variant of such an enum.
§What’s implemented by c_enum!
The c_enum!
macro implements some traits by default, but leaves the rest
available for you to choose the semantics of the rest.
§Formatting
§Conversion
From
to convert from the inner type and vice versa.
§Generated Code
c_enum! {
#[repr(transparent)]
#[derive(Copy, Clone, PartialEq, Eq, Hash)]
enum Enum: u32 {
A,
B = 5,
}
}
is expanded into (roughly)
#[repr(transparent)]
#[derive(Copy, Clone, PartialEq, Eq, Hash)]
struct Enum(pub u32);
impl Enum {
pub const A: Self = Self(0);
pub const B: Self = Self(5);
}
impl core::fmt::Debug for Enum
where
u32: core::cmp::PartialEq
{
...
}
// more trait impls...
§Motivation
When writing bindings for C libraries which use enums there are a few options for declaring rust versions of C enums.
- Use a rust enum.
- Use a raw integer and a bunch of constants.
- Use a newtype and a set of constants.
All of them have use cases for which they are valid:
- Rust enums work when calling from rust code into C code. The one caveat here being that if the underlying C library adds a new variant but the rust wrapper does not then users of the rust library are stuck. Another case that is valid is if it is known that no new variants will be added to the underlying C enum and the library is ok with either UB or doing conversions at the API boundary.
- Raw integers and constants is useful for autogenerated bindings that want to exactly match the layout of the C headers.
- A newtype + constants is suitable for the remaining cases. It still behaves similar to a rust enum but matches the actual semantics of C enums. It also continues to work if the C library adds new variants and the rust wrapper is not updated.
This crate is a generator for the third option.
Modules§
- example
doc
This module shows an example of code generated by the macro.
Macros§
- The macro used to generate the C enum structure.