c++ - 基于可变参数模板长度的条件成员函数声明

Question

我想根据类的可变参数模板的长度在我的类中定义一组不同的成员函数。这可能吗？例如，这样的事情可能吗？

template<class T, std::size_t... T2>
class S {
   public:
      #ifdef SIZE_OF_T2_GREATER_THAN_ZERO
         void f1(params1);
      #else
         void f2(params2);
      #endif
};

因此，如果 T2... 的长度大于零，我希望定义函数 f1 而如果 T2... 我想要定义一些函数 f2。这可能吗？

Answer 1

如果根据应用于 T2... 的 sizeof...() 使成员函数模板化

template<std::size_t L = sizeof...(T2)>

您可以使用 std::enable_if 有条件地编译函数，如:

template<class T, std::size_t... T2>
struct my_struct{
    template<std::size_t L = sizeof...(T2)>
    typename std::enable_if<L!=0, void>::type f1()
    {
        std::cout<< "this class has T2...\n";
    }

    template<std::size_t L = sizeof...(T2)>
    typename std::enable_if<L==0, void>::type f2()
    {
        std::cout<< "this class has nooooo T2\n";
    }
};

我在 http://cpp.sh/6jskq 做了一个工作示例