IS_BIG_ENDIAN 宏有效，但在 #if 中无效

Question

这让我很困惑： 如果我注释掉从#if 到#endif 的所有内容，程序将在C99​​ (TinyCC) 中编译。有了条件，它会在 #if 子句之前的行给出预期的错误 ')' (got "0")

#include <stdio.h>

#define IS_BIG_ENDIAN (!*(unsigned char *)&(uint16_t){1})

#if IS_BIG_ENDIAN 
   struct ieee {     
     unsigned long sign:1;
     unsigned long expo:8;
     unsigned long mantissa:23;
    };   
   
#else
 
  struct ieee {   
    unsigned long mantissa:23;  
    unsigned long expo:8;
    unsigned long sign:1;
  };    

#endif


int main()
{  
 printf ("%d\n",IS_BIG_ENDIAN); 
}

Answer 1

预处理器通常不知道如何计算所有 C 表达式。它的功能非常有限。

如果注释掉与#if 一致的行，则不会评估宏。这就是您不会收到错误消息的原因。

但是如果宏被求值，你会让预处理器解析表达式。显然它不能这样做。

Answer 2

#if 和 #elif 指令对常量表达式进行操作。特别是，常量表达式不能使用任何对象的值或地址（lvalue）。

理论上，C 程序按翻译阶段 1 到 8 的顺序进行翻译。预处理指令在翻译阶段 4 执行，但直到翻译阶段 7 才形成对象。有关翻译的更多信息，请参阅“Phases of translation”阶段。

没有标准方法可以将字节顺序作为常量表达式提供给预处理器，但一些实现通过预定义的宏或通过系统头文件中定义的宏来提供此信息。

---

还需要注意的是，基本对象的字节顺序和连续位域成员的打包方向（即打包是从存储单元的最高有效端还是最低有效端开始）彼此无关，即大-endianness 并不意味着位域成员打包从最高有效端开始，反之亦然。至于字节序，实现可以通过预定义的宏或通过系统头文件中定义的宏来提供有关位域成员打包顺序的信息。

Answer 3

为了完整起见，我找到了预处理器可以管理的测试：

      #define LITTLE_ENDIAN 0x41424344UL 
      #define BIG_ENDIAN    0x44434241UL
      #define PDP_ENDIAN    0x42414443UL
      #define ENDIAN_ORDER  ('ABCD') 
    
   #if ENDIAN_ORDER==BIG_ENDIAN