VS2012 使用 +[]{} 巫术时报错

Question

我希望在使用 lambda 时自动推导接受函数的模板化函数的参数。这个例子展示了我的一些选择：

template <class T>
void foo(void (*func)(T)) {
    T val;
    // do something with val and func...
}

int main() {
    auto pfunc0         =  [] (int) { /*...*/ };
    void (*pfunc1)(int) =  [] (int) { /*...*/ };
    auto* pfunc2        = +[] (int) { /*...*/ };

    foo(pfunc0);      // not ok
    foo<int>(pfunc0); // ok, but redundant
    foo(pfunc1);      // ok, but redundant
    foo(pfunc2);      // ok
}

pfunc2 使用了我在这里学到的技巧：Obtaining function pointer to lambda?。所以实际上我应该对 pfunc2 案例感到满意，因为它是简洁且不重复的代码，不幸的是，Visual C++ 2012 IDE 抱怨它是错误的代码，即使它编译得很好。

是否有针对此问题的解决方法或建议？

IDE 错误消息：

在“auto* pfunc2”行中：IDE 在“auto”下划线并说

Error: cannot deduce 'auto' type

它还在抱怨的地方加下划线'['

Error: more than one conversion function from "lambda[]void (int)->void" to a build-in type applies:
function "lambda[]void (int)->void::operator void (*)(int)() const"  
function "lambda[]void (int)->void::operator void (*)(int)() const"  
function "lambda[]void (int)->void::operator void (*)(int)() const"

Answer 1

这与this bug 相关（按“设计”关闭）。 VC++ 支持 x86 上的多个调用约定，并且带有空捕获列表的 lambda 提供对它们的转换。这就是为什么会有歧义。

很遗憾，没有列出您尚未尝试过的解决方法。

顺便说一下，这个错误在Visual C++ 2015 Update 2中被列为已修复