Lambda捕获shared_ptr时为何需用std::move？编译器无法自动优化的原因

问题场景 #

在如下代码中，原本认为Lambda捕获列表中的std::move是多余的，但实际测试发现：如果不使用std::move，编译器会生成复制std::shared_ptr的额外代码；只有显式调用std::move，才会触发移动构造。为什么编译器无法自行优化这一操作？

template<typename T>
std::function<void(void)> prepLambdaImpl(std::shared_ptr<T> aptr) {
#ifdef CONVERT_SHARED_PTR_TO_XVALUE
  return [aptr=std::move(aptr)]
#else
  return [aptr]
#endif
  {
      printf("use count: %ld\n", aptr.use_count());
  };
}

原因解析 #

1. 语义差异是核心
   普通值捕获[aptr]的语义是复制捕获：编译器会创建aptr的副本，调用std::shared_ptr的拷贝构造函数，这会导致引用计数加1——这是C++标准明确规定的行为，编译器不能擅自修改这个语义。
   而[aptr=std::move(aptr)]是移动捕获：通过std::move将函数参数（左值）转换为右值，触发std::shared_ptr的移动构造函数，仅转移所有权，不会增加引用计数。这两种捕获的语义完全不同，编译器不能替程序员做“是否转移所有权”的决定。

2. 优化不能改变程序语义
   C++中的所有合法优化（比如返回值优化RVO）都必须满足as-if规则：优化后的程序行为必须和未优化的程序行为完全一致。如果编译器自动把复制捕获改成移动捕获，会改变std::shared_ptr的引用计数逻辑，违反as-if规则，因此是不允许的。

3. 参数的生命周期不代表可以自动移动
   虽然函数参数aptr是即将被销毁的局部变量，但捕获操作的语义是由程序员声明的，而非由变量生命周期决定。编译器只能严格按照代码声明的语义执行，不能假设程序员希望转移参数的所有权。

内容的提问来源于stack exchange，提问作者g-217