#proc-macro #struct-fields #name #run-time #variant-name #exposing

macro field_names

A proc-macro for exposing a struct's field names at runtime

3 unstable releases

0.2.0 Jan 4, 2022
0.1.1 Jan 11, 2021
0.1.0 Jan 8, 2021

#7 in #variant-name

Download history 1710/week @ 2025-03-08 1609/week @ 2025-03-15 1466/week @ 2025-03-22 1428/week @ 2025-03-29 1300/week @ 2025-04-05 1276/week @ 2025-04-12 1363/week @ 2025-04-19 1221/week @ 2025-04-26 1260/week @ 2025-05-03 1246/week @ 2025-05-10 1361/week @ 2025-05-17 1191/week @ 2025-05-24 1243/week @ 2025-05-31 1428/week @ 2025-06-07 1273/week @ 2025-06-14 1611/week @ 2025-06-21

5,802 downloads per month
Used in 2 crates

MIT license

11KB
202 lines

field_names

Build Status Latest Version

field_names is a Rust crate to expose a field or variant names from source code as strings at runtime.

Example

Consider a simple struct such as this one.

#[derive(FieldNames)]
struct Example {
    hello: String,
    world: String,
    #[field_names(skip)]
    ignore_me: bool,
}

field_names will emit the following:

#[automatically_derived]
impl Example {
    const FIELDS: [&'static str; 2] = [
        "hello",
        "world",
    ];
}

Enums are the same:

#[derive(VariantNames)]
enum Example {
    Hello(String),
    #[variant_names(skip)]
    Secret(String),
    World,
}

field_names will emit the following:

#[automatically_derived]
impl Example {
    const VARIANTS: [&'static str; 2] = [
        "Hello",
        "World",
    ];
}

Uses

This crate was originally created for a case where a set of rules were being read at runtime which referenced fields of structs elsewhere in the code base. The referenced struct exposed a method which had a match statement to go from strings to its fields, but there was not a way to ensure the arms of that match statement stayed in sync with the struct definition. With this crate, a unit test could be created to ensure that every field on the struct - except those deliberately omitted - was handled by the method.

This crate can also be used to enforce relationships among structs and enums at unit-test time that cannot be expressed at compile-time. See tests/keep_in_sync for an example and explanation of that scenario.

FAQs

Why aren't FieldNames and VariantNames traits?

Using field_names is an implementation convenience; it shouldn't force you to change your crate's public API.

How do I make FIELDS or VARIANTS public?

You can add your own inherent method, e.g. fields() -> &[&'static str], or define a trait that matches your use-case and reference FIELDS in the trait implementation.

Can I get field names for an enum variant?

This currently isn't supported, using newtype variants and separate structs per variant is currently the recommended approach. You can use the from_variants crate to auto-generate conversions from those structs into the enum.

Dependencies

~2MB
~45K SLoC