C++按引用传二维数组 模板函数调用无匹配候选报错排查

作为C++初学者，尝试通过模板方案实现数组按引用传递，无需使用指针即可支持不同尺寸数组作为函数入参。参考一维数组按引用传递的实现（通过模板参数指定数组长度），参考代码如下：

// CPP Program to demonstrate template approach
#include <iostream>
using namespace std;

template <size_t N> void print(int (&a)[N])
{
    for (int e : a) {
        cout << e << endl;
    }
}

// Driver Code
int main()
{
    int a[]{ 1, 2, 3, 4, 5 };
    print(a);
}

尝试将该逻辑扩展至二维数组场景，编写了如下用于求解LeetCode 1675题「最小化数组偏差」的半成品代码：

template <size_t r, size_t c>
float approach_mean(vector<int>& n, float (&a)[r][c], float m, float d) {
    return 0;
}

class Solution {
public:
    int minimumDeviation(vector<int>& nums) {
        float m = accumulate(nums.begin(), nums.end(), 0) / nums.size();
        float dev = 0, devp = 0;
        long double s = 0;
        float r[2][nums.size()];
        for (int i0 = 0; i0 < nums.size(); ++i0) {
            r[0][i0] = nums.at(i0);
            r[1][i0] = m - nums.at(i0);
            dev = dev + abs(m - nums.at(i0));
        }
        dev = dev / nums.size();
        while (devp < dev) {
            devp = dev;
            dev = approach_mean(nums, r, m, dev);
            break;
        }
        return devp;
    }
    
//     float approach_mean() {
        
//     }
};

编译时触发如下报错，初步排查未发现返回值类型不匹配问题：

Line 21: Char 19: error: no matching function for call to 'approach_mean'
            dev = approach_mean(nums, r, m, dev);
                  ^~~~~~~~~~~~~~~
Line 2: Char 7: note: candidate template ignored: could not match 'float' against 'float'
float approach_mean(vector<int>& n, float (&a)[r][c], float m, float d) {
      ^
1 error generated.

题目规则节选：

给定一个包含n个正整数的数组nums。你可以对数组中任意元素执行任意次以下两种操作：

1. 若元素为偶数，可将其除以2。例如数组[1,2,3,4]，对最后一个元素执行该操作后可得到[1,2,3,2]。
2. 若元素为奇数，可将其乘以2。例如数组[1,2,3,4]，对第一个元素执行该操作后可得到[2,2,3,4]。
   数组的偏差定义为数组中任意两个元素的最大差值，请返回经过若干次操作后数组可达到的最小偏差值。

报错和返回值类型没有任何关系，核心问题有两点：

• 模板的非类型参数size_t r/size_t c要求传入的数组所有维度长度必须是编译期可确定的常量，这是模板参数推导的基本要求——只有编译期就能拿到确定长度的原生数组，才能自动推导出r、c的值，匹配到对应的模板实例。
• 定义的数组float r[2][nums.size()];是C++标准不支持的可变长度数组（VLA）：nums.size()是运行时才能拿到的值，不是编译期常量，这种写法只是部分编译器提供的非标准扩展。这种可变长度数组的类型和模板期望的「编译期定长二维数组」类型完全不匹配，编译器无法从它身上推导出编译期常量c，因此匹配模板失败。那条看起来迷惑的could not match 'float' against 'float'提示是编译器的提示信息缺陷，本质是数组类型不兼容。

额外说明：数组按引用传递的模板方案本身就只适用于编译期长度固定的数组场景，LeetCode题目中nums的长度是入参决定的，运行时才能确定，从场景上就不适合用这套模板方案。

• 放弃栈上可变长度原生数组的写法，改用C++标准库提供的运行时可变长容器存储二维数据，同时修改approach_mean的形参类型对应接收容器，不再使用定长数组引用的模板。以下是保持原有访问逻辑不变的修复后核心代码：

  #include <array>
  #include <vector>
  #include <numeric>
  
  // 不再需要模板，直接接收对应容器类型
  float approach_mean(vector<int>& n, array<vector<float>, 2>& a, float m, float d) {
      return 0;
  }
  
  class Solution {
  public:
      int minimumDeviation(vector<int>& nums) {
          // 初始值传0.0f确保是浮点运算，避免原代码整数除法导致的精度错误
          float m = accumulate(nums.begin(), nums.end(), 0.0f) / nums.size();
          float dev = 0, devp = 0;
          // 替换原生可变长度数组为标准容器，保持r[行][列]的访问习惯
          array<vector<float>, 2> r;
          r[0].resize(nums.size());
          r[1].resize(nums.size());
          for (int i0 = 0; i0 < nums.size(); ++i0) {
              r[0][i0] = nums.at(i0);
              r[1][i0] = m - nums.at(i0);
              dev = dev + abs(m - nums.at(i0));
          }
          dev = dev / nums.size();
          while (devp < dev) {
              devp = dev;
              dev = approach_mean(nums, r, m, dev);
              break;
          }
          return devp;
      }
  };
  

• 如果要测试二维数组按引用传递的模板逻辑，只能使用编译期就确定长度的数组，比如写死float r[2][5];，此时编译器可以自动推导出r=2、c=5，就能正常匹配模板实例。

内容的提问来源于stack exchange，提问作者Vishwad