Question

让N成为std::size_t类型的模板参数。我希望能够以两种方式为我的类调用构造函数：

A a(x1, x2, x3, ..., xN)

和

A a(x1, x2, x3, ..., xN, xN1)

其中xi变量的类型都相同。我的第一个想法是：

template <std::size_t N>
struct A
{
     template <typename ...Args, typename = typename std::enable_if<N == sizeof...(Args), void>::type>
     A(Args ...args) {
         f(args...); // where f is some function
     }

     template <typename ...Args, typename = typename std::enable_if<N+1 == sizeof...(Args), void>::type>
     A(Args ...args) {
         // run f on the first N arguments
         // run g on the last argument (selection is done using templates, I just did not want to write the code)
     }
};

此技术在Variadic templates with exactly n parameters解释。当然，问题在于你不能以这种方式重载构造函数。

有什么想法吗？

Answer 1

不同的SFINAE：

template <std::size_t N>
struct A
{
     template <typename ...Args, 
               typename std::enable_if<N == sizeof...(Args), int>::type = 0>
     A(Args ...args) {
     }

     template <typename ...Args, 
               typename std::enable_if<N+1 == sizeof...(Args), int>::type = 0>
     A(Args ...args) {
     }
};

Demo

变量参数（包大小为N）和默认参数

1 个答案: