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);
}

与SFINAE的变异模板

1 个答案: