使用灵活长度数组时的 Objective-C EXEC_BAD_ACCESS

Question

我对我发现的一些行为做了一些测试，我想知道是否有人可以帮助我了解发生了什么。

我有一个名为 myStruct 的结构，如下所示：

typedef struct {
    int size;
    float floats[];
} myStruct;

我在其上运行此代码：

int main () {
    NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];

    NSArray *a = [[NSArray alloc] initWithObjects:@"0.2", @"0.5", @"0.5", nil];

    NSLog(@"%@", a);

    myStruct my;
    my.size = a.count;

    my.floats[0] = [[a objectAtIndex:0] floatValue];
    my.floats[1] = [[a objectAtIndex:1] floatValue];
    my.floats[2] = [[a objectAtIndex:2] floatValue];

    NSLog(@"{ %lf, %lf, %lf }", my.floats[0], my.floats[1], my.floats[2]);

    [a release];    
    [pool drain];
    return 0;
}

它工作正常。但是，当我将结构声明更改为：

typedef struct {
    float myVar;
    int size;
    float floats[];
} myStruct;

当我调用行 [a release] 时，我得到 EXEC_BAD_ACCESS。

谁能帮我理解这里发生了什么？

Answer 1

您必须实际为灵活的数组成员分配空间！此行：

myStruct my;

仅为 size （或第二个示例中的 myVar 和 size）提供足够的堆栈空间。看起来，在失败的情况下，您正在覆盖堆栈上的 a ，但实际上这两种情况都是错误的。要解决您的问题，您需要为结构的 floats[] 成员分配空间：

myStruct *my = malloc(sizeof(myStruct) + a.count * sizeof(float));

完成后不要忘记 free() 它！

一个简单的例子 - 这个程序：

#include <stdio.h>

typedef struct {
    float myVar;
    int size;
    float floats[];
} myStruct;

int main(int argc, char **argv)
{
  printf("%zu\n", sizeof(myStruct));
  return 0;
}

及其输出：

$ make testapp
cc     testapp.c   -o testapp
$ ./testapp 
8

Answer 2

你没有为你的浮动分配任何内存 - 我很惊讶它没有更快崩溃！

您需要为 floats[] 指针分配一些内存吗？

---

经过快速测试后，我得到了 myStruct 的两个定义的 EXC_BAD_ACCESS :)