我们可以使用lambda表达式作为函数参数的默认值吗?

Can we use a lambda-expression as the default value for a function argument?

本文关键字:参数 默认值 函数 可以使 lambda 表达式 我们      更新时间:2023-10-16

参照c++ 11规范(5.1.2.13):

出现在默认参数中的lambda表达式不得隐式或显式捕获任何实体。
(例子:

void f2() {
    int i = 1;
    void g1(int = ([i]{ return i; })()); // ill-formed
    void g2(int = ([i]{ return 0; })()); // ill-formed
    void g3(int = ([=]{ return i; })()); // ill-formed
    void g4(int = ([=]{ return 0; })()); // OK
    void g5(int = ([]{ return sizeof i; })()); // OK
}

-end example]

但是,我们也可以使用lambda表达式本身作为函数参数的默认值吗?

template<typename functor>
void foo(functor const& f = [](int x){ return x; })
{
}

是。在这方面,lambda表达式与其他表达式(例如,0)没有什么不同。但请注意,默认参数不使用演绎。换句话说,如果你声明

template<typename T>
void foo(T = 0);

foo(0);会调用foo<int>,但foo()是病态的。您需要显式地调用foo<int>()。由于在您的情况下使用lambda表达式,没有人可以调用foo,因为表达式的类型(在默认参数的位置)是唯一的。但是你可以这样做:

// perhaps hide in a detail namespace or some such
auto default_parameter = [](int x) { return x; };
template<
    typename Functor = decltype(default_parameter)
>
void foo(Functor f = default_parameter);