【c++】struct内嵌union如何初始化

前言

本文讲的是用struct的构造函数初始化内嵌的union，不是给union赋值。

匿名union的匿名变量

struct m_struct{
    union {
        int i;
        char c;
    };
    m_struct(int i):i(i){}
    m_struct(char c):c(c){}
};

        因为匿名联合体在它定义的范围内会自动生成一个匿名的实例，且在定义范围内可以直接使用union内部的变量名。

匿名union的非匿名变量

error: no matching function for call to 'm_struct::<unnamed union>::._55(int&)'

        无法实现

        因为union匿名，所以无法写构造函数。在使用初始化列表初始化时，调用有参构造函数失败。不过可以在函数体内给union变量赋值。

非匿名union的匿名变量

#首先标题这个写法是错误的。并不存在这个匿名变量。如下图：

只定义了union，却没有定义m_struct的union成员。

struct m_struct{
    union u{
        int i;
        char c;
    };
};

非匿名union的非匿名变量

struct m_struct{
    union u{
        int i;
        char c;
        u(int i):i(i){}
        u(char c):c(c){}
    }m_u;
    m_struct(int i):m_u(i){}
    m_struct(char c):m_u(c){}
};

        首先是一个初学的误区：构造函数不能在初始化列表这么写：  

    m_struct(int i):m_u.i(i){}
    m_struct(char c):m_u.c(c){}

         m_u.i这种写法是赋值的写法，可以在函数体内这样赋值，但初始化不能这么写。

        m_struct的成员变量是m_u而不是 i 和 c 。

重点在于union要写对应的有参构造函数。

另一种特殊的写法：

#include<iostream>
using namespace std;

class p{
    public:
        char a;
        int b, c;
    p(char a = 'a'):a(a), b(1), c(2){}
//这种写法union成员必须有无参构造函数
};

struct m_struct{
    union u{
        p s;
        int i;
    }m_u;
    m_struct(int i):m_u{i}{}
//这里是对m_u直接初始化默认的是union的第一个成员
//可以通过调换int i和p s的声明顺序进行验证
};

ostream& operator<<(ostream& cout, p s){
    cout<<s.a<<" "<<s.b<<" "<<s.c;
    return cout;
}

int main()
{
    m_struct m(97);
	cout<<m.m_u.s;
	return 0;
}

这种写法的部分要点以注释的形式标注了。

局限：只能用于初始化第一个变量的那部分空间

总结

嵌套的union建议使用匿名union的匿名实例。