编译时计算静态数组大小技巧

最新推荐文章于 2025-11-22 19:16:02 发布

原创最新推荐文章于 2025-11-22 19:16:02 发布 · 233 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#linux #开发语言 #c++

通过一个函数模板来实现编译时计算静态数组大小：

模板声明解析

template <typename T, size_t N>
char(&ArraySizeHelper(T(&array)[N]))[N];

这是一个函数模板声明，分解来看：

模板参数：
- typename T：数组元素的类型
- size_t N：数组的大小（非类型模板参数）
函数参数：
- T(&array)[N]：这是一个对数组的引用，保留了数组类型信息（包括元素类型 T 和大小 N）
返回类型：
- char(&)[N]：返回一个对 char[N] 数组的引用

工作原理

这个模板的核心技巧是：

通过引用传递数组（保留数组大小信息）
利用模板参数推导自动获取数组大小 N
返回一个与数组大小 N 相关的类型（char[N] 的引用）

典型用法

通常与 sizeof 结合使用来计算数组元素个数：

#define ARRAY_SIZE(arr) (sizeof(ArraySizeHelper(arr)))

使用示例：

int arr[10];
size_t count = ARRAY_SIZE(arr);  // 得到 10

为什么这样设计？

编译时计算：所有计算在编译期完成，零运行时开销
类型安全：
- 如果传入指针而非数组，编译会失败（因为无法匹配模板）
- 防止了 sizeof(arr)/sizeof(arr[0]) 在指针情况下的错误计算
C++03兼容：这是在 C++11 的 constexpr 和 std::array 之前常用的技巧

现代C++替代方案

在 C++11 及以后，更推荐使用：

// 方法1：使用 std::array
std::array<int, 10> arr;
constexpr size_t count = arr.size();

// 方法2：使用 constexpr 函数
template <typename T, size_t N>
constexpr size_t array_size(T (&)[N]) { return N; }