相关疑难解决方法(0)

我在某处读到,如果捕获列表为空,则lambda函数应衰减为函数指针.我现在唯一能找到的参考是n3052.使用g ++(4.5和4.6)它可以按预期工作,除非lambda在模板代码中声明.

例如,以下代码编译:

void foo() {
    void (*f)(void) = []{};
}

但它在模板化时不再编译(如果foo在其他地方实际调用):

template<class T>
void foo() {
    void (*f)(void) = []{};
}

在上面的参考中,我没有看到这种行为的解释.这是g ++的临时限制,如果没有,是否有(技术)理由不允许这样做？