将 SFINAE 与通用 lambda 结合使用

泛型 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()s.

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 and 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。在工业质量库中，我可能会将继承设为二进制而不是线性（以限制模板的实例化深度和继承树的深度）。

顺便说一句，据我所知，SFINAE 启用 lambda 有 4 个原因。

首先，以新std::function，您可以在多个不同的回调签名上重载一个函数。

第二，上面的伎俩。

第三，柯里化函数对象，当它具有正确数量和类型的参数时，它会进行求值。

第四，自动元组拆包等。如果我使用延续传递风格，我可以询问传入的延续是否接受解包的元组，或者未来解绑的元组等。