如何编写完全可移植的 4 字节字符常量的编译时初始化

（遗留）代码大致如下所示。

#define MAKEID(a,b,c,d) (((UInt32)a)<<24 | ((UInt32)b)<<16 
                        | ((UInt32)c)<<8 | ((UInt32)d) )
#define ID_FORM MAKEID('F','O','R','M')
//...
struct S { 
  int id;
  int x;
  double d;
  // other stuff
};
//...
S s;
socket.read(&s, sizeof(s));  // read network data over struct
if (s.id == ID_FORM) { }

该代码将字符流读入结构中。 S.id 是一个 4 字符常量，例如按流（网络）顺序排列的“FORM”或“DATA”，它决定了结构其余部分的布局。所有比较都是使用预定义常量的整数。

MAKEID 宏是大端字节序，因为它将第一个（字符）参数放置在最高有效字节，这也是最低的内存地址。宏的小端版本如下所示，将第一个（字符）参数放置在最低有效字节处，即现在的最低内存地址。

 #define MAKEID(a,b,c,d) (((UInt32)d)<<24 | ((UInt32)c)<<16 
                        | ((UInt32)b)<<8 | ((UInt32)a) )

问题是如何重写它，以便它在大端和小端架构上同样有效。

不，我不想编写两个宏并使用 #ifdef 选择哪个宏。代码中的任何地方都没有其他字节序依赖关系，我不想在这里介绍一个。便携式是必经之路。

不，我不想写函数。这个常量用在函数不能去的地方。我编写了一个初始化联合的可移植函数，但代码无法编译。

我正在寻找任何类型的可移植宏或模板来进行编译时初始化。

在回答评论时，这是真正的代码。它是网络协议的一部分，另一端在大多数情况下负责处理字节序。这恰好是一个例外，另一端以网络字节顺序生成，而这一端历史上被编写为大尾数作为 4 字节字符常量，如“FORM”。我需要一种单点解决方案，而不是一种将字节序思想传播到代码中其他地方的解决方案。

Your MAKEID宏与字节序无关。它在大端和小端系统上的工作方式相同。

该宏可能看起来是特定于大端的，但 C++ 中的移位和按位或运算都是根据它们对所操作的值的结果来定义的，而不是这些值的底层存储。
Doing 42 << 24保证投入价值42位于结果的最高有效 8 位中，无论字节顺序如何。对于按位或运算也类似。这意味着结果MAKEID(0x12, 0x34, 0x56, 0x78)总是0x12345678，无论底层存储的字节顺序如何。

如果您想生成一个其底层存储始终具有相同位模式的整数（例如 0x12、0x34、0x56、0x78），那么您确实必须重新考虑您的方法。这样的整数将具有以下值0x12345678在大端系统上，0x78563412在小端系统上，也许0x56781234在中端系统上。
但是，如果该位模式是通过使用特定字节顺序（例如大端/网络字节顺序）定义的通信接口接收的，则您必须将收到的任何多字节值转换为系统的本机字节如果您希望接收系统正确解释这些值并且其中包括四字节 ID 值，请排序。

这就是为什么我在答案的早期版本中说，如果您发现在某些系统上（特别是系统的字节顺序与通信的字节顺序不匹配的系统），从流中读取的 ID 与结果不匹配的MAKEID，那么罪魁祸首可能是反序列化代码。 （反）序列化代码是考虑字节顺序的最重要的地方。例如，将您期望的结构覆盖在您收到的字节上很容易，但如果可能存在字节顺序不匹配或填充差异，则这是错误的解决方案。