基于标志的成员初始化列表中成员的触发器特定构造函数

如果我从一个简单的例子开始,这是最简单的:

#include <boost/optional.hpp>
#include <boost/none.hpp>
#include <boost/utility/typed_in_place_factory.hpp>

struct state
{
  bool flag1;
  bool flag2;
  int value;
};

class A
{
public:
  A() : _a() {}
  A(boost::none_t none) : _a() {}
  A(state& st) : _a(st.value) {}
  A(const A& copy) : _a(copy._a) {}

private:
  boost::optional<int> _a;
};

class B
{
public:
  B() : _b() {}
  B(boost::none_t none) : _b() {}
  B(state& st) : _b(st.value) {}
  B(const B& copy) : _b(copy._b) {}

private:
  boost::optional<int> _b;
};

class C
{
public:
  C() : _a(boost::none_t()), _b(boost::none_t()) {}
  C(state& st) :
    _a(st.flag1 ? st : boost::none_t()),
    _b(st.flag2 ? st : boost::none_t())
  {}

private:
  boost::optional<A> _a;
  boost::optional<B> _b;
};

int main(void)
{
  state f = { true, false, 10 };
  C c(f);

  return 0;
}

所以我们的想法是触发 A state ,但是 B 具有 boost::none_t .
以上代码无法编译,因为三元运算符对这两种可能性都要求相同的类型,并且 和 boost::无 不是同一类型。 有人能想出一个优雅的方法来解决这个问题吗?

我知道两种解决方案:

1. 复制构造,即。

   _a(st.flag1 ? A(st) : A(boost::none_t())), _b(st.flag2 ? B(st) : B(boost::none_t()))

2. 使用指针而不是 boost::optional<>

   _a(st.flag1 ? new A(st) : new A(boost::none_t())), _b(st.flag2 ? new B(st) : new B(boost::none_t()))

#2并没有那么吸引人,因为我试图避免动态内存分配(真实的例子有几十个成员和具有更多成员的深度嵌套结构)。
#1也不吸引人,因为我需要构建然后复制。

编辑 : 是由成员在构造上修改的,所以我不想用 状态 如果没有设置标志。