boost::optional<> 在联合中？

Question

我有一个可选的 POD 结构，它将包含在联合中。
boost::optional<> 按值保存其类型，所以我认为这可行：

union helper
{
    int foo;
    struct 
    {
        char basic_info;
        struct details {
            //...
        };

        boost::optional<details> extended_info;
    } bar;
    //  ...
};

helper x = make_bar();

if( x.bar.extended_info )
{
    // use x.bar.extended_info->elements
}

但是 VS2008 抱怨我的 bar 结构现在 had a copy constructor 由于 boost::optional<details> 元素。

作为替代，我添加了一个布尔标志来指示可选参数是否有效，但它很笨重：

union helper
{
    int foo;
    struct 
    {
        char basic;
        struct details {
            bool valid;
            //...
        } extended;
    } bar;
    //  ...
};

我考虑实现 details::operator bool() 以返回 details::valid 变量，但这很模糊，而且对人类不利。
boost::optional<> 清楚地记录了语法和意图，不需要进行侦探工作。

最后，helper union 需要是 POD，所以我不能做任何动态分配 - 否则我会使用指针。

对于语法上类似于 boost::optional<> 的东西有什么建议可以在联合中使用吗？

Answer 1

正如其他人所提到的，理想的做法是从union 更改为boost::variant<>。

但是，如果这不可能，您可以实现boost::optional<> 的 POD 近似值，如下所示：

实施

template <typename T>
class Optional
{
    T value;
    bool valid;

public:

    // for the if(var) test
    operator bool() const  {  return valid;  }

    //  for assigning a value
    Optional<T> &operator=(T rhs)   
    {  
        value = rhs;  
        valid = true;  
        return *this;  
    }

    //  for assigning "empty"
    Optional<T> &operator=(void *)  
    {  
        valid = false;  
        return *this;  
    }

    // non-const accessors
    T &operator*()   {  return  value;  }
    T *operator->()  {  return &value;  }

    // const accessors
    const T &operator*()  const  {  return  value;  }
    const T *operator->() const  {  return &value;  }
};

如果您持有 Optional<> 的 const 实例，则 const 访问器是必需的。

用法

像指针一样，Optional<T> 没有默认状态，必须先初始化才能依赖它（无论是否为空）。
与boost::optional<T> 不同，Optional<T> 不能从其T 值类型构造，而只能从另一个Optional<T> 构造。
如果您真的想在构造时对其进行值或空初始化，您可以使用operator Optional<T>() 创建一个辅助类。我选择不这样做。

建筑

Optional<details> additional_info;
Optional<details> more_info(additional_info);

作业

// if there's no additional info
additional_info = 0;

// if there is extended info
details x;
//  ...populate x...
additional_info = x;

数据访问

if( extended_info )
{
    extended_info->member;
    // - or -
    details &info = *extended_info;
}

所以 - 结果并没有太糟糕。它不会让我感到很温暖和模糊，但它可以完成工作。

Answer 2

您不能将非 POD 类型用作联合中的字段。在 C++ 中使用 boost::variant 或类似的东西而不是联合。保留 union 只是为了与用 C 编写的模块兼容。