c++ - 非类型模板参数和要求

Question

我正在学习概念，所以我想不出一种方法来限制非类型模板参数的值(非类型)。
Example可以编译的代码，尽管我希望它没有(由于失败的要求):

#include <cassert>

enum Bla{
    Lol, 
    Haha
};

template<Bla b>
requires requires{
    // my guess is that this just checks that this is valid expression, not
    // that it is true
    b>1; 
}
void f(){
    assert(b>1);
}

int main() {
    f<Lol>(); // compiles, not funny ;)
}

笔记:
这是简化的示例(我想“模板重载”)，所以 static_assert对我不好，并且由于语法很丑陋，我试图避免 std::enable_if。

Answer 1

如果您只有 bool 条件而没有其他条件，请执行以下操作:

template<Bla b>
requires(b > 1)
void f() {}

如果需要在同一 requires -expression中检查更多内容，则可以使用其他更长的语法:

template<Bla b>
requires requires
{
    requires b > 1;
//  ^~~~~~~~
}
void f() {}