为什么这个矩阵或数组，只是存储垃圾？

Question

#include    <stdio.h>
int main(void){
    int row, col, mat[row][col], i, j, high = 0, sec_high = 0;
    scanf("%d %d", &row, &col);
    for(i = 0; i < row; i++)
        for(j = 0; j < col; j++){
        printf("\nEnter %d row %d col.\n", i, j);
    scanf("%d", &mat[row][col]);
    printf("%d \n", mat[row][col]);
        }
    for(i = 0; i < row; i++){
        for(j = 0; j < col; j++){
            if (high < mat[i][j]){
                sec_high = high;
                high = mat[i][j];                               
            }
            else if(sec_high < mat[i][j]){
                    sec_high = mat[i][j];
        }
        printf("i%d j%d h%d s%d mat%d\n", i, j, high, sec_high, mat[i][j]);
        }
    }
    printf("The  second highest number is: %d.", sec_high); 
    
}

我在这里要做的只是从矩阵中取出第二高的数字。一切都很好，直到第三个printf 来我得到随机数巨大的数字。这是完全出乎意料的，因为我在输入时已经打印了一次这些数字并且一切都很好。那么这里的逻辑错误是什么？

Answer 1

int row, col, mat[row][col], i, j, high = 0, sec_high = 0;

错误，因为 row 和 col 未初始化。它们可以包含任意值。如果row 包含 0x1fff0123 而col 包含 0x34567890 会发生什么？

scanf("%d %d", &row, &col);

也是错误的，因为scanf 可能会失败，而您无需对其进行测试。

最后，在call stack 上分配大矩阵为automatic variables 是很糟糕的。由于调用堆栈非常有限（例如，1 MB，这意味着大约 250 000 int-s，这并不多，因为 sizeof(int) 通常是四个字节）

我建议使用C dynamic memory allocation 在堆中分配矩阵，如this answer 所示。请务必测试malloc or of calloc 的成功，并且不要忘记稍后致电free。考虑使用valgrind 猎杀memory leaks。

如果您使用最近的 GCC 编译器 with 启用所有警告，例如作为gcc -Wall -Wextra -g，你会得到有用的警告。然后您可以使用GDB 调试器。一旦您的代码正确并且您想要对其进行基准测试，请通过添加 -O2 编译器标志来启用优化。

请务必阅读有关 C 的更多信息（例如 Modern C 书籍和 this 参考）以及 C 编译器和调试器的文档。稍后您可能会对 C11 标准 n1570 和 C 代码的静态分析器（例如 Frama-C）感兴趣（或 this 草稿报告）。

从现有开源 C 代码中汲取灵感

例如在github。或GNU software（例如bash或make或emacs或libc或binutils或bison或gdb等）或Python或@9876中的解释器或运行时组件@ 或 SBCL，或简单的 C 编译器，例如 nwcc 或 tinycc（这两个主要用 C 编码）或库，例如 libonion 或 GTK 等等。

考虑在您的代码中使用Clang static analyzer。