带有 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，因此我假设您可以使用 fold 表达式。

#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 的可变参数模板

Variadic template with SFINAE

c++

sfinae

variadic-templates