Можем ли мы использовать лямбда-выражение в качестве значения по умолчанию для аргумента функции?

Question

Ссылаясь на спецификацию C ++ 11 (5.1.2.13):

A лямбда-выражение , появляющееся в аргументе по умолчанию, не должно явно или явно захватывать любую сущность.
[ Пример:

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
}

- конец примера ]

Однако мы можем также использовать лямбда-выражениесебя в качестве значения по умолчанию для аргумента функции?

например,

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

Answer 1

Да. В этом отношении лямбда-выражения не отличаются от других выражений (например, 0). Но обратите внимание, что вычет не используется с параметрами по умолчанию. Другими словами, если вы объявите

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

тогда foo(0); назовет foo<int>, но foo() плохо сформирован. Вам нужно было бы позвонить foo<int>() явно. Поскольку в вашем случае вы используете лямбда-выражение, никто не может вызвать 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);