C ++不可复制的lambda表现可复制？

Question

为什么下面的代码会编译？

#include <memory>
#include <vector>

int main()
{
    std::vector<std::unique_ptr<int>> uncopyableStuff;
    for(int i = 0; i < 5; ++i)
        uncopyableStuff.emplace_back(std::make_unique<int>(i));
    auto lambda = [uncopyableStuff = std::move(uncopyableStuff)](){};
    static_assert(std::is_copy_constructible<decltype(lambda)>::value);
}

在我看来 lambda 是不可复制的，因为当我尝试像这样复制它时：

auto copy = lambda;

这给了我一个编译错误（如我所料）。 lambda 和复制可构造性特征是否有一些例外？

查看godbolt示例的链接： https://godbolt.org/z/GByclH

编辑：

在尝试复制时找出 lambda 是否会编译的正确方法是什么。我猜我对给定可调用对象的理论复制构造性不感兴趣，而是对成功复制构造的检测感兴趣。向量拷贝构造函数是这样定义的，我还是觉得很奇怪。

Answer 1

lambda 和复制可构造性特征是否有一些例外？

没有。如果你测试std::is_copy_constructible<std::vector<std::unique_ptr<int>>>::value你会发现它也是如此。

原因是std::vector 有一个可访问且不可删除的复制构造函数，即使元素类型是不可复制的。如果复制构造函数被实例化，它将无法编译，但这在直接上下文之外，因此无法被std::is_copy_constructible trait 检测到。

在元素类型的复制构造性上创建std::vectorSFINAE 的复制构造函数可能很诱人，但我相信它会破坏将类型本身的向量存储为成员的类型：struct Node { std::vector<Node> children; }，因为在这种情况下，Node 和 std::vector<Node> 的复制构造性将是相互依赖的。