为何uint16_t到union的隐式转换仅在指定初始化器中生效？

1. 错误产生的原因 #

C中，union属于非标量类型，直接赋值操作（如reg = 0x1234;）本质是要求编译器执行uint16_t到自定义union类型的隐式转换，但C默认不会为用户定义的union自动生成从uint16_t的转换构造函数或赋值运算符。

而指定初始化器（如PositionReg reg = {0x1234};或PositionReg reg = {.raw = 0x1234};）能生效，是因为这属于聚合初始化语法：C++允许对聚合类型（包括union）直接用单个值初始化其第一个成员（或指定成员），这不属于类型转换，而是语言规定的聚合初始化规则，因此不会触发转换错误。

2. 更简洁的转换实现方式 #

可以给union添加隐式转换构造函数和赋值运算符重载，让uint16_t能直接赋值给union对象，无需拆分成员赋值。示例代码如下：

#include <cstdint>

// 位置寄存器union
union PositionReg {
    uint16_t raw;
    struct {
        uint16_t x : 8;
        uint16_t y : 8;
    } bits;

    // 隐式转换构造函数：从uint16_t构造union
    constexpr PositionReg(uint16_t val) noexcept : raw(val) {}
    // 隐式赋值运算符：uint16_t直接赋值给union
    constexpr PositionReg& operator=(uint16_t val) noexcept {
        raw = val;
        return *this;
    }
};

// 姿态寄存器union
union AttitudeReg {
    uint16_t raw;
    struct {
        uint16_t pitch : 7;
        uint16_t roll : 7;
        uint16_t yaw : 2;
    } bits;

    constexpr AttitudeReg(uint16_t val) noexcept : raw(val) {}
    constexpr AttitudeReg& operator=(uint16_t val) noexcept {
        raw = val;
        return *this;
    }
};

使用示例 #

int main() {
    // 直接用uint16_t初始化
    PositionReg pos = 0xABCD;
    // 直接赋值uint16_t
    pos = 0x1234;
    
    AttitudeReg att;
    att = 0x00FF;
    return 0;
}

这种方式完全符合C++20标准，既保留了位域操作的便利性，又实现了uint16_t与union之间的无缝转换，代码简洁直观。

内容的提问来源于stack exchange，提问作者rmc