VS2017中boost::optional与std::optional处理不可拷贝对象的差异问题

你遇到的这个问题其实是旧版Boost.Optional（1.66）对现代C++移动语义的适配不完善导致的，和你的代码写法、C标准本身关系不大，而std::optional因为严格遵循C17标准设计，所以能正常编译。

为什么Boost版本会编译失败？ #

从错误栈能看出来，Boost.Optional内部的boost::optional_detail::optional_base<T>模板类里，有个construct(const Foo&)函数被实例化了——这个函数需要调用Foo的拷贝构造函数，但你给Foo定义了移动构造函数，根据C++规则，编译器会自动隐式删除Foo的拷贝构造函数，这就触发了编译错误。

本质上是旧版Boost.Optional的实现问题：它的模板代码在处理“空状态”的optional时，某些不会实际被调用的函数还是被强制实例化了，而MSVC 2017的模板检查机制会严格校验这些实例化的合法性，哪怕这些函数不会被执行到。

反观std::optional，它完全按照C++17标准实现：默认构造的std::optional<Foo>处于“空”状态，根本不会去创建或拷贝Foo的实例，自然不需要Foo具备拷贝构造能力。

几个可行的解决方向 #

1. 升级Boost到新版本
   Boost 1.70及以后的版本已经修复了这个问题，优化了optional的模板实现，不会再触发这种不必要的模板实例化，哪怕你的Foo没有拷贝构造函数也能正常编译。这是最推荐的方案。

2. 给Foo显式添加拷贝构造（如果业务允许）
   如果你可以接受Foo被拷贝，可以显式声明或定义它的拷贝构造函数：

   struct Foo {
       Foo() {}
       Foo(Foo&& other) {}
       Foo(const Foo&) = default; // 或者写自定义的拷贝逻辑
   };
   

   不过这样会改变Foo的语义，只有在你的业务场景允许拷贝时才适合这么做。

3. 换一种方式初始化vector
   避免用resize触发默认构造，改用reserve配合emplace_back手动构造空的boost::optional<Foo>：

   std::vector<boost::optional<Foo>> foos;
   foos.reserve(42); // 预分配空间
   for (int i = 0; i < 42; ++i) {
       foos.emplace_back(); // 构造空的optional，完全不需要Foo的拷贝/移动
   }
   

补充说明 #

这是Boost库的已知问题，不是你的代码错误，也不是C标准的问题。旧版Boost.Optional在适配C11引入的移动语义时存在疏漏，后续版本已经补全了这部分适配。

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