C++ std::nullopt

一、基本概念

简单来说，std::nullopt 是一个哨兵值（Sentinel Value），专门用来表示 std::optional 处于“无值”（空）的状态。

在底层，std::nullopt 的定义非常简单：

• 它的类型是 **std::nullopt_t**（一个空的强类型结构体）。
• std::nullopt 是 std::nullopt_t 的一个 inline constexpr 常量。

// 标准库中的简化定义
struct nullopt_t {
    explicit constexpr nullopt_t(int) {} // 防止隐式转换
};

inline constexpr nullopt_t nullopt{0};

std::optional 重载了接受 std::nullopt_t 的构造函数和赋值运算符。因此，当你把 std::nullopt 赋给 std::optional 时，它知道应该将内部状态标记为“空”。

二、使用场景

1. 作为函数返回值（表示失败或无结果）

   #include <optional>
   #include <string>
   
   std::optional<double> safeDivide(double a, double b) {
       if (b == 0.0) {
           return std::nullopt; // 明确表达：由于除以0，无法返回有效计算结果
       }
       return a / b;
   }

2. 显示初始化

   // 隐式初始化为空
   std::optional<int> opt1; 
   
   // 显式初始化为空（可读性更强，一眼看出它是可选的且当前为空）
   std::optional<int> opt2 = std::nullopt;

3. 重置一个 std::optinonal 对象

   std::optional<std::string> cache = "some cached data";
   
   // 方法 1：赋值为 std::nullopt（非常直观）
   cache = std::nullopt; 
   
   // 方法 2：调用 .reset() 方法（效果完全相同）
   cache.reset();
   
   // 注：此时 std::optional 内部保存的对象会被析构，释放其占用的资源，但 std::optional 本身占用的栈内存不会释放。

4. 条件对比

   std::optional<int> opt = getSomeValue();
   
   if (opt == std::nullopt) {
       // 处理空值情况
   }
   
   // 虽然这与下面的写法等价，但在某些语境下，与 nullopt 显式对比可读性更好：
   if (!opt.has_value()) { ... }

三、std::nullopt vs nullptr vs NULL

特性	std::nullopt	nullptr	NULL
所属标准	C++17	C++11	C++98 / C 语言遗留
设计目的	表示 std::optional 为空	表示空指针（不指向任何内存）	表示空指针（宏定义，通常是 0）
对应类型	std::nullopt_t	std::nullptr_t	整型 0 或 (void*)0
安全性	极高（强类型，防止各种隐式转换）	高（解决 NULL 的整型重载二义性）	低（容易引发重载混乱和安全隐患）

为什么不能用 nullptr 代替 std::nullopt？

因为 std::optional 保存的是值，而不是指针。 如果一个 std::optional 保存的是一个指针，那么：

• opt = nullptr; 意味着：opt 有值，但这个值是一个空指针（*opt 的结果是 nullptr）。
• opt = std::nullopt; 意味着：opt 没有值（你连指针都没有，尝试 *opt 会触发未定义行为或抛出异常）。

这就是类型安全的美妙之处，std::nullopt 完美规避了这种语义模糊。

1. 写返回值时：如果函数可能无法产生值，返回 std::nullopt 比返回魔术值（如 -1、空字符串 ""）要安全和优雅得多。
2. 清空对象时：opt = std::nullopt; 比 opt = {}; 语义更清晰。
3. 不要滥用比较：虽然 if (opt != std::nullopt) 可行，但通常直接写 if (opt) 或 if (opt.has_value()) 更符合 C++ 的现代习惯。