c ++：在构造函数中使用参数包？

Question

#include <iostream>

class A 
{
    public: 

    A(bool b, int i)
        : b_(b) , i_(i) {}

    void print()
    {
        std::cout << b_ << " " << i_ << "\n"; 
    }

    private:

        bool b_;
        int i_;
};

class B 
{
    public: 

    B(double d)
        : d_(d) {}

    void print()
    {
        std::cout << d_ << "\n"; 
    }

    private:

        double d_;
};

template<class T=A, typename ... Args>
void f(int a, Args ... args)
{
    std::cout << a << std::endl;
    T t(args...);
    t.print();
}

int main()
{
    f(1,false,3);
    f<A>(2,true,1);
    f<B>(3,2.0);
}

上面的代码可以编译并正常运行。但是：

// (class A and B declared as above)   

template<class T, typename ... Args>
class F 
{
 public:
  F(int a, Args ... args)
  {
    std::cout << a << std::endl;
    T t(args...);
    t.print();
  }
};

int main()
{
    F<A>(4,true,1);
    F<B>(5,2.0);
}

无法通过消息编译：

main.cpp：在函数‘int main（）’中：main.cpp：64：18：错误：无匹配项调用“ F :: F（int，bool，int）”的函数F（4，true，1）;

Answer 1

使用您当前的代码，对F<A>的实例化使Args模板参数空，这意味着构造函数仅具有a参数，而没有args。

似乎您只希望constructor具有模板参数包，而不是整个类：

template<class T>
class F 
{
 public:
  template<typename ... Args>
  F(int a, Args ... args)
  {
    std::cout << a << std::endl;
    T t(args...);
    t.print();
  }
};

Answer 2

您将类设为模板，而不是构造函数。

但是只有构造函数“知道”模板参数应该是什么，因为这些参数是从constructor参数推导出来的。

That doesn't work。

相反，您可以将constructor设置为模板，而不是类。

Answer 3

根据您的需要，应该是：

template<class T, typename ... Args>
class F 
{
 public:
  F(int a, Args ... args)
  {
    std::cout << a << std::endl;
    T t(args...);
    t.print();
  }
};

int main()
{
    F<A, bool, int>(4,true,1);
    F<B, double>(5,2.0);
}

或

template<class T>
class F 
{
 public:
  template <typename ... Args>
  F(int a, Args ... args)
  {
    std::cout << a << std::endl;
    T t(args...);
    t.print();
  }
};

int main()
{
    F<A>(4,true,1);
    F<B>(5,2.0);
}