2

我刚刚了解了 c++ 17 中的 std::optional 特性以及其他一些非常有用的特性......

但是有一些关于 std::optional 的事情我不明白，我希望有人向我解释：

首先，据我所知，在 std::optional 中，返回值可以是指定的类型，也可以是这样的：

std::optional<std::string> getName()
{
    if(person.hasName())
    {
        return person.name;
    }
    else 
    {
        return {};
    }
}

return {} 如何什么都不返回？例如，如果我要创建一个返回指定值或不返回任何值的类似类，我如何创建自己的类以便 return {} 有效？我在这里误解了什么？

我的第二个问题是，当你想检查返回值时，你可以这样做：

int main()
{
    std::optional<std::string> name = getName();
    if(name.has_value())  // check if the name is valid using the has_value function
    {
        ...
    }
}

或者我也可以这样做：


int main()
{
    std::optional<std::string> name = getName();
    if(name)  // check if the name is valid only using the variable name ???
    {
        ...
    }
}

我对此感到非常困惑，变量名如何返回布尔值？不像对象的构造函数可以返回任何东西，那这怎么可能呢？

再次假设我想创建自己的类，它类似于 std::optional 我如何制作它以便我的类的实例可以用作布尔值？

我真的很感激能解决我的问题的答案，而不是与何时使用 std::optional 或为什么我不应该创建自己的类来做同样的事情等相关的答案......

谢谢！

4

2 回答 2

0 
return {};

将简单地调用类的默认构造函数。

通过给类一个转换运算符来 bool，它可以在需要时隐式转换为 bool。

它看起来像

template <typename T>
class optional {
    public:
    optional() {}
    optional(T t) : has_value(true), value(std::move(t)) {}

    operator bool() {
        return has_value;
    }
    
    private:
    bool has_value = false;
    T value;
}

非常简化，缺少赋值运算符等等。

于 2020-08-30T19:23:29.967 回答
0

我如何制作自己的课程，所以 return {} 有效？

通过使类默认可构造。具体怎么做取决于班级。在类是隐式默认可构造的情况下，您无需执行任何操作，而在其他情况下，您可能需要显式声明构造函数。比如像这样：ClassName() = default;。

变量名如何返回布尔值

想想这个变量名如何“返回一个布尔值”：

int x = 42;
if (x)
    ;

或者这个变量名如何“返回一个 std::string_view”：

const char* str = "example";
std::string__view sv = str;

这称为从一种类型到另一种类型的转换。这就是发生在if(name).

我怎么做才能让我的类的实例可以用作布尔值？

通过提供转换运算符。

于 2020-08-30T19:25:36.063 回答