1506-221 (S) Initializer 必须是有效的常量表达式

Question

在 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);
}

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

header1.h", line xxxx: 1506-221 (S) Initializer must be a valid constant expression.

make: 1254-004 The error code from the last command is 1.

Stop.

Answer 1

与您对 sx1 的奇怪初始化无关（它是一个嵌套结构，因此您需要一个嵌套初始化程序）。

{{1,'a'},{1,'a'},{1,'a'}};

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

offsetof macro might be what you are looking for it evaluates to a constant expression. A constant expression不能包含变量。幸运的是，结构的定义不是变量。

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

据我所知，您需要先完整地声明 Struct，然后才能使用它。这就是为什么 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);
}

您可能需要查看 typedef structs

Answer 2

好吧，除了你说的那个之外，你还有几个错误。首先，您在 DEF 宏中包含了（这非常危险，因为您将表达式隐藏在宏实例化下面，这使得错误对您不可见）减去具有不同指针类型的地址（这是非法的） ) 例如，如果您将 DEF 重新定义为您的第一个 struct 作为：

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

那么你会得到一个扩展错误：

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

其中 bb 是 char，a 是 int（您会将 int * 减去 char * ).这将导致 DEF 宏扩展后出现编译问题，但您不会看到产生编译器错误的实际扩展。

其次，初始化程序只能使用常量表达式，这意味着只产生常量或常量表达式的静态表达式和 & 运算符必须在大多数时候 link 解析（这使得表达式不是常量，而是可以在编译之间改变的东西）甚至在运行时（假设第一个 & 的操作数是堆栈自动变量，第二个操作数是全局的，固定的变量，那么每次初始化时，常量值都是不同的，这取决于堆栈在运行时如何增长。作为一般规则，您不能在常量表达式中使用 & 运算符。

第三，如果你试图模拟 ANSI offsetof(structure_type, field) 宏的定义，那么你可以使用类似的东西（注意这个定义会导致一些可能依赖于体系结构的技巧，因此不可携带）：

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

如下代码所示：

pru.c

#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

是NULL字面量转换成(type*)

的地址

((type*)0)->field

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

&((type*)0)->field

是它的地址。

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

是转换为 (char *) 的地址（因此指针算法是字节大小）。并且

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

是转换为 size_t 值的地址。

当然，这个计算的一部分（如果不是大部分的话）是依赖于体系结构的，这就是今天的标准在标准库中包含某种这种宏的原因 (#include <stddef.h>)。所以不要使用我的定义（以防万一你的系统中没有它）并在你的 compiler/library 文档中搜索一个 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),
};

你可以很好地解释所有这些东西here

1506-221 (S) Initializer 必须是有效的常量表达式

1506-221 (S) Initializer must be a valid constant expression

c

linux

compilation

aix

pru.c

说明