如何使用lambda作为模板参数,在C中使用默认值?

前端之家收集整理的这篇文章主要介绍了如何使用lambda作为模板参数,在C中使用默认值?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
参见英文答案 > Can we use a lambda-expression as the default value for a function argument?1个
我想做一件简单的事:
void DoUntil(auto predicate = [] { return false; });

显然这不起作用 – 我必须使用模板参数:

template <typename P>
void DoUntil(P predicate = [] { return false; });

但是这个陈述也不起作用 – Clang给出了一个错误

error: no matching function for call to …
note: candidate template ignored: couldn’t infer template argument ‘P’

如果我没有参数调用函数,编译器无法从默认参数中推断出类型:

int main() { DoUntil(); }

我不想使用std :: function<>以任何方式.

我的问题还有其他可能的解决方案吗?

解决方法

使用函数重载而不是默认参数功能.创建一个非模板函数,除模板函数外不带任何参数:
void DoUntil() ;

template <typename P>
void DoUntil(P predicate) ;

无参数版本可以简单地使用您要用作默认谓词的lambda来调用模板版本:

void DoUntil() { DoUntil([] { return false; }); }

原始方法的问题在于,您尝试通过指定默认参数值来提供默认模板特化,但不指定默认模板类型.即使不涉及lambdas,以下也不会起作用,因为T没有默认类型,即使t具有默认值:

template <typename T>
void Foo(T t = 3);

需要的是使用< typename T = int>指定T的默认类型.

如WhiZTiM的回答所述,涉及lambda函数的案例的默认类型必须使用decltype推导出来.这当然是因为lambdas具有只有编译器才知道的唯一类型.

猜你在找的C&C++相关文章