为何std::conditional中的static_assert断言失败？原因及解决方法咨询

咱们先把核心问题掰明白：

1. 无符号整数的下溢坑：
   size_t是无符号类型，这意味着它永远不会有负数。当i < 8时，i - 8不会得到你以为的负数，而是会按照无符号整数的模运算规则，算出一个超大的正数（比如64位系统下，5-8会得到18446744073709551613）。

2. 模板实例化的规则坑：
   你可能觉得constexpr if (i >=8)的分支只有条件为真时才会被处理，但在模板上下文里不是这样的——哪怕是constexpr if的“非活动分支”，里面的模板相关代码也得是格式合法的。编译器必须能解析模板参数的表达式，还得实例化对应的模板（哪怕最终这个分支的代码不会生成）。

   所以当你调用foo<5>()时，i-8会被算出那个超大值，编译器会硬着头皮实例化Assert<超大值>，而你的static_assert肯定是在检查这个值是否符合某个预期（比如小于某个上限，或者你本来期望它是非负的，但现在变成了天文数字），自然就触发断言失败了。

我们的目标是：只有当i >=8的时候，才让编译器去实例化Assert<i-8>，下面给你几种靠谱的方案：

方案1：用SFINAE拆分模板分支 #

通过enable_if来控制不同模板的可见性，只有满足条件的模板才会被实例化：

#include <cstddef>
#include <type_traits>

template <size_t i>
struct Assert {
    static_assert(i <= 100, "i is too big"); // 假设你的断言逻辑是这个
    using type = void;
};

// 处理i >=8的情况
template <size_t i, std::enable_if_t<i >= 8, int> = 0>
void foo() {
    typename Assert<i - 8>::type;
    // 这里写i>=8时的业务逻辑
}

// 处理i <8的情况
template <size_t i, std::enable_if_t<i < 8, int> = 0>
void foo() {
    // 这里写i<8时的业务逻辑
}

int main() {
    foo<5>(); // 只会调用i<8的分支，完全碰不到Assert
    foo<10>(); // 调用i>=8的分支，实例化Assert<2>并检查断言
}

方案2：用模板特化分离逻辑 #

如果你的编译器支持C++20，用requires表达式做特化会很直观；如果是旧标准，也可以用非类型模板参数的特化：

#include <cstddef>

template <size_t i>
struct Assert {
    static_assert(i <= 100, "i is too big");
    using type = void;
};

// 先声明主模板
template <size_t i>
void foo();

// C++20：用requires约束特化i>=8的情况
template <size_t i>
requires (i >= 8)
void foo() {
    typename Assert<i - 8>::type;
}

// 特化i<8的情况
template <size_t i>
requires (i < 8)
void foo() {
    // 这里写i<8的逻辑
}

int main() {
    foo<5>(); // 调用i<8的特化，不会实例化Assert
}

方案3：用C++20模板lambda延迟实例化 #

如果你想保留constexpr if的写法，可以用模板lambda把Assert的实例化延迟到分支真正执行的时候：

#include <cstddef>

template <size_t i>
struct Assert {
    static_assert(i <= 100, "i is too big");
    using type = void;
};

template <size_t i>
void foo() {
    if constexpr (i >= 8) {
        // 模板lambda只有在分支执行时才会实例化，进而触发Assert的实例化
        []<size_t j = i - 8>() {
            typename Assert<j>::type;
        }();
    } else {
        // 这里写i<8的逻辑
    }
}

int main() {
    foo<5>(); // constexpr if的false分支不会执行lambda，所以Assert不会被实例化
}

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