我在 C++ 中遇到了这个奇怪的编译错误答案

【问题标题】：I am getting this strange compilation error in C++我在 C++ 中遇到了这个奇怪的编译错误
【发布时间】：2020-06-27 10:31:28
【问题描述】：

我正在做硬币兑换问题，我正在尝试使用动态编程来做。但是我得到了这个我不太明白的汇编。有人告诉我，我必须动态分配“dp”数组，但他不知道为什么。请解释一下这个概念。

#include<bits/stdc++.h>
using namespace std;
int solve(int *d, int size, int n , int ** dp){
    if(n==0)
        return 1;
    if(n<0)
        return 0;
    if(size == 0)
        return 0;
    if(dp[n][size]>-1)
        return dp[n][size];
    
    int x = solve(d,size,n-d[0],dp);
    int y = solve(d+1, size - 1, n, dp );
    dp[n][size] = x+y;
    return x+y;
}

int countWaysToMakeChange(int denominations[], int numDenominations, int value){


int dp[value+1][numDenominations+1];
    memset(dp, -1, sizeof dp); 
    return solve(denominations, numDenominations, value, dp );
    

}

错误：

Compilation Failed
In file included from Runner.cpp:3:0:
Solution.h: In function 'int countWaysToMakeChange(int*, int, int)':
Solution.h:28:60: error: cannot convert 'int (*)[(numDenominations + 1)]' to 'int**' for argument '4' to 'int solve(int*, int, int, int**)'
     return solve(denominations, numDenominations, value, dp);
                                                            ^

这是我的主文件代码：

#include<iostream>
using namespace std;
#include "Solution.h"

int main(){

  int numDenominations;
  cin >> numDenominations;
  int* denominations = new int[numDenominations];
  for(int i = 0; i < numDenominations; i++){
    cin >> denominations[i];
  }
  int value;
  cin >> value;

  cout << countWaysToMakeChange(denominations, numDenominations, value);

}

【问题讨论】：

在 countWaysToMakeChange 中，var dp 是 int 的二维数组，而不是指向 int 的指针数组（例如 int**） .另请注意，在 solve 中，dp[n][size] 的形式可能无法达到您的预期
其中不使用可变长度数组（int dp[value+1][numDenominations+1];），并且 d 内容未在 solve 中使用，因此您读取的值在 main 中初始化 denominations 不相关

标签： c++ recursion dynamic-programming dynamic-memory-allocation

【解决方案1】：

代码有两个问题。

首先，在函数int countWaysToMakeChange(int denominations[], int numDenominations, int value)

int dp[value+1][numDenominations+1];

是非法的。数组边界必须是编译时常量。一些编译器允许将这类东西作为扩展（并且在 C 中是合法的），但它不是有效的 C++。

其次，dp 的类型是“int 的数组数组”。它不是“指向int 的指针”，编译器抱怨当代码尝试将dp 作为第四个参数传递给solve 时，它无法进行转换。

数组令人困惑。在大多数情况下，数组的名称衰减为指向其第一个元素的指针。这就是为什么你可以编写这样的代码：

void f(int*);
void g() {
    int array[20];
    f(array);
}

由于dp 是一个数组，它的名称衰减为指向其第一个元素的指针。但这就是容易迷路的地方：正如我之前所说，dp 的类型是“int 的数组数组”；当其名称衰减时，结果类型为“指向int 数组的指针”。

如果你想将dp 传递给solve，solve 必须采用相同的类型：“指向int 数组的指针”。但是由于您在编写solve 时不知道该数组的大小，因此您不能在参数列表中写入该类型。

这就是为什么多维数组通常表示为一维数组的原因之一，代码将二维转换为一维。偏移量是x * width + y，或者是一些小的变体。当你这样做时，你的二维数组变成了一个一维数组，它的名字衰减成一个指向它的第一个元素的指针，所以你可以把它传递给一个需要int*的函数。

【讨论】：