C语言指针未显式修改却异常变更的问题排查与求解

问题背景 #

作为C语言新手，在实现模整数高斯消元的Matrix结构体及创建函数m_new时，遇到指针相关错误：当n=m=5时，调试函数print_arr输出前4次为len: 0，最后一次出现垃圾值len: -1219680380，无法理解异常原因。

原代码 #

typedef struct matrix {
    int n;
    int m;
    int **data;
    int *inverses;
} Matrix;

Matrix m_new(int n, int m, int *inverses) {

    int **data = malloc(n);

    for (int k = 0; k < n; k++) {
        int *row = malloc(m + 1);
        *row++ = k;
        *(data+k) = row; 
        // print_arr(*data); - 用于调试
    }

    Matrix mat = {
        .n = n,
        .m = m,
        .data = data,
        .inverses = inverses,
    };

    return mat;
}

void print_arr(int *arr) {
    int len = *(arr-1);
    printf("len: %d\n", len);
}

调试输出 #

len: 0

len: 0

len: 0

len: 0

len: -1219680380

错误原因分析 #

1. 内存分配大小错误：
   int **data = malloc(n); 只分配了n字节的空间，但data是存储int*指针的数组，每个指针在32位系统占4字节、64位系统占8字节。当n=5时，实际需要5*sizeof(int*)字节，原代码分配的空间不足，导致后续写入data[k]时越界，破坏内存结构，最后一次迭代读取到非法内存值。

2. 调试打印逻辑错误：
   调试时调用print_arr(*data)，*data等价于data[0]，即始终打印第一行的arr-1位置（也就是第一行的索引值），所以前4次输出都是第一行的索引0；最后一次迭代因内存越界，读取到垃圾数据。

解决方法 #

1. 修正内存分配大小 #

将指针数组的分配代码改为：

int **data = malloc(n * sizeof(int*));

同时必须检查malloc返回值，避免内存分配失败导致空指针操作。

2. 修正调试打印逻辑 #

如果要打印当前行的索引，应传入当前行的指针data[k]，而非始终传入第一行的*data：

print_arr(data[k]);

3. 完整修正后的代码 #

#include <stdlib.h>
#include <stdio.h>

typedef struct matrix {
    int n;
    int m;
    int **data;
    int *inverses;
} Matrix;

void print_arr(int *arr) {
    int idx = *(arr-1);
    printf("row index: %d\n", idx);
}

Matrix m_new(int n, int m, int *inverses) {
    // 分配n个int*指针的空间
    int **data = malloc(n * sizeof(int*));
    if (!data) {
        Matrix empty = {0};
        return empty;
    }

    for (int k = 0; k < n; k++) {
        // 分配每行的空间：1个位置存索引 + m个位置存元素
        int *row = malloc((m + 1) * sizeof(int));
        if (!row) {
            // 分配失败时回滚已分配的内存，避免泄漏
            for (int i = 0; i < k; i++) {
                free(data[i] - 1);
            }
            free(data);
            Matrix empty = {0};
            return empty;
        }
        *row = k; // 索引存在row[0]
        data[k] = row + 1; // 让data[k]指向矩阵元素的起始位置
        print_arr(data[k]); // 打印当前行的索引
    }

    Matrix mat = {
        .n = n,
        .m = m,
        .data = data,
        .inverses = inverses,
    };

    return mat;
}

// 配套的内存释放函数，避免内存泄漏
void m_free(Matrix mat) {
    if (mat.data) {
        for (int i = 0; i < mat.n; i++) {
            free(mat.data[i] - 1); // 释放原始的row指针
        }
        free(mat.data);
    }
}

修正后调试输出会依次打印row index: 0到row index:4，无异常值。

编码实践建议 #

• 内存分配必检返回值：malloc可能返回NULL，必须检查并处理分配失败的情况，避免程序崩溃或内存泄漏。
• 避免指针偏移存元数据：用arr-1存储行索引的方式不安全、可读性差，容易因指针操作失误导致越界。建议改用结构体存储行信息，比如：

  typedef struct Row {
      int index;
      int *elements;
  } Row;
  typedef struct matrix {
      int n;
      int m;
      Row *data;
      int *inverses;
  } Matrix;
  

  这样通过data[k].index直接获取行索引，无需指针偏移。
• 配套内存释放函数：动态分配的内存必须手动释放，编写与m_new对应的m_free函数，避免内存泄漏。
• 调试时打印指针地址：遇到指针错误时，打印data、data[k]等指针的地址，检查是否存在越界或错误赋值。

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