是否可以使用默认泛型参数在C++中定义 lambda?

Is it possible to define a lambda in C++ with default generic argument?

本文关键字：C++ 定义 lambda 参数 可以使 默认 泛型 是否      更新时间：2023-10-16

是否可以使用默认泛型参数在C++中定义lambda？

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

您可以使用包装器执行此操作：

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是可变的，那将是一个问题。

相关文章：