C++拉姆达运算符 ==

Question

如何在 C++ (Visual Studio 2010) 中比较两个 lambda 函数？

std::function<void ()> lambda1 = []() {};
std::function<void ()> lambda2 = []() {};
bool eq1 = (lambda1 == lambda1);
bool eq2 = (lambda1 != lambda2);

我收到一个编译错误，声称运算符 == 无法访问。

编辑：我正在尝试比较函数实例。所以 lambda1 == lambda1 应该返回 true，而 lambda1 == lambda2 应该返回 false。

Answer 1

您无法比较 std::function 对象，因为 std::function 不可相等比较。 lambda 的闭包类型也不能进行相等比较。

但是，如果您的 lambda 没有捕获任何内容，则 lambda 本身可以转换为函数指针，并且函数指针是相等可比的（但是，据我所知，完全未指定此示例中是否 are_1and2_equal 为 true 或 false）：

void(*lambda1)() = []() { };
void(*lambda2)() = []() { };
bool are_1and1_equal = (lambda1 == lambda1); // will be true
bool are_1and2_equal = (lambda1 == lambda2); // may be true?

Visual C++ 2010 不支持此转换。直到 Visual C++ 发布之前，该转换才添加到 C++0x 中。

Answer 2

你不能比较函数，结束。

您最多可以比较具有该概念的语言中函数的指针（这也是例如 Lisp 中的 EQ 所做的事情。对于不占用内存中相同位置的等效函数，它会失败。）

Answer 3

这是不可能的。

证明草图：如果可以计算

f1 == f2

，那么也可以计算

f == infiniteLoop

并解决停止问题。

Answer 4

最简单的答案：所有模板<>类函数的运算符 ==() 是私有的。

后续问题：如果出现以下情况，您期望的是哪一个：
- 比较函数地址
- 比较两个不同的对象（类型为 std::function
- 比较两个抽象函数

编辑（近 5 年后）：

我觉得很有趣的是，有没有评论的反对票。如果投反对票是因为 C++11 更改了 std::function::operator==() 的访问级别，那么我说投票者不明白时间是如何运作的。如果投反对票是因为提问者没有澄清他想象的operator==()会比较什么，也许投票者应该通过问题下的评论看到长达数小时的讨论，OP仅回答了这些讨论> 在我的答案的评论中。