C++成员模板作为构造函数(Boolan)

成员模板就是模板类内嵌套不同参数的模板函数,形如:

templete<typename T>
class A {
  templete<typename U>
  void b(U u) {...}
}

之前我看视频说成员模板常常用来作为构造函数,让模板类型为子类的可以拷贝构造到模板类型为父类的。
像这样:

template<typename T>
class Deal
{
    public:
        templete<typename U>
        Deal(const U &u) {};
    private:
        T t;
};

// 父类
class Base1 {};
// 子类
class Derived1: public Base1 {};

当时我就有疑问,构造直接传递子类不行吗?反正会被自动转成父类类型。

template<typename T>
class Deal
{
    public:
        Deal(const T &t) {};

    private:
        T t;
};

等到测试时,参数直接传递,像下面这样

Deal<Derived1> d1;
Deal<Base1> b1(d1);

运行后发现报错。
no matching function for call to 'Deal<Base1>::Deal(Deal<Derived1>&)'

然后才反应过来,实际上模板类的参数类型的继承不能传递给模板类本身,所以子类模板和父类模板实际不是一种类,不能这样写Deal类的拷贝构造函数,要按成员模板那种写法才可以。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容