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

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

---

模板声明解析

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

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

1. 模板参数：

   • typename T：数组元素的类型
   • size_t N：数组的大小（非类型模板参数）

2. 函数参数：

   • T(&array)[N]：这是一个对数组的引用，保留了数组类型信息（包括元素类型 T 和大小 N）

3. 返回类型：

   • char(&)[N]：返回一个对 char[N] 数组的引用

---

工作原理

这个模板的核心技巧是：

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

---

典型用法

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

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

使用示例：

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

---

为什么这样设计？

1. 编译时计算：所有计算在编译期完成，零运行时开销
2. 类型安全：
   • 如果传入指针而非数组，编译会失败（因为无法匹配模板）
   • 防止了 sizeof(arr)/sizeof(arr[0]) 在指针情况下的错误计算
3. 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; }

---

总结

这个模板是经典的 C++ 模板元编程技巧，它：

• 利用模板参数推导获取数组大小
• 通过返回类型携带大小信息
• 与 sizeof 配合实现安全的数组大小计算
• 在传统 C++ 中是实现编译时数组大小计算的优雅解决方案