Question

在gcc 4.5中，以下代码使用-std=c++0x，

编译并按预期工作

#include <stdio.h>

template<typename H>
void caller(H h)
{
    h();
}

int main()
{
    auto c = [](){ printf("A\n"); };
    caller(c);
    caller([](){ printf("B\n"); });
    return 0;
}

打印，

A
B

但是，如果caller被定义为参考，

template<typename H>
void caller(H &h)
{
    h();
}

编译器抱怨，

test.cpp: In function ‘int main()’:
test.cpp:61:34: error: no matching function for call to ‘caller(main()::<lambda()>)’
test.cpp:52:6: note: candidate is: void caller(H&) [with H = main()::<lambda()>]

为什么？

这似乎打破了lambda为函数提供值语义的想法，而且它意味着我无法编写某些内联的小函数，这有点烦人。

（这是在较新版本的gcc中修复的吗？我没有机会测试。）

编辑：我刚刚发现以下内容确实有效：

template<typename H>
void caller(H *h)
{
    (*h)();
}

int main()
{
    auto c = [](){ printf("A\n"); };
    caller(&c);
    caller(&([](){ printf("B\n"); }));
}

我认为我不能把这样的临时地址拿走。也许那种解决了这个问题，虽然很烦人要求函数的用户传递闭包的地址而不是方便的引用。

Answer 1

您正尝试通过非const引用传递临时值。这对任何类型都不起作用。

通过const引用传递lambda。

通过模板化引用传递C ++ 11 lambda

1 个答案: