我试图在C++中不想要lambda演算和lambda表达式之间的联系.
首先,在无类型的lambda演算中,我们没有像booleans或int或whatevr这样的"基本值",所以一切都必须编码为函数,然后我们可以将任何术语应用于任何其他术语,但情况并非如此在C++中有一个类型系统.
此外,我已经看到lambda表达式要么在函数指针中转换(当它们没有捕获任何东西时),要么在函数中转换(仅用于包装函数的类).
所以我想知道,"lambda表达式"只是匿名函数的一个奇特名称,因此它类似于lambda演算(在某种意义上,lambda表达式中的术语可以看作是未命名的函数),还是有更多呢?
提前致谢.