如何使用C++20 Concepts检查并约束非类型模板参数的取值要求？

完全没问题，C++20的Concepts特性正好能帮你在模板参数层面直接约束PageSize必须是2的幂，相比类内部塞static_assert，这种方式更直观，还能给使用者更友好的编译错误提示。

步骤1：定义检查“2的幂”的Concept #

首先我们需要写一个Concept来判断无符号整数是否是2的幂（同时要排除0，毕竟页大小总不能是0吧）：

#include <concepts>

template<std::size_t N>
concept is_power_of_two = (N != 0) && ((N & (N - 1)) == 0);

这里的逻辑很直白：

• N != 0：兜底排除无效的页大小
• (N & (N - 1)) == 0：2的幂的二进制只有一个1，减1后所有低位都会变成1，两者按位与结果必然是0（比如8是1000，减1是0111，按位与就是0000）

步骤2：将Concept应用到容器模板上 #

接下来直接在容器的模板声明里用requires子句约束PageSize：

template<typename Type, std::size_t PageSize>
requires is_power_of_two<PageSize>
class container {
    // 你的容器实现代码
};

这样一来，任何不符合is_power_of_two约束的PageSize都会在模板实例化时直接触发编译错误，根本不会进入类内部的代码检查环节。

完整示例与效果 #

我们写个测试代码看看实际效果：

#include <concepts>

template<std::size_t N>
concept is_power_of_two = (N != 0) && ((N & (N - 1)) == 0);

template<typename Type, std::size_t PageSize>
requires is_power_of_two<PageSize>
class container {
    // 示例成员
    Type data[PageSize];
};

int main() {
    // 合法：8是2的幂
    container<int, 8> valid_container;
    
    // 非法：6不是2的幂，编译时直接报错
    container<int, 6> invalid_container;
    return 0;
}

当你尝试编译这个代码时，编译器会直接针对invalid_container给出类似这样的错误提示（不同编译器表述略有差异）：

error: constraints not satisfied for class template 'container' [with Type = int, PageSize = 6]
note: because '6' does not satisfy 'is_power_of_two'

这个错误信息非常直接，使用者一眼就能明白是PageSize不符合要求，比static_assert的错误提示清晰太多。

和static_assert的对比优势 #

相比在类内部用constexpr函数配合static_assert：

• 前置检查：Concept是在模板实例化的第一步就做约束检查，错误更早暴露
• 更清晰的错误：编译器会直接指出是模板参数不满足Concept约束，而不是在类内部某个位置触发断言错误
• 代码更整洁：把参数约束逻辑从类内部抽离到模板声明处，类的职责更单一，可读性更好

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