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: In function ‘int main()’: main.cpp:64:18: error: no matching function for call to ‘F::F(int, bool, int)’ F(4,true,1);

Answer 1

使用您当前的代码，F<A> 的实例化使 Args 模板参数为空，这意味着构造函数只有 a 参数，而不是 args.

看来你只希望构造函数有一个模板参数包，而不是整个class:

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

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

但只有构造函数 "knows" 模板参数应该是什么，因为它们是从 构造函数 参数推导出来的。

That doesn't work.

相反，您可以将 构造函数 设为模板，而不是 class。

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

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

c++ : using parameter pack in constructors?

c++

arguments

variadic

parameter-pack