有条件地在类构造函数成员初始值设定项列表上构造一个 `boost::optional` 成员变量

Question

假设我有一个不可复制和不可移动的类Person：

struct Person
{
  int m_icNum;

  explicit Person(int icNum) : m_icNum(icNum) {}
  Person (const Person & other) = delete;
  Person (Person && other) = delete;
};

还有一个班级PersonContainer：

struct PersonContainer
{
  boost::optional<Person> m_person;

  explicit PersonContainer(int icNum)
  : m_person( icNum >= 0 ? Person(icNum) : boost::none) // this does not compile because the two operands of ternary operator ? must have the same type
  {}
};

显然我无法在初始化列表中使用三元表达式构造m_person。另一种方法是使用boost::in_pace 在ctor 主体中构造它，但我想知道是否有一种很好的方法可以在初始化列表中构造它。

Answer 1

受@kabanus 评论的启发，这可以使用boost::in_place_init_if 来实现：

struct PersonContainer
{
  boost::optional<Person> m_person;

  explicit PersonContainer(int icNum)
  : m_person(boost::in_place_init_if, icNum >= 0, icNum)
  {}
};

Answer 2

您可以将三元运算符的返回类型显式指定为boost::optional<Person>。

explicit PersonContainer(int icNum)
  : m_person( icNum >= 0 ? boost::optional<Person>{Person(icNum)} : 
                           boost::optional<Person>{boost::none}) 
  {}