小编Azu*_*ker的帖子

在库中，人们可能希望根据功能标志将特征的实现限制为线程安全。这有时涉及改变特质继承。但是，特征继承边界上不允许使用属性。常见的解决方法是复制特征：

#[cfg(not(feature = "thread_safe"))]
pub trait MyTrait {
    fn foo();
}

#[cfg(feature = "thread_safe")]
pub trait MyTrait: Send + Sync {
    fn foo();
}

可以通过使用宏来减少重复的代码（见下文），但这可能会影响 IDE 体验。有没有更好的方法来实现条件性状遗传？

macro_rules! my_trait {
    ($($bounds:ident),*) => {
        pub trait MyTrait where $(Self: $bounds),* {
            fn foo();
        }
    };
}

#[cfg(not(feature = "thread_safe"))]
my_trait!();
#[cfg(feature = "thread_safe")]
my_trait!(Send, Sync);