数组定义中的复合字面量：元素指针是否仍指向有效内存？

考虑这段代码：

unsigned char* array[] = { (unsigned char[5]){}, (unsigned char[5]){} };

定义完成后，array[0]和array[1]不指向有效内存，后续不能执行类似memcpy(array + 1, "\x01\x02\x03\x04\x05", 5);的操作，原因如下：

• 这里的(unsigned char[5]){}是C语言的复合字面量，当它作为数组初始化器的元素时，其生命周期仅局限于初始化过程本身。一旦array的初始化完成，这些复合字面量占用的临时内存会被释放，对应指针就变成了野指针。
• 对野指针执行memcpy这类内存写入操作属于未定义行为，程序可能崩溃、出现异常输出，或表现出其他不可预测的结果。

如果需要让指针指向持久有效的内存，常见的修正方案有两种：

• 改用二维数组：unsigned char array[2][5] = { {0}, {0} };，每个子数组的内存是持久的，可直接操作。
• 为每个指针动态分配内存：比如用malloc(5)初始化每个元素，注意后续要调用free避免内存泄漏。

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