C++中typedef定义的Matrix4二维数组初始化报错问题咨询

首先要明确两个C语言的核心语法规则：

• 数组作为函数形参时会自动退化为指针，不再保留原数组的类型信息
• 大括号初始化列表只能用于数组类型的初始化操作，不能用于指针赋值

第一版代码报错的原因 #

你定义的Matrix4是float[4][4]类型的别名，但当它作为函数形参Matrix4 ans时，ans会退化为float (*)[4]类型的指针，并非完整的二维数组类型。
你直接对指针类型的ans使用二维数组的大括号初始化列表赋值，编译器预期指针赋值只需要1个地址值，你传入了16个float值，自然会抛出too many initializer values的错误。

第二版代码编译通过的原因 #

函数内部定义的float a[4][4]是完整的二维数组类型，没有发生退化，所以可以合法使用大括号初始化列表完成初始化。
后续的ans = a是指针赋值操作：数组名a退化为指向首元素的float (*)[4]类型指针，直接赋值给同类型的指针变量ans，语法上完全合法，所以编译器不会报错。

特别提醒：第二版代码虽然编译通过，但功能完全不符合预期。这里的ans是函数形参，属于局部变量，你修改的只是局部指针的指向，完全不会影响函数外部传入的原数组的内容，拿不到计算后的矩阵结果。
正确的实现应该是把局部数组的内容拷贝到ans指向的内存空间：

#include <string.h>
void getXRotationMatrix(float theta, Matrix4 ans) {
    float a[4][4] = { {0,0,0,0},{1,1,1,1},{0,0,0,0},{1,1,1,1} };
    memcpy(ans, a, sizeof(a));
}

也可以直接对ans的元素逐个赋值，不需要额外定义局部数组。

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