模版参数的声明与使用

╰+攻爆jí腚メ 2022-04-18 00:13 192阅读 0赞

### 模版参数声明与使用 ###

*   *  整数型模版参数与使用
     *  模版的实例话、特定类型重定义
     *  函数指针模版参数

## 整数型模版参数与使用 ##

#include <iostream>
    using namespace std;
    
    template <typename T, unsigned size>
    class array2{
    //    static const unsigned size =10;
        T elems[size];
    
    public:
        T&operator[](unsigned i)throw (std::out_of_range){
    
            //访问元素是否越界
            if(i>= size){
                throw out_of_range("Access out of range");
            }else
            {
                return elems[i];
            }
        }
        array2(){
            for(unsigned i=0;i<size;i++){
                elems[i]=i;
            }
        }
    };
    
    int main() {
        using namespace func;
        const int a=6;
        //const int b=func<int>(a);
        //cout<<b<<endl;
    //    tuple<int,int>a1=(1,1);
        array2<int,10> K;
        cout<<K[1]<<endl;
    
        static const unsigned size ='a';
        cout<<size<<endl;
        std::cout << "Hello, World!" << std::endl;
        return 0;
    }

## 模版的实例话、特定类型重定义 ##

#include <iostream>
    #include <map>
    
    // #include "types.h"
    
    namespace teaflow { 
    template<typename A, typename B>
    class DF { 
     public:
      A a;
      void Print() { 
        std::cout << "this is origin DF" << std::endl;
      }
    };
    
    // 模版类默认值，默认值按照顺序排列，后面顺序的默认值需要先完善
    template<typename A, typename B=int>
    class DF;
    
    // 实例化，如果模版类和模版类的成员函数在不同的链接位置，
    // 需要在.cc 里面进行特定类型实例话
    template class DF<char ,int>;
    
    
    // 重定义特定类型类
    template<>
    class DF<int, int> { 
     public:
      int a;
      void Print() { 
        std::cout << "this is Special DF" << std::endl;
      }
    };
    }
    
    int main() { 
      teaflow::DF<int ,int> df;
      df.Print();
      teaflow::DF<int> df1;
      df1.Print();
      return 0;
    }

输出：  
this is Special DF  
this is Special DF

## 函数指针模版参数 ##

#include <iostream>
    #include "func.h"
    
    using namespace std;
    
    template <typename T ,void(*f)(T&v)>
    void foreach2(T array[], unsigned size){
        for(unsigned i=0;i<size;++i){
            f(array[i]);
        }
    }
    
    template <typename T>
    void inc(T&v){
        ++v;
    }
    int main() {
    
        int array[]={1,2,3};
        foreach2<int,inc<int>>(array,3);
        cout<<array[0]<<endl;
        return 0;
    }