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

Question

参考C++ 11规范(5.1.2.13):

一个拉姆达表达式出现在默认参数不应隐含或明确地捕捉到任何实体.
[ 例如:

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
}

- 末端的例子 ]

但是,我们还可以使用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);