如何以惯用方式将流提取运算符>>用于std::optional？

标准库确实没有提供std::istream& operator>>(std::istream& is, std::optional<T>& obj)的默认重载，而且直接解引用空的std::optional（比如stream >> *i）会触发未定义行为，这是绝对不能使用的写法。

要实现安全且符合流操作风格的提取逻辑，核心思路是：先尝试读取目标类型的值，读取成功就将其存入optional，读取失败则将optional置空，同时保留流的错误状态。

这里提供一个通用的模板实现：

#include <optional>
#include <istream>

template <typename T>
std::istream& operator>>(std::istream& is, std::optional<T>& opt) {
    T temp;
    // 尝试读取到临时对象
    if (is >> temp) {
        // 读取成功，将值移入optional（避免不必要的拷贝）
        opt = std::move(temp);
    } else {
        // 读取失败，清空optional
        opt.reset();
    }
    // 返回流对象以支持链式调用
    return is;
}

这个实现完全贴合标准流操作的惯例：

• 当输入能被解析为合法的T类型时，optional会持有该值，流保持正常状态；
• 当输入无效（比如给std::optional<int>输入非数字字符串），流会设置failbit，同时optional被置为空；
• 支持链式调用，比如stream >> opt1 >> opt2的写法。

如果你的业务场景有特殊需求（比如把特定输入标记视为“空值”，比如输入null就将optional置空），可以在这个基础上修改判断逻辑，但上面的版本是最通用、最符合常规流操作风格的实现。

内容的提问来源于stack exchange，提问作者kc9jud