通用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 )生成一个对象,该对象是f1f2的重载。
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的情况下,对它进行评估。

第四,自动元组解包和类似。如果我使用的是延续传递样式,我可以询问传递的延续是否会接受解包的元组,或者将来的非捆绑式等。

10-06 10:37
查看更多