c++ - lambda 应该衰减到模板代码中的函数指针吗？

Question

我在某处读到，如果捕获列表为空，lambda 函数应该退化为函数指针。我现在能找到的唯一引用是 n3052 .对于 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 中测试过。