C语言结构体指针内嵌double二维数组运行异常问题咨询

1 结构体指针内嵌double数组的正确实现 #

你定义的结构体本身的double数组成员写法是合法的，问题出在内存分配和构造函数的实现上，正确的实现逻辑如下：

• 构造函数分配内存时，需要取结构体本身的大小，而非结构体指针的大小：你原来的sizeof(CoordinateMapper)计算的是指针类型的大小（64位系统下为8字节，32位为4字节），远小于CoordinateMapperStr结构体实际需要的9*8=72字节，导致分配的内存空间不足。
• 必须在构造函数末尾显式返回创建好的结构体指针，同时建议增加内存分配失败的校验逻辑，避免空指针访问。

正确的构造函数示例：

CoordinateMapper CoordinateMapper_Constructor(void)
{
    // 分配的内存大小为结构体的实际大小，不需要强转calloc返回值
    CoordinateMapper this = calloc(1, sizeof(CoordinateMapperStr));
    if (this == NULL) {
        perror("CoordinateMapper内存分配失败");
        exit(EXIT_FAILURE);
    }
    return this;
}

如果需要释放对象，配套实现析构函数调用free(this)即可，结构体内嵌的数组不需要单独释放。

2 运行结果异常的原因 #

你的代码触发了两处C语言的未定义行为，这是结果不稳定的核心原因：

1. 内存分配大小不足：仅分配了指针大小的内存，后续给mapping数组赋值时属于堆内存越界访问，会随意覆盖堆上其他区域的数据，导致数值错乱。
2. 构造函数未返回有效值：C语言标准规定，有返回值的函数如果执行到末尾没有显式return，返回值是完全未定义的，你拿到的mapper_1、mapper_2本质是野指针，指向的内存区域不属于当前对象，两个野指针指向的地址大概率重叠，所以给mapper_2初始化时会覆盖mapper_1的部分数据，最终出现你观察到的部分数值变为0的问题。
   你即使补上return语句，只要内存分配的大小还是错的，依然会出现同样的异常，因为分配的空间不足以容纳整个结构体。

3 可发现这类错误的GCC编译标识 #

推荐开启以下编译选项，在编译期就拦截大部分低级错误：

• -Wall：开启大部分常规警告，会直接提示有返回值的函数缺失return语句
• -Wextra：开启额外警告，会检查更多不合理的语法用法
• -Wsizeof-pointer-memaccess：专门检测把sizeof(指针)作为内存分配大小的错误，你的代码开了这个选项会直接报相关警告
• -Wreturn-type：单独校验函数返回值问题，漏写return会直接报告警

如果要运行期检测内存问题，可以加上地址消毒选项：

• -fsanitize=address -g：编译后运行程序时，只要出现野指针访问、内存越界、内存泄漏等问题，会直接输出详细的错误位置，非常方便定位内存类问题。

完整编译命令示例：

gcc src/test_3.c -o test_3 -Wall -Wextra -Wsizeof-pointer-memaccess -fsanitize=address -g

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