4维数组-C

Question

以下代码有什么问题？ C编译器向我显示错误：分段故障。

#include <stdio.h> 
#include <math.h>

int main() {
    int n = 4;
    float A[n][n][n][n];
    A[n][n][1][1] = 1;
    A[n][n][1][2] = 0;
    A[n][n][1][3] = -3;
    A[n][n][1][4] = 0;
    A[n][n][2][1] = 1;
    A[n][n][2][2] = 0;
    A[n][n][2][3] = -3;
    A[n][n][2][4] = 0;
    return 0;
}

Answer 1

所有这些分配访问定义变量长度阵列之外的访问存储器。

A[n][n][1][1]=1;
A[n][n][1][2]=0;
A[n][n][1][3]=-3;
A[n][n][1][4]=0;
A[n][n][2][1]=1;
A[n][n][2][2]=0;
A[n][n][2][3]=-3;
A[n][n][2][4]=0;

这是数组每个维度的有效索引范围[0，n）。因此，表达式a [n]是无效的。

看来您的意思是以下任务

A[0][0][0][0]=1;
A[0][0][0][1]=0;
A[0][0][0][2]=-3;
A[0][0][0][3]=0;
A[0][0][1][0]=1;
A[0][0][1][1]=0;
A[0][0][1][2]=-3;
A[0][0][1][3]=0;

Answer 2

如果定义长度为n的数组，则对最后一个元素的访问在N-1索引处，并且对第一个元素的访问在索引0处，因为索引从0开始，在n-1结束。

因此，您的代码应该是这样的：

#include<stdio.h> 
#include<math.h>
#define N 4

int main() {
    float A[N][N][N][N];
    A[N-1][N-1][0][0]=1;
    A[N-1][N-1][0][1]=0;
    A[N-1][N-1][0][2]=-3;
    A[N-1][N-1][0][3]=0;
    A[N-1][N-1][1][0]=1;
    A[N-1][N-1][1][1]=0;
    A[N-1][N-1][1][2]=-3;
    A[N-1][N-1][1][3]=0;
    return 0;
}

另外，您使用一个变量来定义数组的长度，仅在 c99标准及以后。如果您不需要 vla> vla （variable长度阵列），您应该使用#define而不是定义。

Answer 3

int n=4;
float A[n][n][n][n];
A[n][n][1][1]=1;

在每个C标准中都不有效（阅读或更好）。您可能需要代码const int n = 4;或#define n 4

（在廉价的微控制器上，您甚至可能没有足够的堆栈空间来容纳256个浮点溢出）

然后， you 始终有一个 buffer vellflow （阅读有关 undected行为）。在a [x] [x] [1] [1]中，有效索引来自x为0至x是3- N -1 - （不是4）。

您可能需要代码

A[n-1][n-1][1][1] = 1;

，但您应该知道a [0] [0] [0] [0]正在非传统化。它可能包含垃圾（信号nan）和假设的printf（“％f \ n”，a [0] [0] [0] [0] [0]）;可能会失败....

i猜猜 frama-c 会遇到您的错误（我会让您检查一下）。请注意 rice的定理。

我将使用零（以简化调试，并具有更可重复的运行）初始化a - 在纠正了缓冲区溢出之后：

float A[n][n][n][n]={0.0};