如何针对std::array指针实现编译期大小检查？

你遇到的问题是因为a->size()依赖运行期指针值，无法作为编译期常量表达式；而std::array的size()是成员函数，不能直接通过类名调用。但我们可以利用std::array的模板特性，通过以下几种方式实现编译期检查：

方法一：使用std::tuple_size获取编译期大小 #

std::tuple_size可以提取std::array的模板参数（即数组大小），这是一个编译期常量。需要包含<tuple>头文件：

#include <tuple>

// ...

static_assert(std::tuple_size_v<my_array> < std::size(b), "my_array的大小超过了缓冲区b的大小");

如果编译器不支持C++17的_v后缀变量模板，可使用完整类型形式：

static_assert(std::tuple_size<my_array>::value < sizeof(b)/sizeof(b[0]), "my_array的大小超过了缓冲区b的大小");

方法二：利用constexpr临时对象调用size() #

从C++17开始，std::array的默认构造函数是constexpr的，因此可以在编译期创建临时对象并调用size()，该表达式属于编译期常量：

static_assert(my_array{}.size() < std::size(b), "my_array的大小超过了缓冲区b的大小");

方法三：直接引用模板参数值（不推荐） #

因为my_array是std::array<char, 16384>的别名，你可以直接写出模板参数的数值，但这种方式灵活性差——如果my_array的定义修改，这里需要同步手动更新：

static_assert(16384 < std::size(b), "my_array的大小超过了缓冲区b的大小");

以上三种方式都能满足编译期检查需求，前两种更具可维护性，推荐优先使用。

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