如何正确初始化动态分配的布尔型二维数组？

一、你的代码存在的问题 #

1. 指针类型不匹配（两个写法的核心问题） #

你声明的指针bool (*ary)[4]是指向包含4个bool元素的一维数组的指针，但实际分配的内存对应bool[4][3]（4行3列的二维数组），两者类型不兼容。正确的指针类型应该是bool (*ary)[3]——因为二维数组的每一行是一个包含3个bool的一维数组，指针需要匹配这个行结构。

2. memset写法的额外说明 #

你担心memset依赖bool占用1字节的实现：实际上C标准规定，<stdbool.h>定义的bool是_Bool的别名，_Bool类型的大小至少为1字节，且false等价于0，所以用memset(ary, false, size)把所有字节设为0是安全的，不存在依赖具体实现的问题。但指针类型错误会导致后续数组访问越界，这才是需要优先修正的问题。

3. memcpy写法的错误 #

除了指针类型不匹配，memcpy的第二个参数你传了&orig——orig本身是二维数组名，会隐式转换为指向第一行的指针（const bool (*)[3]），和修正后的目标指针类型匹配。传&orig得到的是指向整个二维数组的指针（const bool (*)[4][3]），虽然地址值相同，但属于冗余写法；不过这不是代码无法运行的核心原因，核心还是指针类型不匹配导致的内存访问异常。

二、正确的实现方式 #

方式1：修正指针类型后用memset初始化 #

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

int main() {
    size_t size = sizeof(bool[4][3]);
    // 修正指针类型：指向包含3个bool的一维数组
    bool (*ary)[3] = malloc(size);
    if (ary == NULL) {
        // 必须检查malloc是否成功
        perror("malloc failed");
        return 1;
    }
    memset(ary, false, size);
    
    // 测试访问
    for (int i = 0; i < 4; i++) {
        for (int j = 0; j < 3; j++) {
            printf("%d ", ary[i][j]);
        }
        printf("\n");
    }
    free(ary);
    return 0;
}

方式2：修正指针类型后用memcpy自定义初始化 #

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

int main() {
    size_t size = sizeof(bool[4][3]);
    bool (*ary)[3] = malloc(size);
    if (ary == NULL) {
        perror("malloc failed");
        return 1;
    }
    const bool orig[4][3] = {
        {true, false, false},
        {false, true, true},
        {true, true, true},
        {false, false, false}
    };
    // 直接传orig即可，无需取地址
    memcpy(ary, orig, size);
    
    // 测试访问
    for (int i = 0; i < 4; i++) {
        for (int j = 0; j < 3; j++) {
            printf("%d ", ary[i][j]);
        }
        printf("\n");
    }
    free(ary);
    return 0;
}

补充：更直观的二维数组动态分配写法 #

如果觉得指针语法难理解，也可以用两层malloc（缺点是内存碎片化比单块malloc严重，按需选择）：

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

int main() {
    bool **ary = malloc(4 * sizeof(bool*));
    if (ary == NULL) {
        perror("malloc failed");
        return 1;
    }
    for (int i = 0; i < 4; i++) {
        ary[i] = malloc(3 * sizeof(bool));
        if (ary[i] == NULL) {
            perror("malloc failed");
            // 内存分配失败时要释放已分配的空间
            for (int j = 0; j < i; j++) {
                free(ary[j]);
            }
            free(ary);
            return 1;
        }
        memset(ary[i], false, 3 * sizeof(bool));
    }
    
    // 使用数组...
    
    // 逐层释放内存
    for (int i = 0; i < 4; i++) {
        free(ary[i]);
    }
    free(ary);
    return 0;
}

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