模板函数通过引用传参 t (&arr)[n] 可自动推导数组长度，因编译期保留大小信息；而指针退化使 sizeof 失效，auto 参数无法提取 n，空数组需 static_assert 或特化处理。
模板函数怎么自动推导数组长度
直接用 sizeof(arr)/sizeof(arr[0]) 在函数参数里失效，因为数组传参会退化为指针——这是最常踩的坑。模板能绕过它，靠的是让编译器在编译期“看见”整个数组对象。
关键写法是把数组作为引用传入，类型中包含大小信息：
template<typename t size_t n>
void process_array(T (&arr)[N]) {
// 此时 N 就是编译期可知的数组长度
}</typename>
这样调用 process_array(my_ints) 时，T 是 int，N 自动推导为 5（假设 my_ints 是 int[5]）。
- 必须用
T (&arr)[N]，不能写T arr[N]或T* arr，否则退化发生，N 无法推导 - 支持 C 风格数组（
int a[3]）、栈上声明的数组，但不支持std::array或堆分配内存（如new int[5]） - 若想同时处理
std::array，需另写一个重载：template<typename t size_t n> void process_array(const std::array<t n>& arr)</t></typename>
怎么让模板函数兼容 int[3] 和 double[7] 等不同元素类型+大小
上面的模板签名 template<typename t size_t n></typename> 已经同时捕获了类型和长度，不需要额外适配——编译器会为每组 T+N 生成独立实例。
例如：
int x[3] = {1,2,3};
double y[7] = {};
process_array(x); // 实例化为 process_array<int>
process_array(y); // 实例化为 process_array<double></double></int>
注意：char[10] 和 char[20] 是两个完全不同的函数实例，不能混用。
- 如果函数体里只用到
arr[i]这类通用操作，无需对T做任何约束 - 如果要用
std::sort或算术运算，需确保T支持对应操作（比如operator 或 <code>operator+），否则编译报错位置会指向具体调用行，而非模板定义处 - 避免在模板内硬编码
if (N == 4)这类分支——这会让逻辑耦合长度，破坏泛化性
为什么不能用 auto 参数代替模板参数
C++17 的 auto 函数参数（如 void f(auto& arr)）看起来更简洁，但它推导出的是“数组引用类型”，不是 T 和 N 两个独立参数，无法在函数体内获取长度值。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
下面这段代码会编译失败：
void bad_example(auto& arr) {
constexpr size_t n = sizeof(arr) / sizeof(arr[0]); // ❌ 错误：arr 是 auto 类型，sizeof 不可静态求值
}
而模板版本中 N 是非类型模板参数，属于编译期常量，可安全用于 std::array<t n></t>、for (size_t i = 0; i 等场景。
-
auto参数适合转发或简单遍历，但凡需要知道“多大”，就得回到template<typename t size_t n></typename> - 某些编译器（如 MSVC）在调试模式下可能对
auto数组推导行为不一致，模板方案更稳定 - 如果真想简化调用，可用
constexpr辅助函数提取长度：template<typename t size_t n> constexpr size_t len(T (&)[N]) { return N; }</typename>，再配合auto参数使用
数组大小为 0 怎么办
空数组（int arr[0]）在标准 C++ 中是合法的（尤其在结构体尾部），但模板推导会失败：GCC 报 error: zero-size array in template argument，Clang 可能静默接受但运行时出问题。
稳妥做法是显式禁止：
template<typename t size_t n>
void process_array(T (&arr)[N]) {
static_assert(N > 0, "Array size must be greater than 0");
// ...
}</typename>
或者提供特化处理：
template<typename t>
void process_array(T (&)[0]) {
// 空数组专用逻辑，比如直接返回
}</typename>
- 不要依赖
sizeof(arr)判断是否为空——退化后永远是指针大小 - 若业务中明确允许空数组，优先考虑改用
std::span<t></t>（C++20），它天然支持长度为 0 - 模板参数
N为 0 时，std::array<t></t>是合法的，但原始数组T[0]的行为在各标准版本间有差异，慎用
实际用的时候，最易忽略的是数组退化边界——哪怕只在一个中间函数里多加了一层指针传递，整个长度信息就丢了。模板方案只在“直接接触原始数组变量”的那一层生效。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
