模版template

模版的基础使用

模版的作用：告诉编译器一个模子，让编译器根据不同的类型利用该模子来生成代码呢

使用方法如下例：

类模版：

template <class T1,class T2>
class Data{
    public:
        void print(){
            std::cout<<"Data class T1,class T2"<<std::endl;
        }
        private:
    T1 t1;
    T2 t2;
};
void test2()
{
    Data<int ,double> a;
}

不妨调用test2函数就去查看Data这个类，就发现已经把a这个对象里面的成员实例化成。

int t1，double t2

函数模版

template<class T1>
T1 fuc(T1 a,T1 b)
{
    return a+b;
}
void test2()
{
    //func(1,2.0);
    func(1,2);
    func(1.0,2.0);
}

跑上面段代码发现只第一段（被注释的那里是会编译器报错的，原因是编译器不知道你要实例化成什么样子）
解决方案
直接指定类型就可以了。

func<double>(1,2.0);

非类型模版参数

//非类（class)模版参数，只支持整形，且传参只允许给常量
//由于这个特点，非类型模版参数，在编译阶段就能确定。
template <size_t N>
class myArray{
    private:
        int arr[N];
};
void test1()
{
    int b =10;
    myArray<10> a;
    //myArray<int ,b>ab;  就会报错的案例
}

模版的特化

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理

下面三种情况，给出了大多数的模版特化的例子，其中模版特化一般遵循一个原则，最合适原则。

// 模版的特化
//特化例子如下
template <class T1,class T2>
class Data{
    public:
        void print(){
            std::cout<<"Data class T1,class T2"<<std::endl;
        }
        private:
    T1 t1;
    T2 t2;
};

//全特化
template <>
class Data<int ,double>{
    public:
    Data()
    {
        print();
    }
        void print(){
            std::cout<<"Data class Data int ,double"<<std::endl;
        }
};

// 偏特化
template <class T1>
class Data<T1,double>{
    public:
        Data()
        {
            print();
        }
        void print(){
            std::cout<<"Data class Data T1 ,double"<<std::endl;
        }
};


//偏特化（区别于直接用原始类型，而是用自定义相关的类）
template <class T1,class T2>
class Data< T1*, T2*>{
    public:
        Data()
        {
            print();
        }
        void print(){
            std::cout<<"Data class Data T1*,class T2*"<<std::endl;
        }
    private:
    T1 t1;
    T2 t2;
};

void test2()
{
    Data<int ,double> a;
    Data<double ,double> b;
    Data<double*,double*> c;

    //根据最匹配原则结果应该如下。
    //Data class Data int ,double
    // Data class Data T1 ,double
    // Data class Data T1*,class T2*
}

模版的分离编译

这种例子就会报错，原因就模版定义声明分离了，C++里面编译适合C语言类似的，每个源文件单独分离编译，只有头文件会包含进去。
那么编译的时候，头文件里面就只是个模版，并没有给你搞成代码写进编译后的文件，导致add就找不到函数地址。

模版类也基本是同样的道理