void func(int arr[][N]) 不能作为模板参数，因为 N 是非类型模板参数需编译期确定，而函数形参无法推导数组第二维大小；C++ 不允许从实参自动提取未声明的整型非类型模板参数。
为什么 void func(int arr[][N]) 不能作为模板参数
因为 N 是非类型模板参数，必须在编译期确定，而普通函数形参无法推导数组第二维大小——C++ 不允许从实参中自动提取未声明的整型非类型模板参数。你传 int a[3][5]，编译器根本不知道该用 N=5 还是别的值，arr[][N] 这种写法在模板里不合法，连语法都过不去。
常见错误现象：error: expected a type, got 'int [3][5]' 或模板参数推导失败（couldn't deduce template parameter 'N'）。
- 二维数组退化为指针后丢失列数信息，
int (*)[N]才保留列宽，但需要显式传N - 模板必须把维度作为非类型参数显式参与声明，不能靠“看出来”
- 用
auto参数（C++17）可绕过部分限制，但仅限于函数参数，不适用于类模板或需要泛型计算的场景
用非类型模板参数接收固定大小二维数组
最直接的方式：把行、列都作为模板参数，类型用引用避免退化。
template<size_t M, size_t N>
void process_2d(const int (&arr)[M][N]) {
// arr 是 int[M][N] 的左值引用，M、N 全部可用
for (size_t i = 0; i < M; ++i) {
for (size_t j = 0; j < N; ++j) {
// 使用 arr[i][j]
}
}
}调用时完全无需指定模板参数，编译器能自动推导：process_2d(my_array)，其中 my_array 是 int[4][6] 就推出 M=4, N=6。
立即学习“C++免费学习笔记（深入）”；
- 必须用引用
const T(&)[M][N]，否则会退化成T(*)[N]，丢失M - 如果想支持不同数值类型（如
float、double），加一个类型模板参数：template<typename T, size_t M, size_t N> - 注意：这种方案只接受真正意义上的栈上二维数组（
int a[3][4]），不接受int**或std::vector<std::vector<int>>
用 std::span（C++20）统一处理多种二维布局
如果你实际要处理的是连续内存块（比如 std::vector<int> 按行优先存的二维数据），std::span 更灵活且安全。
#include <span>
template<typename T>
void process_flat_2d(std::span<const T> data, size_t rows, size_t cols) {
// data.data() 指向首元素，data.size() 应等于 rows * cols
for (size_t i = 0; i < rows; ++i) {
for (size_t j = 0; j < cols; ++j) {
T val = data[i * cols + j];
}
}
}调用示例：process_flat_2d(std::span(a), 3, 5)（a 是 int[15]）或 process_flat_2d(my_vec, 3, 5)（my_vec 是 std::vector<int>）。
-
std::span不拥有数据，零开销，且自带边界检查（debug 模式下） - 它不关心“原始维度”，只依赖你传入的
rows和cols，适合动态尺寸场景 - 兼容 C 风格数组、
std::array、std::vector，只要底层是连续的T序列
别硬套二维数组——考虑用 std::vector<std::vector<T>> 或自定义 Matrix 类
真正需要“任意大小”且运行时可变的二维结构，原生数组天生不适合。强行用模板参数模拟会导致大量实例化、接口僵硬、无法返回新尺寸结果。
例如，你想写一个通用矩阵乘法函数，输入两个任意尺寸矩阵并返回结果——这时候用 template<size_t M, size_t K, size_t N> 虽然可行，但调用端必须知道所有尺寸，且无法处理用户输入决定的尺寸。
-
std::vector<std::vector<T>>简单直接，支持运行时 resize，但内存不连续、缓存不友好 - 更优解是封装一个轻量
Matrix<T>类，内部用一维std::vector<T>存储，提供rows()、cols()、operator()(i,j)接口 - 所有涉及“任意大小”的真实工程需求，几乎都会落到这个抽象层上，而不是纠结怎么让模板吃掉
int[?][?]
真正难的不是语法怎么写，而是分清：你面对的是编译期已知的数组布局，还是运行期才确定的数据结构——后者硬用模板参数只会让代码越来越难维护。
