使用 C++11 在编译时以编程方式查找字节序

Question

我在 SO 中提到了很多关于这个主题的问题，但到目前为止找不到任何解决方案。这里提到了一种自然的解决方案：Determining endianness at compile time.
但是，cmets中提到的相关问题&相同的答案。

经过一些修改，我可以使用 g++ 和 clang++ (-std=c++11) 编译类似的解决方案，而不会发出任何警告。

static_assert(sizeof(char) == 1, "sizeof(char) != 1");
union U1
{
  int i;
  char c[sizeof(int)];
};  
union U2
{ 
  char c[sizeof(int)];
  int i;
};  

constexpr U1 u1 = {1};
constexpr U2 u2 = {{1}};
constexpr bool IsLittleEndian ()
{ 
  return u1.i == u2.c[0];  // ignore different type comparison
}   

static_assert(IsLittleEndian(), "The machine is BIG endian");

Demo.

这可以被认为是确定字节序的确定性方法还是错过了类型双关或其他什么？

Answer 1

从 C++20 开始，您可以使用来自 <type_traits> 标头的 std::endian：

#include <type_traits>

int main()
{
    static_assert(std::endian::native==std::endian::big,
                  "Not a big endian platform!");
}

See it live

Answer 2

您的尝试与这个明显不起作用的尝试没有什么不同（其中IsLittleEndian() 与true 相同）：

constexpr char c[sizeof(int)] = {1};
constexpr int i = {1};
constexpr bool IsLittleEndian ()
{ 
  return i == c[0];  // ignore different type comparison
}   

static_assert(IsLittleEndian(), "The machine is BIG endian");

我相信 C++11 没有提供在编译期间以编程方式确定目标平台字节序的方法。我的论点是在运行时执行该检查的唯一有效方法是使用unsigned char 指针检查int 变量（因为其他类型双关语不可避免地包含未定义的行为）：

const uint32_t i = 0xffff0000;

bool isLittleEndian() {
    return 0 == *reinterpret_cast<const unsigned char*>(&i);
}

C++11 不允许创建此函数constexpr，因此无法在编译时执行此检查。