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

Question

引用C++11规范(5.1.2.13):

A lambda-expression appearing in a default argument shall not implicitly or explicitly capture any entity.
[ Example:

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; })
{
}

Answer 1

是的。在这方面，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);