问题描述
遇到问题时，我正在用工会做一些实验。
union U
{
// struct flag for reverse-initialization of each byte
struct rinit_t { };
constexpr static const rinit_t rinit{};
uint32_t dword;
uint8_t byte[4];
constexpr U() noexcept : dword{} { }
constexpr U(uint32_t x) noexcept : dword{x} { }
constexpr U(uint32_t x,const rinit_t&) noexcept : dword{}
{
U temp{x};
byte[0] = temp.byte[3];
byte[1] = temp.byte[2];
byte[2] = temp.byte[1];
byte[3] = temp.byte[0];
}
};
这是我的示例实例：
constexpr U x{0x12345678,U::rinit};
我在带有-std=c++14，-std=c++17和-std=c++2a的g ++ 5.1和8.1版本中遇到此错误：
accessing 'U::byte' member instead of initialized 'U::dword' member in constant expression
访问和分配成员byte的元素（无论是来自temp还是来自this的元素）都会重现该错误。似乎byte被编译器识别为“未初始化的”成员，即使byte和dword共享相同的地址。
constexpr U(uint32_t x) noexcept :
byte{uint8_t(x),uint8_t(x >> 8),uint8_t(x >> 16),uint8_t(x >> 24)}
{ }
main.cpp:73:37: internal compiler error: in complete_ctor_at_level_p,at expr.c:5844
constexpr U x{0x12345678,U::rinit};
^
Please submit a full bug report,with preprocessed source if appropriate.
See <http://tdm-gcc.tdragon.net/bugs> for instructions.
// converts the value of a uint32_t to big endian format
constexpr static uint32_t uint32_to_be(uint32_t x)
{
return ( (x >> 24) & 0xFF) |
( (x << 8) & 0xFF0000) |
( (x >> 8) & 0xFF00) |
( (x << 24) & 0xFF000000);
}
constexpr U(uint32_t x,const rinit_t&) noexcept : dword{uint32_to_be(x)} { }
我只是好奇为什么我得到了错误。谁能帮助我了解这个问题？
更新：
基于我最近的测试，在constexpr union构造函数中，我不能使用不在初始化列表中的非静态数据成员。结果，我添加了一些struct标志来显式指定某些非静态数据成员的初始化。
// struct flag to explicitly specify initialization of U::dword
struct init_dword_t { };
constexpr static const init_dword_t init_dword{};
// struct flag to explicitly specify initialization of U::byte
struct init_byte_t { };
constexpr static const init_byte_t init_byte{};
与此同时，我还为此类初始化添加了新的构造函数。以下是一些示例：
constexpr U(const init_byte_t&) noexcept : byte{} { }
// for some reason,this version does not reproduce the internal compiler error
constexpr U(uint32_t x,const init_byte_t&) noexcept :
byte{uint8_t(x),uint8_t(x >> 24)}
{ }
constexpr U(uint32_t x,const init_byte_t&,const rinit_t&) noexcept :
byte{uint8_t(x >> 24),uint8_t(x)}
{ }
如果有人可以为此提供更好的解决方案，那就太好了。