为何std::optional存储std::ostringstream会编译报错？求技术解析

尝试创建存储std::ostringstream的std::optional对象（或包含该类型字段的可选结构体）时代码无法编译，但替换为std::string则正常运行。测试代码如下：

#include <optional>
#include <sstream>

int main()
{
  std::optional<std::ostringstream> opt;
  std::ostringstream o;
  opt = std::optional<std::ostringstream> {o};
}

Linux下g++与Windows下MSVC编译器均报匹配错误，核心原因在于std::ostringstream的不可拷贝特性：

• std::ostringstream继承自std::ostream，标准库为避免流资源重复管理的混乱（比如两个流指向同一缓冲区导致重复释放），显式删除了std::ostream的拷贝构造函数和拷贝赋值运算符，这直接导致std::ostringstream无法被拷贝。
• 你的代码中std::optional<std::ostringstream> {o}尝试通过拷贝构造将o复制到optional内部，触发了被删除的拷贝构造函数，因此编译失败。
• std::string支持完整的拷贝操作，所以作为std::optional模板参数时可以正常运行。

修正方法 #

利用移动语义将std::ostringstream对象的所有权转移到std::optional中即可，因为std::ostringstream支持移动操作：

#include <optional>
#include <sstream>

int main()
{
  std::optional<std::ostringstream> opt;
  std::ostringstream o;
  // 使用std::move转移对象资源所有权
  opt = std::optional<std::ostringstream> {std::move(o)};
  // 或更简洁的写法：
  // opt = std::make_optional(std::move(o));
}

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