lambda 应该在模板化代码中衰减为函数指针吗？

Question

我在某处读到，如果捕获列表为空，则 lambda 函数应衰减为函数指针。我现在能找到的唯一参考是 n3052< /a>.对于 g++（4.5 和 4.6），它可以按预期工作，除非 lambda 是在模板代码中声明的。

例如，以下代码可以编译：

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

但在模板化时它不再编译（如果实际上在其他地方调用了 foo）：

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

在上面的参考中，我没有看到对此行为的解释。这是 g++ 的临时限制吗？如果不是，是否有（技术）原因不允许这样做？

Answer 1

我想不出有什么理由明确禁止这样做。我猜这只是 g++ 的临时限制。

我还尝试了其他一些方法：

template <class T>
void foo(void (*f)(void)) {}

foo<int>([]{});

这有效。

typedef void (*fun)(void);

template <class T>
fun foo() { return []{}; } // error: Cannot convert.

foo<int>()();

事实并非如此（但如果 foo 未参数化，则会发生）。

注意：我只在 g++ 4.5 中进行了测试。