c – 函数模板中的lambda闭包类型和默认参数

根据[expr.prim.lambda],以下代码似乎没问题:

#include<functional>

typedef int(*func1)(int);
typedef std::function<int(int)> func2;

int function(int)
{
    return 0;
}

template<typename F = func1>
int function1(F f = function)
{
    return 0;
}

template<typename F = func2>
int function2(F f = function)
{
    return 0;
}

template<typename F = func1>
int function3(F f = [](int i){return 0;})
{
    return 0;
}

template<typename F = func2>
int function4(F f = [](int i){return 0;})
{
    return 0;
}

但是,gcc(4.8.1)抱怨function3和function4并显示错误

default argument for template parameter for class enclosing
‘__lambda’

有人可以解释这个错误吗?

最佳答案 我可以建议一个解决方法吗?

删除function3(和function4)的默认模板参数:

template<typename F>
int function3(F f = [](int i){return 0;})
{
    return 0;
}

你可以这样称呼它:

function3<func1>();

但我猜你想能够像这样打电话:

function3();

不是吗?然后,创建function3的另一个重载,它是一个函数而不是模板函数:

int function3(func1 f = [](int i){return 0;})
{
    return function3<func1>(f);
}
点赞