在std::initializerlist中使用类union

在下面的代码中,我展示了类S,它包含两个不相关的结构B和C。我展示了如何实例化非POD std::string并再次删除它,然后将S切换到S::CC并设置num int。

#include <vector>
#include <string>
#include <iostream>
#include <memory>

struct B
{
  B() {}
  ~B() {}
  std::string str;
  void Func1() {}
};

struct C
{
  C() {}
  ~C() {}
  int num;
  void Func2() {}
};

struct S
{
  S() { tag = CC; }
  S( const S& s ) 
  {
    switch( s.tag )
    {
      case BB:
        new ( &b.str ) std::string;
        b.str = s.b.str;
        break;

      case CC:
        c.num = s.c.num; 

      default:
        break;
    }
  }

  ~S() 
  {
    switch( tag )
    {
      case BB:
        b.str.~basic_string< char >();
        break;

      case CC:
        c.num = 0;
        break;

      default:
        break;
    }
  }

  enum { BB, CC } tag;
  union
  {
    B b;
    C c;
  };
};

struct H
{
  H( std::initializer_list< S > initializerList ) : initListVect( initializerList ) {}
  std::vector< S > initListVect;
};

int main()
{
  S s;
  s.tag = S::BB;
  new ( &s.b.str ) std::string; // docs say use new placement to create memory
  s.b.str = "bbb";
  s.b.str.~basic_string< char >(); // string usage in B ok

  s.tag = S::CC;
  s.c.num = 333; // int usage in C ok

  H h {  }; // what should the init list be if I wanted 3 list elements S::BB, S::CC, S::BB?

  return 0;
}

然而,我的目标是在std::initializer_list中使用S。我不知道初始化h的格式应该是什么。如果我想用这些S::BB,S::CC,S:,BB初始化h,参数应该是什么?

我的编译器是VS2015。

编辑: 这篇文章发布了历史:我的帖子来自于对在std::initializer_list中存储编译时可推断的异构对象问题的明确回答。这个问题以前被问过很多次,也有很多次尝试回答(参见 Heterogeneous containers in C++ ). 最简单的答案是使用多态性,但这忽略了能够在编译时定义类型(模板)的强大功能。此外,以多态方式分组在一起的异构、无关对象意味着许多派生数据成员都是无用的,这给下游的使用和维护带来了混乱。给出的其他建议是使用boost::any或boost::variant,但这与多态性有相同的缺点,会降低消息声明的清晰度。容器对象异构性的另一种尝试是使用std::tuple,但尽管initializer_list确实可以包含tuple(元组),但这种方法也忽略了编译时类型解析。我甚至发现了一篇1999年写的论文 Heterogeneous, Nested STL Containers in C++ 它使用模板模板参数来解决异构问题。在这一切之后,我选择了班级工会,这导致我在这里发帖。用于非相关/异构容器对象的类联合具有完美的消息声明清晰性,没有对象大小的模糊性,并且可以使用编译时模板,因此可以实现出色的下游维护场景。

编辑2:(5周后)下面是发生的事情。1) 根据这篇帖子中的建议,我实现了一个类完整的工会解决方案。结果是冗长而笨拙的,标签被用来标识为每个新功能调用哪个子方法。代码维护等级低。2) c++17已接受std::variant。由于目前在VS2015 Update 2中还没有实现,所以我开始使用boost::variant。看见 What is the right c++ variant syntax for calling a member function set to a particular variant? 它使用访问者模式来允许访问初始化的变量成员和成员函数。这消除了标记开关和变量get调用。底线:我放弃了类状的union,并采用了variant来创建可维护的代码,该代码使用initializer_list来存储变量成员功能,所有这些功能在编译时都是可初始化的(读作:高度可维护)。