4

当我尝试编译下面的代码时，gcc -O3 -Wall -Werror -std=c99 main.c我在#3 中收到类似“取消引用类型双关指针将破坏严格别名规则”的错误，但在#2 或#1 中没有。我可以取消引用类型双关的“char *”，但为什么我不能对灵活数组做同样的事情呢？

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

struct Base {
        void (*release) (struct Base *);
        size_t sz;

        char *str_foo;
        char rest[];
};

struct Concrete {
        char *str_bar;
};

void
Base_release(struct Base *base)
{
        free(base);
}

struct Base *
Base_new(size_t sz_extra)
{
        size_t sz = sizeof(struct Base) + sz_extra;
        struct Base *base = (struct Base *)malloc(sz);
        base->release = &Base_release;
        base->sz = sz;

        base->str_foo = "foo";
        return base;
}

#define BASE_FREE(_obj) (_obj)->release(_obj)
#define BASE_CAST(_type, _obj) ((struct _type *)((_obj)->rest))
#define BASE_CAST_2(_type, _obj) ((struct _type *)((char *)(_obj)+sizeof(struct Base)))

struct Base *
Concrete_new()
{
        struct Base *base = Base_new(sizeof(struct Concrete));
        struct Concrete *concrete = BASE_CAST(Concrete, base);
        concrete->str_bar = "bar";
        return base;
}

int main(int argc, const char *argv[])
{
        struct Base *instance = Concrete_new();
        printf("Base str: %s\n", instance->str_foo);

        // #1 - Legal
        struct Concrete *cinstance = BASE_CAST(Concrete, instance);
        printf("#1: Concrete str: %s\n", cinstance->str_bar);

        // #2 - Legal
        printf("#2: Concrete str: %s\n", BASE_CAST_2(Concrete, instance)->str_bar);

        // #3 - Compile error
        printf("#3: Concrete str: %s\n", BASE_CAST(Concrete, instance)->str_bar);

        BASE_FREE(instance);

        return 0;
}

编辑1： 下面有更具体的例子显示问题：

struct s {                               
        char a;                              
};                                          
char *const a = malloc(sizeof(struct s));
char b[sizeof(struct s)];   
((struct s *)((char *)a))->a = 5; // This is a valid case
((struct s *)(a))->a = 5; // OK
((struct s *)((char *)b))->a = 5; // ???
4

2 回答 2

2

首先，它与灵活数组无关，而是与任何数组有关。您可以使用固定大小足够大的数组并看到相同的结果。

最明显的解决方法是您的BASE_CAST_2. 另一种可能是使用offsetof而不是sizeof，特别是在结构尾部不灵活的情况下。

第一种和第三种情况之间的区别很棘手。它们都违反了严格的别名规则，但是当 gcc 无法确定左值的来源时，它有时会允许这样做。但是，-Wstrict-alising=2在这两种情况下都会发出警告。我不确定即使没有标准发出警告-Wstrict-aliasing（但在给定的示例中确实如此），它也能保证生成有效的代码。

第二种情况看起来不错，因为允许强制structure*转换。但是和类型char*之间存在差异。char*char[]

于 2014-07-30T17:53:11.893 回答
1

它们都通过将 char 数组别名为非 char 类型来打破严格别名。（尽管允许反过来）。

他们也都可能有对齐问题；rest可能没有正确对齐结构。

您可能不会收到警告，因为：

  • 编译器对混叠违规的检测不是那么好，和/或
  • 您的系统实际上允许这种别名，即使它是不可移植的

如果您rest用指向动态分配内存的指针替换，那么这两个问题都会消失，因为动态分配内存的“有效类型”取决于您在其中存储的内容。

请注意，在我看来，这是一个更好的解决方案：

struct Concrete
{
    struct Base base;
    char const *str_bar;
};

或者，保持混凝土原样并执行以下操作：

struct BaseConcrete
{
    struct Base base;
    struct Concrete concrete;
};
于 2014-07-30T22:06:34.137 回答