#match #generator #boilerplate #repetition #macro #generate #no-alloc

macro no-std metamatch

A proc-macro for generating repetitive match arms

7 releases

0.2.4 Jul 4, 2024
0.2.3 Jun 4, 2024
0.1.1 Jun 3, 2024

#1995 in Development tools

MIT license

28KB
635 lines

metamatch!

githubgithub-buildcrates-iomsrvdocs-rs

A rust proc-macro for generating repetitive match arms.

Unless the enum variant type remains unused, match arms for different variants cannot be combined, even if the match arm bodies are syntactically identical.

This macro implements a simple templating attribute (#[expand]) to automatically stamp out the neccessary copies.

Rustfmt and rust-analyzer are fully able to reason about this macro. Even auto refactorings that affect the #[expand] (like changing the name of an enum variant) work correctly.

Example

use metamatch::metamatch;

enum DynVec {
    I32(Vec<i32>),
    I64(Vec<i64>),
    F32(Vec<f32>),
    F64(Vec<f64>),
}

enum DynSlice<'a> {
    I32(&'a [i32]),
    I64(&'a [i64]),
    F32(&'a [f32]),
    F64(&'a [f64]),
}

impl DynVec {
    fn as_slice(&self) -> DynSlice<'_> {
        metamatch!(match self {
            #[expand(T in [I32, I64, F32, F64])]
            DynVec::T(v) => DynSlice::T(v),
        })
    }

    fn promote_to_64(&mut self) {
        metamatch!(match self {
            // multiple replacement expressions supported
            #[expand((SRC, TGT, TYPE) in [
                (I32, I64, i64),
                (F32, F64, f64),
            ])]
            DynVec::SRC(v) => {
                *self = DynVec::TGT(
                    std::mem::take(v).into_iter().map(|v| v as TYPE).collect(),
                );
            }

            // the types are unused, the match body can be shared
            #[expand_pattern(T in [I64, F64])]
            DynVec::T(_) => (),
        })
    }
}

License

MIT

No runtime deps