SFINAE以及自动推断的返回类型和可变模板

Question

在本主题中，我们将学习如何将SFINAE与自动/自推断返回类型结合使用：如何将std:：enable_if与自推断返回类型结合使用？

但是，当我同时使用可变参数模板时，我似乎无法应用任何技术。这是我的签名：

template<typename Scalar, class ClassDispatcher, typename... Args>
auto dispatch(Args&&... args) {}

我想专门研究使用SFINAE的标量模板。但是由于标量参数没有出现在参数列表中，我发现在任何地方都很难使用enable_。由于参数包，我不能向参数列表或模板参数列表添加伪参数。最后一个地方是返回类型，但如前所述，我想保持它为自动。有什么想法吗？

Answer 1

（老问题，但为那些找到这个的人回答。）

在模板参数列表末尾添加带有基于std::enable_if的默认参数的类型模板参数，并通过使用依赖于Args的逗号表达式使默认参数依赖于推导的Args，即使您不关心Args，然后在Scalar上添加任何您想要的测试：

#include <type_traits>

template<typename Scalar, class ClassDispatcher, typename... Args,
         typename = typename std::enable_if<(sizeof...(Args), std::is_same<Scalar, float>::value)>::type>
auto dispatch(Args&&... args) {}

关键是要使SFINAE工作，默认模板参数必须依赖于推导的模板参数，即使仅在其结果不受实际推导的模板参数影响的逗号表达式中。