使用内存变量初始化填充位结构体

Question

有人知道为什么初始化位填充结构是一件"坏事"，不能使用吗?

例如:

struct parameter_set_t 
{
    std::uint8_t m_profile_idc;
    bool m_constraint_set0_flag: 1;
    bool m_constraint_set1_flag : 1;
    bool m_constraint_set2_flag : 1;
    bool m_constraint_set3_flag : 1;
    bool m_constraint_set4_flag : 1;
    bool m_constraint_set5_flag : 1;
    std::uint8_t m_reserved_zero_2bits : 2;
    std::uint8_t m_level_idc;
};
inline std::uint32_t bswap32(std::uint32_t v )  
{
    std::uint32_t ret_value = 0;
#if defined(__GNUC__) && (defined(__i386__) || defined(__x86_64__))
    ret_value = __builtin_bswap32(v);
#else
    ret_value = ((v & 0x000000FF) << 24) | ((v & 0x0000FF00) << 8) | ((v & 0x00FF0000) >> 8) | ((v & 0xFF000000) >> 24);
#endif
    return ret_value;
}
//! build from sdp 0xAABBCC string
profile_level_id( const std::string& sdp_value )
{
    //fetch profile_level_id value
    std::uint32_t int_value = std::stoul( sdp_value, nullptr, 16 );
    int_value = bswap32( int_value ) >> 8;
    std::memcpy( &m_parameters, &int_value, sizeof( parameter_set_t ) );
}

Answer 1

问题不在于使用了std::memcpy，而在于它用于在不兼容的源和目标类型之间进行复制。

数据是从一个32位的无符号整数中读取的，但是它被写入一个parameter_set_t结构，它的大小是24位。因此，uint32_t丢失8位。这给我们留下了两个问题:

• 哪8位被丢弃，最不重要的还是最重要的?
• 在struct的24位中保存的24位整数是如何分布的?

这两个问题的答案都是"它是特定于平台的"，这是"完全不可移植"的一种很好的说法。因此，在关于此代码片段质量的注释中使用了咒骂。

请注意，如果复制是在两个parameter_set_t实例之间进行的，那么使用std::memcpy就完全可以了。