带有 SFINAE 的可变参数模板

Question

template<class T> struct is_vector : public std::false_type {};

template<class T, class Alloc>
struct is_vector<std::vector<T, Alloc>> : public std::true_type {};

template<typename T>
template<typename... Ys, typename = typename std::enable_if<is_vector<std::decay_t<Ys...>>::value>::type>
void A<T>::function(Ys &&... y){}

对于一个向量工作正常（没有可变参数模板的版本），但如果我尝试为可变参数模板做......它不起作用，我怎样才能为可变参数模板做好 SFINAE。有人可以解释一下为什么这不适用于可变参数模板以及我必须改进的地方。

Answer 1

您无法检查未展开的包是否为向量。您必须检查包中的每个元素。您使用std::decay_t 表示您使用的是C++17，所以我假设您可以使用折叠表达式。

#include <iostream>
#include <type_traits>
#include <vector>

template<class T> struct is_vector : public std::false_type {};

template<class T, class Alloc>
struct is_vector<std::vector<T, Alloc>> : public std::true_type {};

template<typename... Ys, typename = typename std::enable_if< (... && is_vector< std::decay_t<Ys> >::value) >::type >
void function(Ys&&...) { std::cout << __PRETTY_FUNCTION__ << '\n'; }

struct A {};

int main()
{
  std::vector<int> vi;
  std::vector<double> vd;
  std::vector<A> va;
  function(vi, vd, va);
}

在 C++17 之前，您需要一个小助手结构，我称之为 all。

#include <iostream>
#include <type_traits>
#include <vector>

template < bool... > struct all;
template < > struct all<> : std::true_type {};
template < bool B, bool... Rest > struct all<B,Rest...>
{
  constexpr static bool value = B && all<Rest...>::value;
};

template<class T> struct is_vector : public std::false_type {};

template<class T, class Alloc>
struct is_vector<std::vector<T, Alloc>> : public std::true_type {};

template<typename... Ys, typename = typename std::enable_if< all< is_vector< std::decay_t<Ys> >::value... >::value >::type >
void function(Ys&&...) { std::cout << __PRETTY_FUNCTION__ << '\n'; }

struct A {};

int main()
{
  std::vector<int> vi;
  std::vector<double> vd;
  std::vector<A> va;
  function(vi, vd, va);
}