如何优雅处理多参数返回/无参数返回——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管理的是可选的容纳值。如果函数成功执行,则实例含值,如果执行失败,实例不含值。

如何处理多参返回?

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

使用std::optional

  • 定义位置:<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请访问

转载于:https://www.cnblogs.com/riko707/p/11440664.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值