在编译时测试endianess：这个constexpr函数是否符合标准？

Question

在编译时搜索了一种检查endianess的方法后，我提出了以下解决方案：

static const int a{1};

constexpr bool is_big_endian()
{
    return *((char*)&(a)) == 1;
}

GCC仅在需要constexpr的某些上下文中接受此代码：

int b[is_big_endian() ? 12 : 25]; //works
std::array<int, testendian() ? 12 : 25> c;  //fails

对于第二种情况，GCC说error: accessing value of 'a' through a 'char' glvalue in a constant expression 。 我无法在禁止此类事件的标准中找到任何内容。 也许有人可以澄清GCC在哪种情况下是正确的？

Answer 1

这是我从Clang 3.1 ToT得到的：

错误：constexpr函数永远不会产生常量表达式

§5.19 [expr.const]

p1某些上下文要求表达式满足本子条款中详述的其他要求; 其他上下文具有不同的语义，具体取决于表达式是否满足这些要求。 满足这些要求的表达式称为常量表达式 。

p2 条件表达式是核心常量表达式，除非它涉及以下之一作为潜在评估的子表达式：

• [...]
• reinterpret_cast （5.2.10）;

因此， (char*)&(a)求值为reinterpret_cast ，因此该函数永远不是有效的constexpr函数。

Answer 2

你应该看看Boost.Detail.Endian

它是几种体系结构到其字节序的映射（通过宏BOOST_BIG_ENDIAN，BOOST_LITTLE_ENDIAN和BOOST_PDP_ENDIAN）。 据我所知，除了像这样的列表之外，没有实际的方法来确定编译时的字节序。

对于使用Boost.Detail.Endian的示例实现，您可以看到我希望获得提交给Boost的库： https ： byte_order.hpp （相关文件是byte_order.hpp ，但是如果你想使用我的实现， unsigned.hpp也是必要的。

Answer 3

如果实现N3620 - 网络字节顺序转换，您将能够使用constexpr ntoh检查字节顺序，但请记住，有一些罕见的体系结构，如中端，您永远无法支持所有这些。