什么是零长数组/柔性数组?为什么使用零长数组?

GNU/GCC 在标准的 C/C++ 基础上做了有实用性的扩展, 零长度数组(Arrays of Length Zero) 就是其中一个知名的扩展

struct Packet
{
    int state;
    int len;
    char arr[0]; // 这里的0长结构体就为变长结构体提供了非常好的支持
};
  • 用途 : 长度为0的数组的主要用途是为了满足需要变长度的结构体
  • 用法 : 在一个结构体的最后, 申明一个长度为0的数组, 就可以使得这个结构体是可变长的. 对于编译器来说, 此时长度为0的数组并不占用空间, 因为数组名本身不占空间, 它只是一个偏移量, 数组名这个符号本身代表了一个不可修改的地址常量
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

struct buffer
{
    int len;
    char a[0];
};

int main(void)
{
    struct buffer *buf;
    buf = (struct buffer *)malloc(sizeof(struct buffer) + 20);
    buf->len = 20;
    strcpy(buf->a, "hello\\n"); // 再加一个\表示不是转义字符
    puts(buf->a);               // hello\n
    // puts 函数输出字符串自动换行输出
    free(buf);

    return 0;
}

在这个程序中,我们使用 malloc 申请一片内存,大小为 sizeof(buffer) + 20,即24个字节大小。其中4个字节用来存储结构体指针 buf 指向的结构体类型变量,另外20个字节空间,才是我们真正使用的内存空间。我们可以通过结构体成员 a,直接访问这片内存。

通过这种灵活的动态内存申请方式,这个 buffer 结构体表示的一片内存缓冲区,就可以随时调整,可大可小。这个特性,在一些场合非常有用。

比如,现在很多在线视频网站,都支持多种格式的视频播放:标清、高清、超清、蓝光甚至4K。如果我们本地程序需要在内存中申请一个 buffer 用来缓存解码后的视频数据,那么,不同的播放格式,需要的 buffer 大小是不一样的。 如果我们按照 4K 的标准去申请内存,那么当播放标清视频时,就用不了这么大的缓冲区,白白浪费内存。 而使用变长结构体,我们就可以根据用户的播放格式设置,灵活地申请不同大小的 buffer,大大节省了内存空间。

  • 为什么不使用指针来代替零长度数组?

数组名在作为函数参数传递时,确实传递的是一个地址,但数组名绝不是指针,两者不是同一个东西。数组名用来表征一块连续内存存储空间的地址,而指针是一个变量,编译器要给它单独再分配一个内存空间,用来存放它指向的变量的地址。

#include <stdio.h>

struct buffer1
{
    int len;
    int a[0];
};
struct buffer2
{
    int len;
    int *a;
} __attribute__((packed)); // 将结构体压实

int main(void)
{
    printf("buffer1: %ld\n", sizeof(struct buffer1)); // buffer1: 4
    printf("buffer2: %ld\n", sizeof(struct buffer2)); // buffer2: 12

    return 0;
}
  • 对于一个指针变量,编译器要为这个指针变量单独分配一个存储空间,然后在这个存储空间上存放另一个变量的地址,我们就说这个指针指向这个变量
  • 而数组名,编译器不会再给其分配一个存储空间的,它仅仅是一个符号,跟函数名一样,用来表示一个地址

至于为什么不使用指针来代替零长度数组呢?

例如:

使用零长度数组来写一个班级结构体的话可以这样:

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

typedef struct student
{
    int num;       // 学号
    char name[20]; // 姓名
    char sex;      // 性别
} student;

typedef struct class
{
    char *teacher;
    int class_id;
    student students[];
} class;

int main()
{
    class *classA;
    classA = (class *)malloc(sizeof(class) + sizeof(student) * 5);

    // 遍历学生赋值
    for (int i = 0; i < 5; i++)
    {
        classA->students[i].num = 230580 + i;
        printf("请输入学号为%d的姓名:\n", classA->students[i].num);
        scanf("%s", classA->students[i].name);
    }
    // 遍历学生输出
    for (int i = 0; i < 5; i++)
    {
        printf("学号%d的姓名是%s:\n", classA->students[i].num, classA->students[i].name);
    }
    // 释放资源
    free(classA);
    classA = NULL; // 置空

    return 0;
}

使用指针来写的话则会变成:

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

typedef struct student
{
    int num;       // 学号
    char name[20]; // 姓名
    char sex;      // 性别
} student;

typedef struct class
{
    char *teacher;
    int class_id;
    student *students;
} class;

int main()
{
    class *classA;
    classA = (class *)malloc(sizeof(class));
    classA->students = (student *)malloc(sizeof(student) * 5);

    // 遍历学生赋值
    for (int i = 0; i < 5; i++)
    {
        classA->students[i].num = 230580 + i;
        printf("请输入学号为%d的姓名:\n", classA->students[i].num);
        scanf("%s", classA->students[i].name);
    }
    // 遍历学生输出
    for (int i = 0; i < 5; i++)
    {
        printf("学号%d的姓名是%s:\n", classA->students[i].num, classA->students[i].name);
    }
    // 释放资源
    free(classA->students);
    classA->students = NULL;
    free(classA);
    classA = NULL;

    return 0;
}

总结:

  • 零长数组一般和结构体搭配使用,其比起在结构体中声明一个指针变量、再进行动态分配的效率要高。因为在访问数组内容时,不需要间接访问,避免了两次访存。
  • 同时因为零长数组表示数据内容时,其数据空间是动态分配的,所以比静态分配内存要灵活。
  • 4
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

cam_______

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值