Question

我正在尝试使用boost::optional，如下所示。

#include <iostream>
#include <string>

#include <boost/optional.hpp>

struct myClass
{
   int myInt;
   void setInt(int input) { myInt = input; }
   int  getInt(){return myInt; }
};

boost::optional<myClass> func(const std::string &str)
{
   boost::optional<myClass> value;
   if(str.length() > 5)
   {
      // If greater than 5 length string. Set value to 10
      value.get().setInt(10);
   }
   else if (str.length() < 5)
   {
      // Else set it to 0
      value.get().setInt(0);
   }
   else
   {
      // If it is 5 set the value to 5
      value.get().setInt(5);
   }

   return value;
}


int main()
{
   boost::optional<myClass> v1 = func("3124");
   boost::optional<myClass> v2 = func("helloWorld");
   boost::optional<myClass> v3 = func("hello");

   if (v1)
       std::cout << "v1 is valid" << std::endl;
   else
       std::cout << "v1 is not valid" << std::endl;

   if (v2)
       std::cout << "v2 is valid" << std::endl;
   else
      std::cout << "v3 is not valid" << std::endl;

   if (v3)
      std::cout << "v3 is valid" << std::endl;
   else
      std::cout << "v3 is not valid" << std::endl;

  return 0;
 }

我收到以下错误

prog.exe： /usr/local/boost-1.55.0/include/boost/optional/optional.hpp:631： boost :: optional :: reference_type boost :: optional :: get（）[with T = 我的课; boost :: optional :: reference_type = myClass＆amp;]：断言 `this-＆gt; is_initialized（）'失败。

据推测，可选变量未正确初始化。怎么做正确的方法？

编辑::得到了一些非常好的答案，只有几个问题1.在make_optional函数末尾使用'func'并将其返回是一个好主意吗？另外2.我在考虑分配boost::none来强调我没有分配的价值，这就是boost::none的原因。但不确定这是否有效？

Answer 1

默认构造的boost::optional为空 - 它不包含值，因此您无法在其上调用get()。您必须使用有效值初始化它：

boost::optional<myClass> value = myClass();

或者，您可以使用in-place factory来避免复制初始化（但副本很可能无论如何都会被删除）;但是，我对此没有经验，所以我不能提供一个例子。

作为旁注，您可以使用->代替get()，如下所示：

value->setInt(10);

但这只是风格偏好的问题，两者都同样有效。

Answer 2

两种简单方法：

boost::optional<myClass> func(const std::string &str)
{
  boost::optional<myClass> value;
  if(str.length() > 5) // If greater than 5 length string. Set value to 10
    value = 10;
  else if (str.length() < 5) // Else set it to 0
    value = 0;
  else // If it is 5 set the value to 5
    value = 5;

  return value;
}

boost::optional<myClass> func(const std::string &str)
{
  if(str.length() > 5) // If greater than 5 length string. Set value to 10
    return 10;
  else if (str.length() < 5) // Else set it to 0
    return 0;
  else // If it is 5 set the value to 5
    return 5;
}

请注意，从永不返回空可选项的函数返回optional是一个坏主意。

optional的行为类似于读取访问权限的指针 - 如果您已经验证了可以读取的内容，则只能读取中的值。您可以通过bool something_to_read = opt;检查是否有要阅读的内容。

但是，您可以随时写信给它。如果那里什么都没有，它会创造一些东西。如果那里有东西，它会覆盖它。

.get()是一种阅读，而非写作操作。（它“读取”引用）只有在optional参与并拥有数据时才可以使用它。令人困惑的是，您可以写入“读取访问”.get()返回值，因为它是非const引用。

所以也许“阅读”和“写”都是不好用的词。：）

将可选视为混合在一起的值和指针有时会有所帮助。有一个可能为空的指针指向一个拥有的内存缓冲区，该缓冲区可能或可能不包含该类型的副本。

如果Optional中的指针为null，则缓冲区未初始化。如果它指向缓冲区，则初始化缓冲区。

.get()取消引用该指针并返回结果引用而不进行检查。 =检查指针，如果它为null，它从rhs到缓冲区执行复制构造并设置指针。如果没有，它只是分配给缓冲区。

（指针是概念性的：通常实现为bool标志）。

我发现使用*optional优于optional.get()，因为“取消引用之前必须检查”对于取消引用运算符更为明显。

Answer 3

如何以正确的方式做到这一点？

boost::optional<myClass> func(const std::string &str)
{
    if(str.length() > 5)
        return myClass{10};
    if(str.length() < 5)
        return myClass{0};
    return myClass{5};
}

作为旁注，这段代码不需要boost :: optional，因为没有代码分支返回一个空对象（它在语义上等同于返回一个myClass实例）。

要返回空的可选项，请使用：

boost::optional<myClass> func(const std::string &str)
{
    if(str.length() > 5)
        return myClass{10};
    if(str.length() < 5)
        return myClass{0};
    return boost::none; // return empty object
}

惯用客户端代码（不要预先初始化您的值）：

int main()
{
    if (auto v1 = func("3214"))
        // use *v1 to access value
        std::cout << "v1 is valid" << std::endl;
    else
        std::cout << "v1 is not valid" << std::endl;

    return 0;
}

Answer 4

boost::optional<myClass> func(const std::string &str)
{
    boost::optional<myClass> value; //not init is invalid
    if(str.length() > 5)       // If greater than 5 length string. Set value to 10
        value = 10;
    else if (str.length() < 5) // Else set it to 0
        value = 0;

    return value;
}


v1 is valid
v2 is valid
v3 is not valid

根据boost，可选的默认ctor会将可选的obj创建为无效

optional<T> def ; //not initalize with a obj T
assert ( !def ) ;

如何使用boost :: optional

4 个答案: