如何在调用函数时更便捷地处理const泛型中bool值的取反？

我有如下代码：

fn f1<const B: bool>(x: u64) {}

fn f2<const B: bool>(x: u64) {
    match B {
        true => f1::<false>(x),
        false => f1::<true>(x),
    }
}

我需要在调用函数时对 const bool 泛型取反，但Rust目前不支持像 f1::<!B>() 这样简洁的写法。除了到处写 match 语句外，有没有更好的方法？

推荐方案：用const fn编译期计算 #

这是最简洁直观的方式，借助const fn在编译期完成取反，通过中间常量传递结果：

const fn not(b: bool) -> bool {
    !b
}

fn f2<const B: bool>(x: u64) {
    const NOT_B: bool = not(B);
    f1::<NOT_B>(x);
}

完全不需要额外的类型定义，编译期就能计算出反转后的bool值，代码简洁易读，性能也没有损耗。

备选方案1：用宏封装重复逻辑 #

如果需要在多个地方复用这种反转调用的逻辑，可以写一个宏把match逻辑封装起来：

macro_rules! call_f1_with_not {
    ($const_bool:expr, $x:expr) => {
        match $const_bool {
            true => f1::<false>($x),
            false => f1::<true>($x),
        }
    };
}

fn f2<const B: bool>(x: u64) {
    call_f1_with_not!(B, x);
}

宏可以帮你避免在多处重复编写相同的match代码块，保持代码整洁。

备选方案2：类型级反转（适合复杂场景） #

如果你的代码需要大量类型级别的布尔操作，可以用Trait关联类型实现类型级别的反转：

// 定义类型级别的布尔标记
struct True;
struct False;

// 定义反转关联类型的Trait
trait BoolNot {
    type Not;
}

impl BoolNot for True {
    type Not = False;
}

impl BoolNot for False {
    type Not = True;
}

// 布尔值到类型的映射Trait
trait BoolToType {
    type Marker;
}

impl BoolToType for true {
    type Marker = True;
}

impl BoolToType for false {
    type Marker = False;
}

// 类型到布尔值的映射Trait
trait TypeToBool {
    const VALUE: bool;
}

impl TypeToBool for True {
    const VALUE: bool = true;
}

impl TypeToBool for False {
    const VALUE: bool = false;
}

// 使用方式
fn f2<const B: bool>(x: u64) {
    f1::<{ <B as BoolToType>::Marker::Not::VALUE }>(x);
}

这个方案相对繁琐，仅适用于需要深度类型操作的场景，一般情况推荐用前两种方案。

内容的提问来源于stack exchange，提问作者user1002430