C/C++编程：派生和类模板

偏执的太偏执、 2023-01-14 07:00 171阅读 0赞

类模板可以继承也可以被继承。一般模板和非目标的继承没有什么区别。然而，要从**依赖型名称所引用的基类**派生一个类模版的情况下，这两者之间有一个重要的区别。让我们来看个例子

# 非依赖型基类 #

在一个类模板中，一个非依赖型基类是指：**无需知道模板实参就可以完全确定类型的基类**。也就是说，基类名称是用非依赖型名称来表示的。

template<typename X>
    class Base{
        
    public:
        int basefield;
        typedef int  T;
    };
    
    class D1 : public Base<Base<void>>{
          // 实际上不是模板
    public:
        void f(){
         basefield = 3;}
    };
    
    template<typename T>
    class D2 : public Base<double>{
          // 非依赖型基类
    public:
        void f(){
         basefield = 7;}  //  正常访问继承成员。 
        T strange;                     //T 是Base<double>::T, 而不是模板参数
    };

模板中的非依赖型基类和普通非模板类中的基类的区别在于：**对于模板中的非依赖型基类而言，如果在它的派生类中查找一个非受限名称，那么就会先查找这个非依赖型基类，然后才查找模板参数列表**。也就是说，下面是错的：

void g(D2<int *> & d2, int *p){
        
        d2.strange = p;  // 错误，类型不匹配
    }

# 依赖型基类 #

C++标准规定：

*  对于模板中的非依赖型名称，将会在看到的第一时间查找
 *  非依赖型名称不会在依赖型基类中进行查找

template<typename X>
    class Base{
        
    public:
        int basefield;
        typedef int  T;
    };
    
    template<typename T>
    class DD : public Base<T>{
        
    public:
        void f() {
         basefield = 0};  //error
    };

修改方案：

*  方案1：让basefield也成为依赖型名称（推荐）。 依赖型名称只有在实例化是才会进行查找，而且实例化时，基类的特化是已知的

template<typename X>
    class Base{
        
    public:
        int basefield;
        typedef int  T;
    };
    
    template<typename T>
    class DD : public Base<T>{
        
    public:
        void f() {
         this->basefield = 0; };  //依赖型名称，查找被延迟了
    };

*  方案2：利用受限名称来引入依赖性。

template<typename T>
    class DD : public Base<T>{
        
    public:
        void f() {
         Base<T>::basefield = 0; };  //(1)非依赖型名称
    };

但是方案2有一个缺点：**如果原来的非受限的非依赖型名称是被用于虚函数调用的话，那么这种引入依赖性的限定将会禁止虚函数调用，从而也会改变程序的含义**。因此，但方案2不合适时请用方案1

template<typename X>
    class B{
        
    public:
        enum E{
        e1 = 6, e2 = 28, e3 = 496};
        virtual void zero(E e = e1);
        virtual void one(E&);
    };
    
    template<typename T>
    class D : public B<T>{
        
    public:
        void f(){
        
            typename D<T>::E e;  // this->E会是一个无效的调用
            this->zero();   //D<T>::zero()会禁止虚函数调用
            one(e);             //one是一个依赖性名称，因为它的实参是依赖型的
        }
    };

建议：**允许使用this->前缀的地方都使用this->**

*  方案3： 不断重复的限定也能会使得代码不好看，这时可以在派生类中引入依赖性基类

template<typename T>
    class D : public Base<T>{
        
    public:
        using  Base<T>::basefield;
        void f(){
         basefield = 0;}
    };