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 <p>调用时完全无需指定模板参数，编译器能自动推导：<code>process_2d(my_array)</code>，其中 <code>my_array</code> 是 <code>int[4][6]</code> 就推出 <code>M=4, N=6</code>。</p>
<ul>
<li>必须用引用 <code>const T(&)[M][N]</code>，否则会退化成 <code>T(*)[N]</code>，丢失 <code>M</code>
</li>
<li>如果想支持不同数值类型（如 <code>float</code>、<code>double</code>），加一个类型模板参数：<code>template<typename t size_t m n></typename></code>
</li>
<li>注意：这种方案只接受真正意义上的栈上二维数组（<code>int a[3][4]</code>），不接受 <code>int**</code> 或 <code>std::vector<:vector>></:vector></code>
</li>
</ul>
<h3>用 <code>std::span</code>（C++20）统一处理多种二维布局</h3>
<p>如果你实际要处理的是连续内存块（比如 <code>std::vector<int></int></code> 按行优先存的二维数据），<code>std::span</code> 更灵活且安全。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架"><img
src="https://img.php.cn/upload/skill/000/000/081/178988956499722.jpg" alt="C++ 算法竞赛自动化测试数据生成与校验框架" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="overflowclass">C++ 算法竞赛自动化测试数据生成与校验框架</a>
<p class="overflowclass">根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。</p>
</div>
<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<pre class="brush:php;toolbar:false;">#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 <p>调用示例：<code>process_flat_2d(std::span(a), 3, 5)</code>（<code>a</code> 是 <code>int[15]</code>）或 <code>process_flat_2d(my_vec, 3, 5)</code>（<code>my_vec</code> 是 <code>std::vector<int></int></code>）。</p>
<ul>
<li>
<code>std::span</code> 不拥有数据，零开销，且自带边界检查（debug 模式下）</li>
<li>它不关心“原始维度”，只依赖你传入的 <code>rows</code> 和 <code>cols</code>，适合动态尺寸场景</li>
<li>兼容 C 风格数组、<code>std::array</code>、<code>std::vector</code>，只要底层是连续的 <code>T</code> 序列</li>
</ul>
<h3>别硬套二维数组——考虑用 <code>std::vector<:vector>></:vector></code> 或自定义 Matrix 类</h3>
<p>真正需要“任意大小”且运行时可变的二维结构，原生数组天生不适合。强行用模板参数模拟会导致大量实例化、接口僵硬、无法返回新尺寸结果。</p>
<p>例如，你想写一个通用矩阵乘法函数，输入两个任意尺寸矩阵并返回结果——这时候用 <code>template<size_t m size_t k n></size_t></code> 虽然可行，但调用端必须知道所有尺寸，且无法处理用户输入决定的尺寸。</p>
<ul>
<li>
<code>std::vector<:vector>></:vector></code> 简单直接，支持运行时 resize，但内存不连续、缓存不友好</li>
<li>更优解是封装一个轻量 <code>Matrix<t></t></code> 类，内部用一维 <code>std::vector<t></t></code> 存储，提供 <code>rows()</code>、<code>cols()</code>、<code>operator()(i,j)</code> 接口</li>
<li>所有涉及“任意大小”的真实工程需求，几乎都会落到这个抽象层上，而不是纠结怎么让模板吃掉 <code>int[?][?]</code>
</li>
</ul>
<p>真正难的不是语法怎么写，而是分清：你面对的是编译期已知的数组布局，还是运行期才确定的数据结构——后者硬用模板参数只会让代码越来越难维护。</p></const></typename></span>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
