使用结构体时二维矩阵指针地址不一致的原因排查

这是个典型的C语言数组指针与数组退化的问题，咱们一步步拆解来理清楚：

先明确核心类型定义 #

你用typedef float mat[SIZE][SIZE];把mat定义成了4×4的float二维数组类型，所以：

• MAT_A属于mat类型，本质是float[4][4]
• &MAT_A的类型是float(*)[4][4]——这是一个指向整个4×4数组的指针，而非指向数组行的指针

你的mats结构体里，mat *matrix;对应的正是float(*)[4][4]类型，存储的是&MAT_A这个指针。

逐个分析printf语句 #

第一个printf：&MAT_A 和 mats[0].matrix[0][0] #

• &MAT_A是整个二维数组的起始地址，它的数值和数组第一个元素的地址完全相同。
• mats[0].matrix是指向整个4×4数组的指针，mats[0].matrix[0]等价于*(mats[0].matrix)，解引用后得到完整的MAT_A数组（float[4][4]）。在表达式中，这个二维数组会自动退化成指向其第一行（float[4]）的指针，再通过[0][0]取第一行第一个元素，它的地址自然和数组起始地址一致，所以两者输出相同。

第二个printf：&MAT_A[0] 和 mats[0].matrix[0] #

• MAT_A[0]是二维数组的第一行（float[4]），&MAT_A[0]是指向这一行的指针（float(*)[4]），地址值就是数组的起始地址。
• mats[0].matrix[0]是退化后的指向第一行的指针，类型和&MAT_A[0]完全匹配，地址值也相同，所以输出一致。

第三个printf：&MAT_A[1][0] 和 mats[0].matrix[1][0] #

这里就是问题的核心！

• &MAT_A[1][0]是二维数组第二行第一个元素的地址，也就是起始地址加上1行的大小（4个float，共16字节，假设float占4字节）。
• 但mats[0].matrix是指向整个4×4数组的指针，mats[0].matrix[1]等价于*(mats[0].matrix + 1)——指针加1时，偏移量是整个4×4数组的大小（4×4×4=64字节）。也就是说，mats[0].matrix[1]指向的是MAT_A后面一个完整的4×4数组的位置，而非MAT_A的第二行！再通过[0]取这个不存在的数组的第一个元素，地址自然和&MAT_A[1][0]完全不同。

怎么修正？ #

有两种常见的修正方式：

1. 先解引用指向整个数组的指针，再访问行和元素：

printf("\n%p,%p",&MAT_A[1][0], (*mats[0].matrix)[1][0]);

2. 修改结构体的指针类型，让它指向二维数组的行（float(*)[SIZE]），这样matrix[1][0]就会对应第二行第一个元素：

struct {
    char *name;
    float (*matrix)[SIZE]; // 改为指向数组行的指针
} mats[]={{"MAT_A", MAT_A}, // 直接传MAT_A，二维数组会自动退化为指向第一行的指针
          {"MAT_B", MAT_B},
          {"MAT_C", MAT_C},
          {"MAT_D", MAT_D},
          {"MAT_E", MAT_E},
          {"MAT_F", MAT_F},
          {"#",NULL}};

修改后，第三个printf的输出就会和预期一致了。

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