无需宏定义，C语言能否仅传二维数组及尺寸创建矩阵结构体？

在标准C（C11及之前）中，函数无法在编译时自动推导二维数组的维度，想要完全避免宏且自动获取数组尺寸，需要依赖编译器扩展（比如GCC/Clang的typeof特性）。如果严格遵循标准C，只能通过手动指定维度+类型检查的方式替代宏，以下是具体实现：

一、依赖GNU扩展的自动推导方案（GCC/Clang适用） #

利用GNU C的typeof关键字获取数组的编译时类型，结合内联函数实现类型安全的自动维度推导，完全不需要宏：

#include <stdint.h>
#include <stdlib.h>
#include <string.h>

typedef struct Matrix
{
    uint16_t sizeX;
    uint16_t sizeY;
    double* data;
} Matrix;

// 空矩阵构造函数
Matrix create_empty_matrix(void)
{
    return (Matrix){.sizeX = 0, .sizeY = 0, .data = NULL};
}

// 核心创建逻辑（原代码保留）
static Matrix _create_matrix(uint16_t sizeY, uint16_t sizeX, double numbers[][sizeX])
{
    double *data = calloc(sizeX * sizeY, sizeof(double));
    if (!data)
        return create_empty_matrix();

    memcpy(data, numbers, sizeX * sizeY * sizeof(double));
    return (Matrix){.sizeX = sizeX, .sizeY = sizeY, .data = data};
}

// 类型安全的自动推导内联函数
static inline Matrix create_matrix(const void* arr)
{
    // 用typeof获取传入数组的实际类型
    typeof(arr) arr_typed = (typeof(arr))arr;
    // 编译时计算维度
    uint16_t sizeY = sizeof(*arr_typed) / sizeof((*arr_typed)[0]);
    uint16_t sizeX = sizeof((*arr_typed)[0]) / sizeof(double);

    // 静态断言：确保传入的是二维double数组，避免类型错误
    _Static_assert(_Generic(arr_typed, 
        double(*)[][sizeX]: 1, 
        default: 0), 
        "create_matrix only accepts 2D double arrays");

    return _create_matrix(sizeY, sizeX, (double(*)[sizeX])arr);
}

使用示例 #

和原宏的用法完全一致，但会在编译时检查类型：

double data[3][3] = {
    {2, 0, 3},
    {1, 2, 4},     
    {5, 3, 2}
};

Matrix m1 = create_matrix(data);

// 若传入非二维double数组，编译直接报错
// int wrong_data[2][2] = {{1,2},{3,4}};
// Matrix m2 = create_matrix(wrong_data); // 编译失败

二、纯标准C11方案（无扩展、无宏） #

标准C中没有编译时自动推导数组维度的函数特性，因此无法完全避免手动输入维度，但可以通过运行时检查确保维度与数组实际大小匹配，同时保留类型安全：

#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>

typedef struct Matrix
{
    uint16_t sizeX;
    uint16_t sizeY;
    double* data;
} Matrix;

Matrix create_empty_matrix(void)
{
    return (Matrix){.sizeX = 0, .sizeY = 0, .data = NULL};
}

// 带维度参数的创建函数，运行时验证维度正确性
Matrix create_matrix(uint16_t sizeY, uint16_t sizeX, double numbers[][sizeX])
{
    // 运行时检查：确保传入的数组实际大小与指定维度匹配
    assert(sizeof(numbers[0]) == sizeX * sizeof(double));
    assert(sizeof(numbers) == sizeY * sizeof(numbers[0]));

    double *data = calloc(sizeX * sizeY, sizeof(double));
    if (!data)
        return create_empty_matrix();

    memcpy(data, numbers, sizeX * sizeY * sizeof(double));
    return (Matrix){.sizeX = sizeX, .sizeY = sizeY, .data = data};
}

使用示例 #

需要手动传入维度，但运行时会验证正确性：

double data[3][3] = {
    {2, 0, 3},
    {1, 2, 4},     
    {5, 3, 2}
};

Matrix m1 = create_matrix(3, 3, data);

// 若维度写错，运行时触发断言
// Matrix m2 = create_matrix(2, 3, data); // 运行时断言失败

方案总结 #

• 若使用GCC/Clang等支持GNU扩展的编译器，方案一可以完全替代原宏，既保留自动推导维度的便捷性，又具备类型检查能力，避免宏的缺陷。
• 若必须严格遵循标准C，方案二虽然需要手动输入维度，但通过运行时检查可以避免维度不匹配的错误，同时完全不使用宏。

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