C 1506-221（S）初始值设定项必须是有效的常量表达式

在AIX中编译头文件时，我面临这个问题

头文件（header1.h）的结构如下：

struct Str {
  int aa;
  char bb;
};

现在在.c文件中，包括header1.h

#include<stdio.h>
#include"f1.h"

#define DEF(x) (&sx1.x -&sx1.a)

static struct MyStruct{
    struct Str a;
    struct Str c;
    struct Str b;
}sx1 = {DEF(b),'B','A'};

int main()
{
    printf("%d %c",sx1.a,sx1.b);
}

#包括
#包括“f1.h”
#定义DEF（x）（&sx1.x-&sx1.a）
静态结构MyStruct{
结构stra；
strc结构；
strb结构；
}sx1={DEF（b），'b'，'A'}；
int main（）
{
printf（“%d%c”，sx1.a，sx1.b）；
}

当我使用xlc编译器编译上述.c文件时，它会抛出错误：

header1.h“，第xxxx行：1506-221（S）初始值设定项必须是有效的常量表达式

make:1254-004上一个命令的错误代码为1

停下来

---

不考虑你奇怪的初始化

sx1

（它是一个嵌套结构，所以你需要一个嵌套的初始化器）

DEF的扩展仅在运行时可用，因为您使用（变量的地址）。正如编译器告诉您的，您只能使用常量表达式，这意味着该值必须在编译时清除。如上例所示

宏可能是您要查找的宏，它的计算结果为常量表达式。a不能包含变量。幸运的是，结构的定义不是变量

下面的例子去掉了第二个结构，它不必要地使问题复杂化。您可以将它添加回代码中

那么，在使用结构之前，您需要完整地声明它。这就是为什么

sx1

的声明是特殊的

struct MyStruct{
    int a;
    int c;
    int b;
};

static struct MyStruct sx1 = {offsetof(struct MyStruct,b),'B','A'};

int main()
{
    printf("%d %c",sx1.a,sx1.b);
}

---

您可能需要检查

嗯，除了您要说的错误之外，您还有几个错误。首先，您是封闭的（这是非常危险的，因为您将表达式隐藏在宏实例化下面，这会使错误对您不可见）在

DEF

宏中，使用不同指针类型（这是非法的）减去地址，例如，如果您将

DEF

重新定义为第一个

struct

，则如下所示：

#define DEF(f) (&sx1.f - &sx1.aa)

然后，在展开时会出现错误：

DEF(bb) -> (&sx1.bb - &sx1.aa)

其中，

bb

是一个

char

，

a

是一个

int

（将

int*

减去

char*

）。这将在扩展

DEF

宏后导致编译问题，但您将看不到产生编译器错误的实际扩展

其次，初始化器只能使用常量表达式，这意味着只能生成常量或常量表达式的静态表达式，并且大多数时候必须在链接时解析

&

运算符（这使得表达式不是常量表达式，而是在编译之间可以更改的表达式），甚至在运行时也是如此（假设第一个

&

的操作数是堆栈自动变量，第二个

的操作数是全局固定变量，则每次初始化时，常量值都不同，具体取决于堆栈在运行时的增长方式。一般规则下，不能在常量表达式中使用
&
运算符

第三，如果您试图模拟ANSI
offsetof（structure\u type，field）
宏的定义，那么您可以使用类似的方法（注意，此定义会导致一些依赖于体系结构的技巧，因此不可移植）：

如以下代码所示：

普鲁士
在我的系统上

解释
是将
NULL
文本的地址转换为
（type*）

空指针是否在其字段
字段
处取消引用（不要担心，因为我们实际上并没有取消引用该值，只是获取对它的引用）

这是它的地址

(char *)(&((type*)0)->field)

地址是否转换为
（char*）
（指针算术是字节大小）。以及

是转换为
大小\u t
值的地址

当然，这个计算的一部分（如果不是大部分的话）取决于体系结构，这就是今天的标准在标准库中包含某种宏的原因（
#include
）。所以不要使用我的定义（以防你的系统中没有它）并在编译器/库文档中搜索显示结构中字段位置的
offsetof
宏

最后一件事…由于我使用了常量指针值（所有内容都来自常量
0
），并且没有减去引用，所以它在需要常量表达式的初始化器中可用

#include <stdio.h>
struct my_data_struct {
    int a;
    char b;
    double c;
    char d[100];
    int e;
};

#define OFFSET_OF(type, field) ((size_t)(char *)(&((type*)0)->field))

static size_t my_vector[] = {
    OFFSET_OF(struct my_data_struct, a),
    OFFSET_OF(struct my_data_struct, b),
    OFFSET_OF(struct my_data_struct, c),
    OFFSET_OF(struct my_data_struct, d),
    OFFSET_OF(struct my_data_struct, e),
};

#包括
结构我的数据结构{
INTA；
字符b；
双c；
chard[100]；
INTE；
};
#定义（类型，字段）（（大小）（字符*）（&（（类型*）0）->字段）的偏移量
静态大小\u t我的向量[]={
偏移量（结构我的数据结构a），
偏移量（结构我的数据结构b），
偏移量（结构我的数据结构c），
偏移量（结构我的数据结构d），
偏移量（结构我的数据结构e），
};

你可以很好地解释所有这些东西
如果用“B”初始化你的
结构Str
有效并且做了你认为它能做的事情，你有没有尝试过？你必须用
{…}
初始化内部结构，比如
sx1={{DEF（x），'\0'}，{0，'B'}，{0，'a'}；
。你不能打印结构，我想你是指
printf%d%c“，sx1.a.aa，sx1.b.bb）；
@KamilCuk感谢您的回复。识别出错误是由于宏而来，但我不知道如何解决地址的减法。printf仅用于检查目的。感谢您的回复。我同意您的观点，但我们无法使地址保持不变（意味着在创建结构变量之后，我们将获得这些字段a、b的地址）。在这种情况下，如何解决这个问题problem@DeviPrasadDamarasingu也许我的扩展答案会有所帮助
#include <stdio.h>
struct my_data_struct {
    int a;
    char b;
    double c;
    char d[100];
    int e;
};

#define OFFSET_OF(type, field) ((size_t)(char *)(&((type*)0)->field))

int main()
{
#define P(f) printf("OFFSET_OF(struct my_data_struct, %s) == %zu\n", #f, OFFSET_OF(struct my_data_struct, f))
    P(a);
    P(b);
    P(c);
    P(d);
    P(e);
}

$ run pru
OFFSET_OF(struct my_data_struct, a) == 0
OFFSET_OF(struct my_data_struct, b) == 4
OFFSET_OF(struct my_data_struct, c) == 8
OFFSET_OF(struct my_data_struct, d) == 16
OFFSET_OF(struct my_data_struct, e) == 116
$ _

(type*)0

((type*)0)->field

&((type*)0)->field

(char *)(&((type*)0)->field)

((size_t)(char *)(&((type*)0)->field)

#include <stdio.h>
struct my_data_struct {
    int a;
    char b;
    double c;
    char d[100];
    int e;
};

#define OFFSET_OF(type, field) ((size_t)(char *)(&((type*)0)->field))

static size_t my_vector[] = {
    OFFSET_OF(struct my_data_struct, a),
    OFFSET_OF(struct my_data_struct, b),
    OFFSET_OF(struct my_data_struct, c),
    OFFSET_OF(struct my_data_struct, d),
    OFFSET_OF(struct my_data_struct, e),
};