很多时候我们希望能够用一个变量来保存和操作不同类型的数据(比如解析文本创建 AST 时保存不同类型的结点),这种需求可以通过继承来满足,但继承意味着得使用指针或引用,除了麻烦和可能引起的效率问题,该做法最大的不便还在语义上,指针和引用都不是值类型.于是我们想到 union,union 对简单类型来说是很好的解决思路,它的出现本身也是为了解决这个问题,只是它到底是 C 语言世界里的东西,在 C++ 里面它没法很好的支持用户自定义的类型,主要原因是它不能方便和智能地调用自定义类型的构造和析构函数,即…