c++ - 为什么我不能将具有不可复制类参数的 lambda 转换为 std::function？

Question

考虑以下编译失败的代码:

#include <mutex>
#include <functional>

class t{
    std::mutex m;
};

std::function<void(t test)> func = [](t test) {return;};

生成以下错误:

error: conversion from '<lambda(t)>' to non-scalar type 'std::function<void(t)>' requested

你能解释一下为什么这个转换不起作用吗？

PS:这里是活生生的例子:https://godbolt.org/z/7se8crf41

Answer 1

诊断是 super 误导。虽然很明显互斥锁不可复制，但在提供的代码段中没有请求复制互斥锁!

问题的直接原因是 std::function<>模板化构造函数(当 std::function 从 lambda 创建时将调用的构造函数)是 SFINAE -限制对象为 Callable 提供了参数类型。

Callable不满足，因为调用表达式试图按值传递互斥锁，而互斥锁不可复制。

因此，编译器无法找到任何合适的构造函数来构造 std::function诊断观察到的对象和问题。

似乎也无法构造 std::function这样有点不幸，因为您可以调用普通函数或带有临时构造对象的 lambda，例如

f(t{});

由于有保证的复制省略。虽然对 std::mutex 这样做没有意义，它可能对其他不可复制、不可移动的类有意义。