还在用-1表示无效返回值?
2025年了C++程序员早该扔掉这种魔法数字了。
std::optional这神器从2017年就有了,专治各种空指针崩溃和无效值判断困难症。
它让代码安全性和可读性直接上档次,谁用谁知道。
核心就一句话:让“值不存在”成为类型系统的一部分。
以前用指针得提防空指针,用魔法数字得记特殊含义。
现在直接包在optional里,编译器帮你盯着。
调用函数拿到个optional<int>,不用猜也知道可能没值,比看文档还直观。
最实用的就是函数返回值处理。
比如解析字符串转数字,转换失败就光明正大返回std::nullopt。
调用方明明白白写个if检查,总比漏判空指针强十倍。
项目里再也不用看到ret == -999这种阴间代码了。
实现原理也挺聪明。
不需要堆分配,直接在栈上开辟T大小的空间加个bool标记位。
访问前必须检查has_value或者用value自动抛异常。
前两年有人测试过,比shared_ptr轻量至少三倍,跟原始指针速度差不多。
延迟初始化场景更绝。
类成员变量不确定要不要初始化?
直接声明成optional<string>。
等需要时再emplace构造,不用时reset释放。
完美替代那些new完又忘记delete的老代码写法。
资源管理也别再用裸指针了。
打开文件返回optional<ifstream>,操作数据库返回optional<Connection>。
函数签名自带说明文档效果,团队协作时新人看接口就懂要处理空值情况。
当然得注意访问安全。
直接解引用空optional肯定崩,养成先用if或value_or的习惯。
value_or特别适合给默认值,比三目运算符清爽多了。
用三年最大的感受:错误处理代码量砍半。
以前每个指针访问都得套if,现在链式调用时用?
.运算符一路畅通无阻。
省下来的时间多写两行单元测试不香吗?
说白了这就是个带安检的包装盒。
看着简单但能挡住八成运行时崩溃。
项目里全面推广后,段错误报错量肉眼可见往下掉。
老系统改造从替换-1开始,新项目直接禁用裸指针。
这波升级真不亏。