C++ std::optional的比较操作符与std::nullopt的比较

C++17 引入了 std::optional，用于处理可能不存在的值。理解其比较操作符的行为，特别是与 std::nullopt 的交互，是写出健壮代码的关键。

1. 理解核心比较逻辑

std::optional 的比较遵循“容器”逻辑。它不仅仅比较值，还会比较“是否包含值”这一状态。

• 如果两个 std::optional 对象都不包含值（即都是空），它们被视为相等。
• 如果一个包含值，另一个不包含值，它们不相等。在涉及大小比较（<, >）时，不包含值的对象被视为小于包含值的对象。
• 如果都包含值，则比较它们内部所包含的值。

2. 与 std::nullopt 进行比较

std::nullopt 是一个常量，用于表示空的 std::optional 状态。将 std::optional 对象与 std::nullopt 进行比较，本质上是在检查该对象是否为空。

编写代码检查对象是否为空：

#include <optional>
#include <iostream>

int main() {
    std::optional<int> opt1;
    std::optional<int> opt2 = 42;

    // 检查 opt1 是否为空
    if (opt1 == std::nullopt) {
        std::cout << "opt1 is empty" << std::endl;
    }

    // 检查 opt2 是否不为空
    if (opt2 != std::nullopt) {
        std::cout << "opt2 has a value" << std::endl;
    }

    return 0;
}

注意：opt == std::nullopt 在逻辑上完全等同于 !opt.has_value()，但在某些需要统一使用比较操作符的泛型代码中，前者更为方便。

3. std::optional 之间的相互比较

当两个 std::optional 对象进行比较时，编译器会根据它们是否包含值来决定行为。

运行以下代码观察不同状态的比较结果：

#include <optional>
#include <iostream>

int main() {
    std::optional<int> a;
    std::optional<int> b;
    std::optional<int> c = 10;
    std::optional<int> d = 20;

    // 情况1：两者都为空
    if (a == b) {
        std::cout << "Both empty are equal" << std::endl;
    }

    // 情况2：一个为空，一个有值
    if (a < c) {
        std::cout << "Empty is considered less than value" << std::endl;
    }

    // 情况3：两者都有值
    if (c < d) {
        std::cout << "10 is less than 20" << std::endl;
    }

    return 0;
}

记住：空 optional 始终“小于”任何非空 optional。这在对 std::optional 对象进行排序（例如放入 std::map 或 std::set）时非常重要。

4. 与具体值 (T) 进行比较

std::optional 允许直接与它所包装的值类型 T 进行比较。这实际上是将右边的值隐式转换为 std::optional，然后再进行比较。

执行值比较操作：

std::optional<int> data = 100;

// 直接地与整数值比较
if (data == 100) {
    // 进入条件，因为内部值等于 100
}

if (data > 50) {
    // 进入条件，因为内部值大于 50
}

当 data 为空时：

• data == 100 结果为 false。
• data != 100 结果为 true。
• data < 100 结果为 true（遵循空小于非空的规则）。

5. 比较规则速查表

下表总结了不同情况下的比较结果，假设 opt 为 std::optional<int>，且 lhs 为左操作数，rhs 为右操作数。

6. 避免常见的比较陷阱

在实际编码中，混合使用这些比较方式时需保持警惕。

区分含义：opt == std::nullopt 和 opt == 0 是完全不同的。

• opt == std::nullopt：检查 opt 是否没有值。
• opt == 0：检查 opt 是否有值且该值等于 0。

观察以下代码的输出差异：

std::optional<int> opt = 0;

if (opt == std::nullopt) {
    // 不会执行：opt 有值（0），不是空
}

if (opt == 0) {
    // 会执行：opt 包含值，且该值为 0
}

确保在使用 > 或 < 等关系运算符时，你的逻辑已经考虑到了“空值小于任何值”这一默认行为，以免在排序或过滤逻辑中产生意外。