代码之家 › 专栏 › 技术社区 › Evan Teran

“结构黑客”在技术上是未定义的行为吗?

c89 undefined-behavior c

109

Evan Teran · 技术社区 · 15 年前

我要问的是著名的“结构的最后一个成员具有可变长度”技巧。就像这样:

struct T {
    int len;
    char s[1];
};

struct T *p = malloc(sizeof(struct T) + 100);
p->len = 100;
strcpy(p->s, "hello world");

由于结构在内存中的布局方式,我们可以将结构覆盖在一个大于必需的块上,并将最后一个成员视为大于 1 char 明确规定。

所以问题是: 这项技术在技术上是未定义的行为吗? . 我想是的,但我很好奇标准怎么说。

附言:我知道C99的方法,我希望答案特别坚持以上列出的技巧版本。

8 回复 | 直到 13 年前

Carl Norum 15 年前

a[1][7] int a[4][5]

Jerry Coffin 15 年前

ouah 13 年前

Chuck 15 年前

char foo[] char

R.. GitHub STOP HELPING ICE 15 年前

p->s (char *)p + offsetof(struct T, s) char -> malloc char *

p->s[0] p->s[1] p->s[3]

1 [1] s[sizeof struct that_other_struct]; p->s[i] i<sizeof struct that_other_struct i>=sizeof struct that_other_struct

struct T s[0]

AnT stands with Russia 15 年前

p->s[0] p->s[1]

Bernhard R. Link 14 年前

supercat 15 年前

typedef struct {
  int len;
  char dat[];
};

typedef struct {
  int whatever;
  char dat[1];
} MY_STRUCT;

#define LARGEST_DAT_SIZE 0xF000
typedef struct {
  int whatever;
  char dat[LARGEST_DAT_SIZE];
} MY_STRUCT;

推荐文章

Aidan · 为什么在将最后一个索引分配给空终止符(\0)后,我无法释放char缓冲区

1 年前

Chris · 用目的地捕捉信号

1 年前

MaPo · Linux,设置锁定ICMP_过滤器选项

1 年前

KevInSol · 在FreeBSD的配置阶段,从源代码构建PHP时找不到libjpeg

1 年前

Doohyeon Won · 内联函数上的奇怪现象?[关闭]

1 年前

MaSc. H. · 大小与阵列大小

1 年前

Fulmineo · 我的C代码运行良好,但在结束前崩溃(0xC0000374)

1 年前

Mehan Alavi · TCP Socket-打印字符串中所有不在C中的字符不起作用

1 年前

Bobby · 复合字面值总是左值吗?

1 年前

9-Pin · C: 嵌套结构的堆栈内存分配

1 年前