如何优雅处理多参数返回/无参数返回——std::optional

什么是std::optional？

C++17中新引入了std::optional<T>。类模板std::optional管理一个可选的容纳值。简单说来，std::optional就是一个和类型，常见的用处就是做为函数返回值来处理一个可能失败的函数。

如何处理无参返回？

此前处理无参返回的函数通常有两种方式。

第一种：

bool foo(int param1, int*param2);

返回参数做为引用/指针型输入参数而存在，传入地址，在执行完毕后访问指定地址获得返回值，而使用真正的返回值来做为函数是否成功的返回。 这种方式能够实现需求。 缺点是：

1. 浪费存储空间——不管是否返回值，都须要作好有值的准备，param2的空间须要事先分配
2. 可读性/可用性差——同为参数，有的是输入参，有的是输出参，即便以名字取分，使用的时候也比较困难。

第二种：

std::pair<T,bool>foo(int param1);

这是比较经常使用的方式，解决了问题2——每次使用都知道返回值是pair的第一个值，第二个值专门用于成功与否的判断。 不过std::optional继续优化了处理方式。

正如前述，std::optional管理的是可选的容纳值。若是函数成功执行，则实例含值，若是执行失败，实例不含值。

如何处理多参返回？

这都不是个问题，class，struct，哪一个都比直接放在一个tuple里面或者更过度的直接列在函数参数里面好。

使用std::optional<T>

• 定义位置：<optional>
• T：一个知足可析构的类型
• 初始化：
  • 使用=用另外一个T类型含值std::optional初始化
  • 使用构造函数初始化：以nullopt_t类型值或是T类型值
  • 默认构造函数
• 是否含值：
  • 使用bool hasValue=temp.has_value()检查是否含值
• 取值：
  • 使用（*temp）取T，即默认为T的指针
  • 使用temp.value()获取T值
  • 使用temp.value_or()获取值（存在值）或者其余（不存在值）
• 返回：
  • 一个T对象（非指针）
  • nullopt
  • {}
  • ...

一个实例：

//一个可析构类型
class Test{
    int num1;
    int num2;
    Test(int n1,int n2){
        num1=n1;
        num2=n2;
    }
    bool isOK(){
        return num1+num2>=0?true:false;
    }
}

//一个可能执行失败的函数【有点草率，看看语法就好
std::optional<Test>foo(int num){
    Test t(num,num);
    if(t.isOK()){
        //返回正常对象
        return t;
    }
    //返回空值
    return nullopt;
}

int main(){
    int myAge=20;
    //一种赋值方式
    std::optional<Test>opt=foo(myAge);
    //一种判断是否含值的方式
    if(opt.has_value()){
        //foo函数成功执行
        //一种取值方式
        cout<<(opt.value()).num1<<endl;
    }
}

Reference

cppreference-std::optional 更多特性/支持的操做请访问 C++17 新特性之 std::optional（上）更好地理解为什么使用std::optional请访问