8

我正在尝试使用 c++11 功能实现 boost::optional 之类的数据结构。这是我到目前为止所拥有的：

template<typename T>
struct maybe {
  bool valid;

  union {
    T value;
  };

  maybe() : valid(false) {}
  maybe(const T& _v) {
  valid = true;
    new (&value) T(_v);
  }
  maybe(const maybe& other) {
    if (other.valid) {
      valid = true;
      new (&value) T(other.value);
    }
    else valid = false;
  }

  ~maybe() {
     if (valid)
       value.~T();
  }

  bool is_valid() { return valid; }

  operator T&() {
    if (valid) return value;
    throw std::bad_exception();
  }
};

我利用不受限制的联合功能为可以就地存储的可选值创建正确对齐的空间，而不是动态分配空间。事情大部分都有效，除非我想创建一个带有引用的可能<>。例如maybe<int&>导致 g++ 4.7 抱怨：

error: ‘maybe<int&>::<anonymous union>::value’ may not have reference type ‘int&’
because it is a member of a union

我应该怎么做才能使可能的类存储引用？也欢迎对课程提出任何其他改进/建议。

4

2 回答 2

8

要使用引用进行此操作，您肯定需要明确的专业化，因为您不能对引用进行放置新：您需要使用指针进行存储。

除此之外，代码缺少复制赋值运算符。移动构造函数和移动赋值运算符也很好（特别是因为这是重新实现的#1 原因boost::optional：boost 中缺少它们）。

于 2012-08-09T00:22:04.280 回答
4

可选类型是为 C++14 提出的，但由于标准中未定义行为的一些极端情况，它被推迟到 C++17。

幸运的是，UB 问题对大多数人来说并不重要，因为所有主要编译器都正确定义了它。因此，除非您使用旧的编译器，否则您实际上可以只放入可用于在项目中实现可选类型的代码（它只是一个头文件）：

https://raw.githubusercontent.com/akrzemi1/Optional/master/optional.hpp

然后你可以像这样使用它：

#if (defined __cplusplus) && (__cplusplus >= 201700L)
#include <optional>
#else
#include "optional.hpp"
#endif

#include <iostream>

#if (defined __cplusplus) && (__cplusplus >= 201700L)
using std::optional;
#else
using std::experimental::optional;
#endif

int main()
{
    optional<int> o1,      // empty
                  o2 = 1,  // init from rvalue
                  o3 = o2; // copy-constructor

    if (!o1) {
        cout << "o1 has no value";
    } 

    std::cout << *o2 << ' ' << *o3 << ' ' << *o4 << '\n';
}
于 2016-06-03T22:58:16.260 回答