移除函数式宏调用的属性宏

在没有配置的情况下，remove_macro_call 属性在无条件应用于声明性或过程函数式宏时，其结果与仅编写括号（括号、花括号或方括号）内的代码相同。

示例

use remove_macro_call::remove_macro_call;

macro_rules! reorder_statements {
    ($s1:stmt; $s2:stmt;) => {
        $s2;
        $s1;
    };
}

let mut n = 2;
reorder_statements! {
    n += 2;
    n *= 2;
}

// 2*2+2 = 6
assert_eq!(n, 6);

// The new variable shadows the old one
let mut n = 2;

n += 2;
n *= 2;

// (2+2)*2 = 8
assert_eq!(n, 8);

// The new variable shadows the old one
let mut n = 2;
#[remove_macro_call]
reorder_statements! {
    n += 2;
    n *= 2;
}

// (2+2)*2 = 8
assert_eq!(n, 8);

然而，通过使用 cfg_attr 属性，remove_macro_call 允许条件性地移除宏调用。这种组合的一个重要应用是在提供稳定工具链的同时，也提供依赖于 Nightly 功能的功能。

示例

#![cfg_attr(feature = "const_trait_impl", feature(const_trait_impl))]
#![cfg_attr(feature = "const_default_impls", feature(const_default_impls))]
#![cfg_attr(feature = "const_fn_trait_bound", feature(const_fn_trait_bound))]

#[cfg(not(all(
    feature = "const_trait_impl",
    feature = "const_default_impls",
    feature = "const_fn_trait_bound"
)))]
use const_trait_impl::unconst_trait_impl;
use core::{default::Default, marker::PhantomData};
#[cfg(all(
    feature = "const_trait_impl",
    feature = "const_default_impls",
    feature = "const_fn_trait_bound"
))]
use remove_macro_call::remove_macro_call;

// Since ZST is both Eq and and PartialEq, it has structural match
// https://github.com/rust-lang/rust/issues/63438
#[derive(Clone, Debug, Hash, Eq, Ord, PartialEq, PartialOrd, Copy)]
pub struct ZST<T: ?Sized>(PhantomData<T>);

pub trait TraitName {}

#[cfg_attr(
    all(
        feature = "const_trait_impl",
        feature = "const_default_impls",
        feature = "const_fn_trait_bound"
    ),
    remove_macro_call
)]
unconst_trait_impl! {
    impl<T: ?Sized> const TraitName for ZST<T> {}
}

// With `cargo build --features const_trait_impl, const_default_impls, const_fn_trait_bound`
// or with `cargo build --all-features, the code below is expanded as is. Otherwise,
// it gets "unconsted" to be supported by stable toolchain.
#[cfg_attr(
    all(
        feature = "const_trait_impl",
        feature = "const_default_impls",
        feature = "const_fn_trait_bound"
    ),
    remove_macro_call
)]
unconst_trait_impl! {
    impl<T: ~const TraitName + ?Sized> const Default for ZST<T> {
        fn default() -> Self {
            ZST(Default::default())
        }
    }
}

注意：在实际代码中，上述示例可以替换为一个更简单的版本，该版本依赖于 cfg_aliases 包。

实际示例

• zst

您可以在此处了解更多关于 const_trait_impl 的信息

• GitHub
• crates.io

许可