将不可拷贝类型的STL容器放入std::optional时编译报错咨询

这个问题我碰到过，核心原因是GCC 7.2对C++17 std::optional的实现缺陷，再结合不可拷贝类型容器的特性共同导致的：

首先，你的MyClass显式删除了拷贝构造函数，这会连锁导致std::list<MyClass>的拷贝构造函数被隐式删除——因为STL容器的拷贝构造逻辑完全依赖元素的拷贝构造能力。当你把这个不可拷贝的list放进std::optional时，GCC 7.2的optional实现存在一个关键问题：它在内部模板元编程检查（比如涉及std::is_trivially_copy_constructible的逻辑）中，错误地要求内部类型（也就是你的list<MyClass>）必须具备拷贝构造能力，哪怕你根本没有实际调用拷贝操作。

GCC 7.x系列是C++17标准刚推出时的早期支持版本，对std::optional的实现还不够完善，后续的GCC 8+版本修复了这个不必要的拷贝构造检查问题。

针对这个问题，你可以按优先级尝试以下方案：

1. 升级GCC版本（最优解） #

直接升级到GCC 8或更高版本，新版本的std::optional实现正确区分了拷贝和移动语义场景，不会再对未使用的拷贝构造函数做强制检查。只要你的代码没有显式拷贝std::optional<std::list<MyClass>>对象，就不会触发错误。

2. 避免触发拷贝操作（兼容旧编译器） #

如果暂时无法升级编译器，要确保所有涉及optional的操作都使用移动语义，绝对避免拷贝optional对象：

• 用emplace()直接在optional内部构造list，避免外部拷贝：

  std::optional<std::list<MyClass>> opt;
  opt.emplace(); // 直接在optional内存里构造空list，无拷贝
  

• 用std::move()转移list或optional对象：

  std::list<MyClass> my_list;
  // 移动list到optional，而非拷贝
  opt = std::move(my_list);
  
  // 移动optional本身，而非拷贝
  auto opt2 = std::move(opt);
  

• 传递optional时使用引用（const&或&&），避免值传递触发拷贝：

  void process_opt(std::optional<std::list<MyClass>>&& opt) {
      // 处理逻辑
  }
  

3. 检查代码中的隐式拷贝 #

仔细排查代码中是否有不经意的拷贝行为：比如将optional作为函数返回值时没有用std::move()，或者赋值时直接用=而不是std::move()，这些都会触发optional的拷贝构造，进而尝试拷贝内部的list，最终触发错误。

需要明确的是：std::optional本身支持存储不可拷贝类型，只要你不执行拷贝optional的操作。GCC 7.2的报错本质是实现缺陷，而非C++17标准规定的限制——标准允许optional存储不可拷贝、仅可移动的类型。

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