0 
#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） ;

4

3 回答 3

3

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

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

template<class T>
class F 
{
 public:
  template<typename ... Args>
  F(int a, Args ... args)
  {
    std::cout << a << std::endl;
    T t(args...);
    t.print();
  }
};
于 2020-02-13T13:28:52.223 回答
1

您使类成为模板，而不是构造函数。

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

那行不通。

相反，您可以使构造函数成为模板，而不是类。

于 2020-02-13T13:29:13.543 回答
1

根据您的需要，它应该是：

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);
}
于 2020-02-13T13:29:57.127 回答