C++ optional用法教程 _ C++17处理空值的新方式【详解】

阿静姑娘_5815

阿静姑娘_5815

2026-04-13

721人浏览

原创

std::optional仅表示“值是否存在”,不可替代bool或error_code;安全构造需显式包含头文件、用std::nullopt初始化、访问前必须检查has_value()或使用value_or(),避免裸调value()或operator->,返回值勿绑定非常量引用,不适用于需错误信息、三态逻辑或内存敏感场景。

c++ optional用法教程 _ c++17处理空值的新方式【详解】

std::optional 不是用来替代 bool 或 error_code 的,它只回答一个问题:“值是否存在”。用错场景,代码会变得更难懂、更易崩。

std::optional 的构造和初始化怎么写才安全

必须显式包含头文件 #include <optional></optional>,且编译器需支持 C++17 或更高标准。构造方式有三种常见写法,但语义和安全性差异明显:

  • std::optional<int> opt;</int> —— 默认构造,状态为空;不推荐在关键路径上裸用,可读性差
  • std::optional<int> opt = std::nullopt;</int> —— 显式表达“空”,意图清晰,是首选
  • std::optional<:string> opt = "hello";</:string> —— 值初始化,隐式调用 std::optional 构造函数,没问题;但对含多参数构造的类型(如 std::complex<double></double>),得用 std::in_place: std::optional<:complex>> opt(std::in_place, 1.0, 2.0);</:complex>

别写 std::optional<int> opt = nullptr;</int> —— 编译不过。nullptr 和 std::nullopt 类型不同,后者才是它的“空”字面量。

访问值前不检查 has_value() 就调用 value() 是高危操作

value() 在空状态下抛出 std::bad_optional_access,不是断言,也不是返回默认值,而是直接终止程序(除非捕获)。生产环境里裸调 opt.value() 等于埋雷。

  • 安全做法是先判断:if (opt.has_value()) { use(*opt); } 或更简洁的 if (opt) { use(*opt); }(利用隐式 bool 转换)
  • 有自然兜底值时,优先用 opt.value_or(-1) —— 它内部已做检查,线程安全,无异常风险
  • 千万别用 opt->some_method() 来代替检查: operator-> 同样要求非空,否则未定义行为(UB),比抛异常更难调试

函数返回 std::optional 时,接收方容易踩的引用绑定坑

常见错误是试图把函数返回的临时 std::optional 绑定到非常量左值引用:

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
std::optional<int> get_id() { return 42; }
std::optional<int>& ref = get_id(); // ❌ 编译失败:cannot bind non-const lvalue reference to an rvalue</int></int>

正确姿势只有两种:

  • 用值接收:auto opt = get_id();(推荐,简洁且避免生命周期问题)
  • 或用 const 引用:const std::optional<int>& ref = get_id();</int>(延长临时对象生命周期,但仅限 const)

传参时也同理:输入参数建议声明为 const std::optional<t>&</t>,避免大对象(如含 std::vector 的类型)被意外拷贝。

什么时候不该用 std::optional

它不是万能空值胶水。以下情况强行套用反而模糊语义:

  • 函数失败需要传达原因(比如文件打不开、网络超时)——该用 std::expected(C++23)或异常,而不是 std::optional<t></t>
  • 想表达三态逻辑(true / false / unknown)——用 enum class TriState { True, False, Unknown }; 更直白
  • 接口中大量返回 std::optional<t></t> 却不说明“空”的业务含义(是查无此 ID?还是数据库连接失败?)——调用方无法区分故障与正常空结果
  • 高频赋值 std::nullopt 到含非 trivial 析构函数的对象(如 std::optional<:string></:string>)——每次都会触发析构+构造,开销可观

最常被忽略的一点:std::optional 的内存布局通常比原类型多 1 字节(用于存储存在标志),对内存敏感场景(如结构体数组、嵌入式)要实测 sizeof 影响。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.02

6319

3

java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

2023.10.24

6064

49

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

2198

7

golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

2025.06.09

4674

18

golang结构体方法
golang结构体方法

本专题整合了golang结构体相关内容,请阅读专题下面的文章了解更多。

2025.07.04

4831

25

golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

2025.06.09

4674

18

golang结构体方法
golang结构体方法

本专题整合了golang结构体相关内容,请阅读专题下面的文章了解更多。

2025.07.04

4831

25

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.02

6319

3

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.08.29

3065

6

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习