通用lambda可以利用“替代失败不是错误”规则吗?例子
auto gL =
[](auto&& func, auto&& param1, auto&&... params)
-> enable_if_t< is_integral<
std::decay_t<decltype(param1)>
>::value>
{
// ...
};
auto gL =
[](auto&& func, auto&& param1, auto&&... params)
-> enable_if_t< !is_integral<
std::decay_t<decltype(param1)>
>::value>
{
// ...
};
是否有任何变通办法或计划将其包含在语言中?而且由于通用的lambda是引擎盖下的模板化函数对象,难道这不能做到吗?
最佳答案
Lambda是引擎盖下的功能对象。通用lambda是具有模板operator()
的函数对象。
template<class...Fs>
struct funcs_t{};
template<class F0, class...Fs>
struct funcs_t<F0, Fs...>: F0, funcs_t<Fs...> {
funcs_t(F0 f0, Fs... fs):
F0(std::move(f0)),
funcs_t<Fs...>(std::move(fs)...)
{}
using F0::operator();
using funcs_t<Fs...>::operator();
};
template<class F>
struct funcs_t<F>:F {
funcs_t(F f):F(std::move(f)){};
using F::operator();
};
template<class...Fs>
funcs_t< std::decay_t<Fs>... > funcs(Fs&&...fs) {
return {std::forward<Fs>(fs)...};
}
auto f_all = funcs( f1, f2 )
生成一个对象,该对象是f1
和f2
的重载。auto g_integral =
[](auto&& func, auto&& param1, auto&&... params)
-> std::enable_if_t< std::is_integral<
std::decay_t<decltype(param1)>
>{}>
{
// ...
};
auto g_not_integral =
[](auto&& func, auto&& param1, auto&&... params)
-> std::enable_if_t< !std::is_integral<
std::decay_t<decltype(param1)>
>{}>
{
// ...
};
auto gL = funcs( g_not_integral, g_integral );
并调用
gL
将对两个lambda执行SFINAE友好的重载解析。上面在
funcs_t
的线性继承中做了一些可以避免的虚假 Action 。在工业质量库中,我可以使继承为二进制而不是线性的(以限制模板的实例化深度和继承树的深度)。顺便说一句,我知道SFINAE启用lambda的原因有4个。
首先,使用新的
std::function
,您可以在多个不同的回调签名上重载函数。第二,以上技巧。
第三,在一个函数对象具有正确数量和类型的args的情况下,对它进行评估。
第四,自动元组解包和类似。如果我使用的是延续传递样式,我可以询问传递的延续是否会接受解包的元组,或者将来的非捆绑式等。