错误：初始化器元素不是初始化已知大小的结构的编译时常量，这是 C

Question

这是直接来自 Schreiner 和 Friedman 编译器书籍 page33 的 C（lex 驱动程序代码），刚刚输入它并抛出错误：

“错误：初始化元素不是编译时常量。

根据 K&R 第 124 页结构数组初始化，检查了具有不同名称的相同代码位。那里清楚地说明了编译时已知的这个 IS 的大小。这是 gcc 的问题吗？ 我将命令行编译为： lex samplec.l;然后， cc -DDEBUG lex.yy.c -ll -o lexc ； 此时它会引发错误。 OBB

%{
/*
**
**  samplec.l -- lexical analysia
**
*/

#ifdef      DEBUG

#  include <assert.h>

  main ()
    {
     char * p;

     assert(sizeof(int) >= sizeof(char *));

     while (p = (char *) yylex())
       printf("%-10.10s is \"%s\"\n",p, yytext);
  }

  s_lookup() {}

  int yyerrs = 0;

#   define token(x) (int) "x"

#else ! DEBUG

#   define "y.tab.h"
#   define token(x) x

#endif DEBUG

#define END(v) (v-1 + sizeof v / sizeof v[0])
static int screen();
%}

letter                      [a-zA-Z]
digit                       [0-9]
letter_or_digit             [a-zA-Z0-9]
white_space         [ \t\n]
blank                       [ \t]
other                       .

%%

^"#"{blank}*{digit}+({blank}+.*)?\n yymark();

">="                    return token(GE);
"<="                        return token(LE);
"=="                        return token(EQ);
"!="                        return token(NE);
"+="                        return token(PE);
"-="                        return token(ME);
"*="                        return token(TE);
"/="                        return token(DE);
"%="                        return token(RE);
"++"                        return token(PP);
"--"                        return token(MM);

{letter}{letter_or_digit} return screen();

{digit}+            { s_lookup(token(Constant));
                          return token(Constant);
                    }

{white_space}*              ;

{other}                     return token(yytext[0]);

%%

/*
**
**  reserve word screening
**
*/

static struct rwtable {
    char *rw_name;
    int rw_yylex;
   } rwtable[] ={
   "break", token(BREAK),
   "continue", token(CONTINUE),
   "else", token(ELSE),
   "if", token(IF),
   "int", token(INT),
   "return", token(RETURN),
   "while", token(WHILE)
   };

static int screen()
   {
    struct rwtable * low = rwtable,
            * high = END(rwtable),
            * mid;

    int c;

    while (low <= high)
      {
       mid = low + (high-low)/2;
       if ((c = strcmp(mid->rw_name, yytext)) == 0)
            return mid->rw_yylex;
       else if (c < 0)
            low = mid+1;
       else
            high = mid-1;
     }
     s_lookup(token(Identifier));
     return token(Identifier);
}

Answer 1

D 所著的Unix 编译器构造简介一书。 Friedman Schreiner, H. George Friedman Jr. 已经过时了（1985 年）：现代编译器不再使用它使用的 C 方言。

token 的定义使用了一种过时的字符串化形式：

#define token(x) (int) "x"

这在很久以前就被弃用了，在 ANSI-C 之前。

您可以尝试将此定义更改为

#define token(x) #x

但代码依赖于其他一些假设，这些假设在您当前的系统上可能会失败：

• sizeof(int) >= sizeof(char*) -> 在大多数当前的 64 位系统上不正确

我建议你寻找关于编译器构造的更新教程：你可以在网上找到很多好的参考资料，还有很多开源软件。

Answer 2

问题是指针被强制转换为int。您的指针很可能是 64 位，但您的 ints 只有 32 位。链接器无法表示截断的指针，因此这些值不是编译时常量。此外，如果编译器能够表示这些截断的指针，当您尝试将 int 转换回指针时，您会感到非常惊讶，因为它可能无法正确恢复丢失的 32 位。

某些平台提供intptr_t 和uintptr_t 类型，它们是有符号和无符号整数类型，保证足够宽以允许在指针类型之间进行转换而不会丢失。当然，这在这里没有帮助，因为 lex 想要一个普通的旧 int。

Answer 3

发生错误是因为静态存储持续时间的对象的初始化器必须是常量；并根据C11 6.6p6：

整数常量表达式应为整数类型，并且仅具有整数常量、枚举常量、字符常量、结果为整数常量的 sizeof 表达式、_Alignof 的操作数表达式和作为强制转换的直接操作数的浮动常量。 整数常量表达式中的强制转换运算符只能将算术类型转换为整数类型，除非是作为 sizeof 或 _Alignof 运算符的操作数的一部分。

"x" 的类型为char *，指针不是算术类型，因此转换为整数的指针不能是整数常量表达式。