如何为非类型模板参数指定允许取值范围？以限定n>2为例

当然可以，根据你使用的C++版本，有几种简洁的方式来限定非类型模板参数的取值：

1. C++11及以上：用static_assert做编译期断言 #

这是最常用且直观的方式，直接在类内部添加编译期检查，还能自定义错误提示：

template<int n>
class MyClass
{
    static_assert(n > 2, "模板参数n必须大于2");
    // 类的成员定义...
};

当传入n ≤ 2的参数时，编译器会直接抛出你指定的错误信息，编译阶段就拦截非法使用。

2. C++20及以上：用requires子句做前置约束 #

如果使用C++20或更新的标准，可以把约束直接写在模板参数列表后，让条件更醒目：

template<int n> requires (n > 2)
class MyClass
{
    // 类的成员定义...
};

这种方式属于概念约束的一部分，编译器会在尝试实例化模板前就检查参数是否符合要求，代码可读性更强。

3. 兼容老版本C++（C++03及更早） #

如果必须兼容非常老的标准，没有static_assert和requires，可以利用模板特化的特性：

// 仅声明主模板，不提供定义
template<int n>
class MyClass;

// 仅为符合条件的n提供模板定义
template<>
class MyClass<3> { /* 成员实现 */ };
template<>
class MyClass<4> { /* 成员实现 */ };

不过这种方式灵活性很差，要么得逐个列举合法值，要么依赖编译器对非法特化的报错，不推荐在现代项目中使用。

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