如何在C++中实现函数参数非0的静态错误检测（编辑器红波浪线提示）

1. 编译期断言+模板函数（处理常量参数） #

如果传入的参数是编译期常量，用模板配合static_assert可以让编译器直接报错，编辑器也会实时标红：

template<int I, int J>
int Function() {
    static_assert(I != 0 && J != 0, "参数不能为0");
    // 函数逻辑
    return I + J;
}

int main() {
    Function<1,1>(); // 正常编译
    Function<0,0>(); // 编译报错，编辑器标红提示
    return 0;
}

缺点：仅支持编译期确定的常量参数，运行时变量无法检查。

2. C++20 consteval函数（强制编译期计算） #

如果函数逻辑可以在编译期完成，用consteval修饰函数，配合断言触发编译错误：

consteval int Function(int i, int j) {
    if (i == 0 || j == 0) {
        throw "参数不能为0"; // consteval下会直接触发编译报错
    }
    // 函数逻辑
    return i + j;
}

int main() {
    Function(1,1); // 正常
    Function(0,0); // 编译报错，编辑器标红
    // int x = 0;
    // Function(x,1); // 错误，x是运行时变量，不符合consteval要求
    return 0;
}

缺点：同样仅支持编译期可知的参数，运行时变量无法使用。

3. 编译器扩展注解（支持部分运行时场景） #

用GCC/Clang的__attribute__((error(...)))扩展，让编译器在检测到0参数时直接报错：

#include <cassert>

inline void check_non_zero(int val) __attribute__((error("参数不能为0")));
inline void check_non_zero(int val) {
    if (val == 0) assert(false);
}

int Function(int i, int j) {
    check_non_zero(i);
    check_non_zero(j);
    // 函数逻辑
    return i + j;
}

int main() {
    Function(1,1); // 正常
    Function(0,0); // 编译报错，编辑器标红
    int x = 0;
    Function(x,1); // 运行时触发断言，但编辑器不会标红（除非静态分析能识别x的值）
    return 0;
}

如果是VSCode/CLion这类编辑器，配合clang-tidy等静态分析工具，能对部分运行时变量的0值场景给出提示。

4. C++20 Concepts（模板参数限制） #

用Concepts约束模板函数的参数不为0：

#include <concepts>

template<typename T>
concept NonZero = std::convertible_to<T, int> && requires(T val) { val != 0; };

int Function(NonZero auto i, NonZero auto j) {
    // 函数逻辑
    return i + j;
}

int main() {
    Function(1,1); // 正常
    Function(0,0); // 编译报错，编辑器标红
    constexpr int x = 0;
    Function(x,1); // 标红提示
    int y = 0;
    Function(y,1); // 仅当y是编译期常量时才会报错，运行时变量无法静态检查
    return 0;
}

为什么自定义异常没用？ #

自定义异常属于运行时检查，只有程序实际运行到对应逻辑才会触发，编译器和编辑器在编译/静态分析阶段无法识别这种限制，自然没法提前标红。你需要的是静态检查方案，也就是在编译期或编辑器静态分析阶段就发现问题。

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