初始化列表中匿名Union类型处理异常：是Bug还是未定义行为？

你遇到的这个情况，本质是C++初始化列表对匿名联合体的处理规则，结合对联合体使用规范的误解共同导致的，咱们一步步拆解：

现象复现与原因拆解 #

情况1：Union成员顺序为uint64_t integer ; double real; #

当匿名Union定义为：

union { uint64_t integer ; double real; } ;

执行初始化语句t1 = { 1 ,"a",3.4 } ;时，编译器触发narrow conversion错误，报错信息如下：

C:\prj\cd>g++ -std=c++11 src\prova.cpp -o bin\main.exe
src\prova.cpp: In function 'int main()':
src\prova.cpp:35:6: error: narrowing conversion of '3.3999999999999999e+0' from 'double' to 'uint64_t {aka long long unsigned int}' inside { } [-Wnarrowing]
t1 = { 1 ,"a",3.4 } ;
^

这是因为C++标准规定，聚合初始化（包括结构体里的匿名联合体）会优先匹配联合体的第一个成员。这里第一个成员是uint64_t integer，编译器会尝试把3.4这个double值转换为无符号64位整数——即便两者内存尺寸相同，这种浮点转无符号整数的操作也属于标准定义的窄化转换，所以编译器报错是符合规则的正确行为。

情况2：Union成员顺序调整为double real; uint64_t integer ; #

调整顺序后，初始化列表优先匹配第一个成员double real，3.4可以正常赋值，编译通过。但执行t1 = { 1 ,"a",2 } ;后输出未定义结果，控制台输出：

C:\prj\cd>bin\main.exe
6.6
3
3.4
4611686018427387904

这里的核心问题是：你用整数2初始化时，初始化列表依然匹配第一个成员double real，把整数2转换成了对应的double值存入内存；之后你直接读取integer成员——这就违反了C++标准中联合体的使用规则：联合体的一个成员被赋值后，读取另一个未激活的成员，结果属于未定义行为。

问题定性：是Bug还是未定义行为？ #

你提到的g++ 5.3在C++14初始化列表的Bug，和这个场景关联不大：

1. 第一种情况的窄化转换错误是符合C++标准的，不是编译器Bug；
2. 第二种情况的异常输出，本质是你违反了联合体成员的访问规则，属于未定义行为，而非编译器新Bug。

当然，g++早期版本（包括5.3）在处理匿名联合体的聚合初始化时，确实存在一些边缘场景的不一致性，但你遇到的核心问题还是源于对联合体初始化规则的误解。

附完整源码 #

#include <iostream>
#include <string>
#include <stdio.h>
#include <stdint.h>
#include <assert.h>

typedef struct token_s {
    uint8_t sym ;
    std::string tok ;
    union {
        double real;
        uint64_t integer ;
    } ;
} token_t ;

int main ( void ) {
    assert ( sizeof(uint64_t)==sizeof(double) ) ;
    token_t t1 ;

    //#1
    t1.real = 6.6 ; // ok
    std::cout << t1.real << "\n" ;

    //#2
    t1.integer = 3 ;
    std::cout << t1.integer << "\n" ;

    //#3
    t1 = { 1 ,"a",3.4 } ;
    std::cout << t1.real << "\n" ;

    //#4
    t1 = { 1 ,"a",2 } ;
    std::cout << t1.integer << "\n" ;

    return 0 ;
}

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