在Stack Overflow问题中,在C++ 11中不允许重新定义lambda,为什么？,给出了一个不编译的小程序:
int main() {
auto test = []{};
test = []{};
}
问题得到了回答,一切似乎都很好.然后是Johannes Schaub并做了一个有趣的观察:
如果你
+在第一个lambda之前放置一个,它会神奇地开始工作.
所以我很好奇:为什么以下工作呢？
int main() {
auto test = +[]{}; // Note the unary operator + before the lambda
test = []{};
}
我想知道为什么在下面的代码中编译器无法使用lambda作为函数foo()的参数(模板参数推导/替换失败),而一个简单的函数工作:
template<class ...Args>
void foo(int (*)(Args...))
{
}
int bar(int)
{
return 0;
}
int main() {
//foo([](int) { return 0; }); // error
foo(bar);
return 0;
}
intel编译器(版本18.0.3)
template.cxx(12): error: no instance of function template "foo" matches the argument list
argument types are: (lambda [](int)->int)
foo([](int) { return 0; }); // error
^
template.cxx(2): note: this candidate was rejected because at least one template argument could not be deduced
void foo(int (*)(Args...))
有任何想法吗？
在使用C++浏览模板时,我偶然发现了以下代码中的示例:
#include <iostream>
#include <functional>
template <typename T>
void call(std::function<void(T)> f, T v)
{
f(v);
}
int main(int argc, char const *argv[])
{
auto foo = [](int i) {
std::cout << i << std::endl;
};
call(foo, 1);
return 0;
}
要编译这个程序,我使用的是GNU C++编译器 g ++:
$ g++ --version // g++ (Ubuntu 6.5.0-1ubuntu1~16.04) 6.5.0 20181026
编译C++ 11后,我收到以下错误:
$ g++ -std=c++11 template_example_1.cpp -Wall
template_example_1.cpp: In function ‘int main(int, const char**)’:
template_example_1.cpp:15:16: error: no matching function for call to ‘call(main(int, const …下面是一个典型的 C 函数，它采用经典函数指针作为参数：
int DoThingy( const char* stuff, int(*helper)(int))
{
int result = 0;
//...call helper...
return result;
}
下面我用一个非捕获 lambda 来调用上面的内容，它神奇地“降级”为函数指针。在“A”处，转换是隐式的。在“B”处，它是明确的。都好。
void UseThingy()
{
auto lam = [](int)->int {
return 42;
};
int i;
i = DoThingy( "hello", lam); //"A" works
int (*ptr)(int) = lam;
i = DoThingy( "hello", ptr); //"B" works
}
但在这个新示例中，回调函数的签名取决于模板类型：
template <typename T>
int DoThingy2( const char* stuff, int (*helper)(T))
{
int result = 0;
//...call helper...
return result;
}
当我尝试使用上面的这个版本时，“C”行甚至无法编译。然而“D”处的显式版本是有效的。什么？为什么这些不一样？请注意，当我在“E”处给出显式模板参数时，它可以工作，但当然可以<int>从 的签名推断出来lam …