std ::在lambda中使用std :: shared_ptr移动

Question

std::shared_ptr在lambdas中移动s 时我有一个奇怪的问题.我不确定它是否是一个bug,因为我可以用g ++ v6.3和clang ++ v3.9重现.

当我编译并运行以下程序时:

#include <iostream>
#include <memory>

void f(std::shared_ptr<int> ptr) {
  std::cout << 3 << " " << ptr.get() << std::endl;
}

int main() {
  auto ptr = std::make_shared<int>(42);
  std::cout << 1 << " " << ptr.get() << std::endl;
#ifdef LAMBDA
  auto lambda = [ptr]() {
#endif
    f(std::move(ptr));
    std::cout << 2 << " " << ptr.get() << std::endl;
#ifdef LAMBDA
  };
  lambda();
#endif
}

用命令c++ -std=c++14 -o test main.cpp && ./test产生类似的东西

1 0x55a49e601c30 1
3 0x55a49e601c30 1
2 0 0

但是,更改编译命令c++ -std=c++14 -o test main.cpp -DLAMBDA使执行打印我无法解释:

1 0x55a49e601c30 1
3 0x55a49e601c30 3
2 0x55a49e601c30 2

因此,看起来std::move(move),当在lambda内部执行时,实际上不会导致shared_ptr移动,也不会阻止其引用计数器递增.

我再次使用clang ++和g ++重现这一点.

怎么可能？

Answer 1

ptrlambda中捕获的变量默认为const,即ptris 的类型const std::shared_ptr<int>.

std::move 无法移出const对象,因此创建了一个副本.

如果你真的想要移动它,ptr必须允许它是可变的:

auto lambda = [ptr]() mutable {
//                    ^~~~~~~