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

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

c89 undefined-behavior c

109

Evan Teran · 技术社区 · 14 年前

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

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 回复 | 直到 12 年前

Carl Norum 14 年前

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

Jerry Coffin 14 年前

ouah 12 年前

Chuck 14 年前

char foo[] char

R.. GitHub STOP HELPING ICE 14 年前

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 14 年前

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

Bernhard R. Link 12 年前

supercat 14 年前

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;

推荐文章

Community wiki · C中有哪些耗时的操作?

1 年前

Tintenfisch · 传递参数:array与C和C中的*&array和&array[0]之间的差异++

1 年前

daryldxn · Windows筛选平台计算通过TCP连接发送的字节和接收的字节

1 年前

Mike Balts · 它们将被打印多少次,为什么?我知道:“阿尔法”一次,“贝塔”两次,“欧米茄”两次但我不知道为什么

1 年前

Mohammed Eid · 数据类型“char”是否可以被视为数据类型“int”?

1 年前

Community wiki · 将所有处理器电源都投入到任务中

1 年前

Community wiki · 在C&数据结构中实现不同数据结构的聪明方法,应该更频繁地使用

1 年前

Community wiki · C++为C添加了什么?[已关闭]

1 年前

Abhinav Kumar · 如何将#define的数据类型设置为长双精度?

1 年前

Community wiki · 打印1到1000,不带循环或条件

1 年前