如果参数在编译时已知，我可以执行可选的 static_assert 吗？

Question

我有一个函数只接受大于 0 的无符号整数，并且有一个调试断言来检查它：

void foo(unsigned int x) {
    assert(x > 0);
}

可不可以在这里加一个static_assert，让代码仍然可以编译并接受非编译时常量的参数？

foo(0); // compilation error
foo(1); // fine
foo(get_x_from_user()); // fine

我知道我可以使 x 成为模板参数，但我更愿意保留这种调用方式：foo(5); 而不是 foo<5>();。

我在想可能有一种方法可以使用自定义整数类型来实现这一点，但我无法在这条路上走得太远。有办法吗？

Answer 1

据我所知，如果不引入某种模板，这是不可能的，例如：

template<int T>
class CustomInt
{
public:
    static constexpr int value = T;
};

template<int val>
void check(CustomInt<val> /*k*/)
{
    static_assert(CustomInt<val>::value > 0, "error!");
    check(val);
}

void check(int k)
{
    std::cout << "check";
}

int s()
{
    volatile int x = 5;
    return x;
}

int main() {
    check(CustomInt<0>());
    check(s());
    return 0;
}

虽然这只是将模板移动到自定义类型。

Answer 2

如果你坚持foo(12)，你就做不到。因为您希望编译器在编译时知道函数参数的值。这是不可能的，参数值是在运行时评估的。那么它就不能是constexpr然后你就不能在static_assert中使用它。

如果参数在编译时已知，我可以执行可选的 static_assert 吗？

Can I perform an optional static_assert if the parameter is known at compile time?

c++

assert