Можно ли определить лямбда в C ++ с общим аргументом по умолчанию? - PullRequest
Новая
       39

Можно ли определить лямбда в C ++ с общим аргументом по умолчанию?

0 голосов
/ 08 июня 2018

Можно ли определить лямбду в C ++ с помощью стандартного аргумента по умолчанию? 

int main(){
    auto lambda = [](auto i = 0){return i;};
    std::cout<<lambda()<<"\n"; // this does not compile
    std::cout<<lambda(4)<<"\n"; // this does compile
    auto lambda2 = [](int i = 0){return i;};
    std::cout<<lambda2()<<"\n"; // this is also OK
}

Интересно, возможно ли воспроизвести что-то подобное этому функтору, и почему бы не 

struct Lambda{
    template<typename T=int>
    auto operator()(T i=1){ return i;}
};

1 Ответ

0 голосов
/ 08 июня 2018

Вы можете сделать это с помощью оболочки: 

template<class F, class DefaultArg>
struct DefaultArgWrapper
{
    F f;
    DefaultArg default_arg;

    template<class... Args>
    decltype(auto) operator()(Args&&... args) {
        return f(std::forward<Args>(args)...);
    }

    decltype(auto) operator()() {
        return f(default_arg);
    }
};

template<class F, class DefaultArg>
DefaultArgWrapper<F, DefaultArg> with_default_arg(F&& f, DefaultArg arg) {
    return {std::move(f), std::move(arg)};
}

int main(){
    auto lambda = with_default_arg([](auto i){return i;}, 0);
    std::cout<<lambda()<<"\n"; 
    std::cout<<lambda(4)<<"\n";
}

Альтернативное решение C ++ 17: 

template<class... F>
struct ComposeF : F... {
    template<class... F2>
    ComposeF(F2&&... fs)
        : F(std::forward<F2>(fs))...
    {}
    using F::operator()...;
};

template<class... F>
ComposeF<std::decay_t<F>...> composef(F&&... fs) {
    return {std::forward<F>(fs)...};
}

int main() {
    auto lambda = [](auto i) { return i; };
    auto f = composef(lambda, [&lambda](int i = 0) { return lambda(i); });
    std::cout << f() << '\n';
    std::cout << f(1) << '\n';
}

Немного неоптимально, так как естьзадействованы две копии lambda: одна копия в ComposeF, другая - оригинал lambda в стеке.Если lambda изменчив, это будет проблемой.

...