c - 灵活数组成员的非静态初始化？

Question

#include <stdio.h>
#include <limits.h>

typedef struct item {
    int low; int high; char label[16];
} Item;

typedef struct item_coll {
    size_t length; Item *items[];
} ItemColl;

char *find_first_in_range(ItemColl *ic, int rlow, int rhigh) {
    for (size_t i = 0; i < ic->length; i++)
        if (ic->items[i]->low >= rlow && ic->items[i]->high <= rhigh)
            return &ic->items[i]->label[0];
    return NULL;
}

int main() {
    struct item fruits[] = {
        {10, 20, "Apple"},
        {12, 14, "Pear"},
        {8, 12, "Banana"},
        {2, 4, "Grape"},
        {15, 35, "Watermelon"}
    };

    struct item_coll basket = {5, fruits};

    printf("%s", find_first_in_range(&basket, 21, 22));

    return 0;
}

这是给我 app.c:28:32: error: non-static initialization of a flexible array member
struct item_coll basket = {5, fruits};

错误指向fruits。

这是什么意思？我觉得不错。

Answer 1

如果这是考试，并且您必须使用灵活的数组成员，那么正如我在评论中指出的以及@rici 在他的回答中所解释的那样，FAM 的目的是提供给定 的占位符type 然后允许您在单个分配中为结构本身分配存储空间以及为一定数量的 FAM 类型分配存储空间。这提供的优势是单一分配/单一释放，而不是为结构单独分配，然后分配一些你需要的类型。

(在 FAM 之前，有一种被称为 struct hack 的方法，其中使用大小为 1 的数组来达到相同的目的)

类型 对您如何处理和分配您的 FAM 至关重要。在您的情况下，您的 FAM 是 item *items[];(指向 item 类型的指针数组 - Item 在您的代码中)所以您为结构分配 X 个指向 item 的指针。

要初始化items 的每个成员，您必须将有效的地址 分配给item 类型的结构(或者您可以单独分配，复制到新 block ，然后将该 block 的起始地址分配给 items 中的指针)在您的情况下，您有一个结构数组 item 称为 fruits。要分配给 items，您必须将每个结构的地址分配给 items 中的每个元素(记住您有指针的存储空间，而不是struct item -- 并且您必须确保 fruits 在您使用 basket 期间保持在范围内)

将这些部分放在一起，您可以执行类似于以下操作的操作:

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

typedef struct {
    int low, high;
    char label[16];
} item;

typedef struct {
    size_t length;
    item *items[];
} item_coll;

char *find_first_in_range(item_coll *ic, int rlow, int rhigh) 
{
    for (size_t i = 0; i < ic->length; i++)
        if (ic->items[i]->low >= rlow && ic->items[i]->high <= rhigh)
            return ic->items[i]->label;
    return NULL;
}

int main() {

    item fruits[] = {
        {10, 20, "Apple"},
        {12, 14, "Pear"},
        { 8, 12, "Banana"},
        { 2,  4, "Grape"},
        {15, 35, "Watermelon"}
    };
    size_t nfruits = sizeof fruits/sizeof *fruits;  /* avoid magic-numbers */
    /* allocate storage for basket + nfruits pointers */
    item_coll *basket = malloc (sizeof *basket + 
                                nfruits * sizeof *basket->items);
    if (!basket) {  /* validate allocation succeeded */
        perror ("malloc-basket+5_item_coll");
        return 1;
    }
    basket->length = nfruits;   /* assign length */

    for (size_t i = 0; i < nfruits; i++)  /* assign addresses to structs */
        basket->items[i] = &fruits[i];

    char *label = find_first_in_range (basket, 12, 15);  /* save return */
    if (label)  /* validate not NULL before printing */
        printf ("%s\n", label);

    free (basket);  /* don't forget to free the memory you allocate */

    return 0;
}

(注意我只是简单地使用了 typedef 并删除了结构标签本身——这取决于你。此外，你应该验证 find_first_in_range 的返回不是 NULL 打印前。)

示例使用/输出

另请注意，我已将 high/low 范围括起来

$ ./bin/fam_initialization
Pear

内存使用/错误检查

在您编写的任何动态分配内存的代码中，您对分配的任何内存块负有 2 个责任:(1) 始终保留指向起始地址的指针内存块，因此，(2) 它可以在不再需要时被释放。

您必须使用内存错误检查程序来确保您不会尝试访问内存或写入超出/超出您分配的 block 的边界，尝试读取或基于未初始化的值进行条件跳转，最后, 以确认您释放了所有已分配的内存。

对于 Linux valgrind 是正常的选择。每个平台都有类似的内存检查器。它们都易于使用，只需通过它运行您的程序即可。

$ valgrind ./bin/fam_initialization
==6887== Memcheck, a memory error detector
==6887== Copyright (C) 2002-2015, and GNU GPL'd, by Julian Seward et al.
==6887== Using Valgrind-3.12.0 and LibVEX; rerun with -h for copyright info
==6887== Command: ./bin/fam_initialization
==6887==
Pear
==6887==
==6887== HEAP SUMMARY:
==6887==     in use at exit: 0 bytes in 0 blocks
==6887==   total heap usage: 1 allocs, 1 frees, 48 bytes allocated
==6887==
==6887== All heap blocks were freed -- no leaks are possible
==6887==
==6887== For counts of detected and suppressed errors, rerun with: -v
==6887== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)

始终确认您已释放所有分配的内存并且没有内存错误。

检查一下，如果您还有其他问题，请告诉我。