结构中的可变长度数组

Question

我正在用C语言编写一个应用程序（作为初学者），我正努力在包含可变长度数组的结构中获取损坏的数据。 我在cprogramming.com和cert.og / secure-coding的论坛帖子中发现了类似的问题。 我以为我已经找到了正确的解决方案，但似乎没有。

结构看起来像这样；

typedef struct {
    int a;
    int b;
} pair;

typedef struct {
    CommandType name;
    pair class;
    pair instr;
    pair p1;
    pair p2;
    pair p3;
    CommandType expected_next;
    char* desc;
    int size;
    pair sw1;
    pair sw2;
    pair* data;
} command;

有问题的是“命令”。 对于“命令”的任何给定实例（或任何正确的短语），将设置不同的字段，尽管在大多数情况下，尽管在不同的实例中设置了相同的字段。

我遇到的问题是尝试设置Expected_next，名称，sw1，sw2，大小和数据字段时。 而且是数据字段正在损坏。 我正在为这种结构分配内存；

void *command_malloc(int desc_size,int data_size)
{
    return malloc(sizeof(command) +
                  desc_size*sizeof(char) +
                  data_size*sizeof(pair));
}

command *cmd;
cmd = command_malloc(0, file_size);

但是，当我（漂亮）打印生成的cmd时，数据字段的中间似乎是随机垃圾。 我已经遍历了gdb，可以看到正确的数据正在加载到该字段中。 看来只有当命令传递给另一个函数时，它才会被破坏。 此代码在函数中调用，例如；

command* parse(char *line, command *context)

精美的图片出现在另一个函数中；

void pretty_print(char* line, command* cmd)

我以为我做的事正确，但显然不行。 据我所知，我构建了该结构的其他实例（并为该实例复制了这些方法），但它们中不包含任何可变长度数组，并且它们的漂亮外观看起来还不错-这对我来说很担心，因为它们也可能会断裂，但断裂不太明显。

我正在写的实际上是一个解析器，因此一个命令传递到了parse函数（描述了当前状态，向解析器提示了下一步的期望），下一个命令（从输入“ line”派生）是回来。 在解析函数的末尾释放了“ context”，返回了新命令-然后将其与下一行“输入”一起传递回“ parse”。

谁能提出任何有关为什么可能发生这种情况的建议？

非常感谢。

Answer 1

当您将内存分配给结构时，仅将指针大小分配给* desc。 正如已经指出的那样，您必须将内存分配给desc指向的空间（数组内容）。 我的回答的目的是说明这样做的方式略有不同。 由于使用指针* desc可以将结构大小增加一个单词（sizeof指针），因此您可以安全地在结构中使用可变长度数组，以减小结构大小。

这是您的结构的外观，请注意desc []已被拉到结构的末尾：

typedef struct {
    CommandType name;
    pair class;
    pair instr;
    pair p1;
    pair p2;
    pair p3;
    CommandType expected_next;
    int size;
    pair sw1;
    pair sw2;
    pair* data;
    char desc[];
} command;

现在，1.为还包括数组大小的命令分配内存：

 command *cmd = malloc(sizeof(command) + desc_length);

1. 使用desc：

   cmd-> desc [desc_length -1] ='\\ 0';

仅当成员位于结构的末尾，节省结构大小，节省指针间接性时，此技巧才有效。如果数组长度是特定于结构实例的，则可以使用此技巧。

Answer 2

您必须分别分配desc和数据。

分配struct命令* cmd时，将为decs和数据指针分配内存。 Desc和数据必须分别进行malloc。

所以分配你的命令

command *cmd =  malloc(sizeof(command));

然后为数据或desc分配内存
desc的示例：

cmd->desc = malloc( sizeof(char )*100);