c++ - 为什么从基模板类继承并将两个类文件放在单独的头文件中时会出现重定义错误？

Question

我的基本模板类在 Base.h 中:

#include <iostream>
using  std::cout;
using std::endl;


#ifndef BASE_H
#define BASE_H

template<typename T>
class Base
{
    public:
        Base();
        Base(T a0, T b0);
        void display();
    private:
        T a,b;
        T sum();
};

#endif // BASE_H

template<typename T>
Base<T>::Base():a(0),b(0){}

template<typename T>
Base<T>::Base(T a0, T b0):a(a0),b(b0){}

template<typename T>
T Base<T>::sum()
{
    return a+b;
}

template<typename T>
void Base<T>::display()
{
    cout<<"The sum is: "<<sum()<<endl;
}

我的 Derived.h 文件是:

#ifndef DERIVED_H
#define DERIVED_H

#include <Base.h>

template<typename T>
class Derived : public Base<T>
{
    public:
        Derived(){}
        Derived(T a0, T b0);
        void display1();
};

#endif // DERIVED_H

template<typename T>
Derived<T>::Derived(T a0, T b0):Base<T>(a0,b0) {}

template<T>
void Derived<T>::display1()
{

    this->display();
}

我知道模板类的实现不应该在.cpp文件中，但是为什么当我将单独的头文件放在不同的.h文件中时会出现未定义的错误？

报错如下(with code::blocks):

 ***include\Base.h|24|error: redefinition of 'Base<T>::Base()'|
 include\Base.h|24|error: 'Base<T>::Base()' previously declared here|*** 

Answer 1

两个问题。首先，您的 #include 守卫是错误的。你只是在守护类声明:

#ifndef BASE_H
#define BASE_H

template<typename T>
class Base
{
    ...
};

#endif // BASE_H

... definitions of Base<T> ...

如果 Base.h 被 #included 两次，你只会得到一个类声明(好)但是你会得到所有成员的多个定义功能(坏)。

#include 守卫应该守卫整个 文件。将 #ifndef 移动到第一行，将 #endif 移动到最后一行。

第二个问题，如果你在头文件中提供你的成员函数定义但在类声明之外，你必须将函数标记为inline(这可以在声明或定义中完成，但我个人更喜欢声明)。即:

template <typename T>
class Base {
   ...
   inline Base();
   inline void display();
   inline T sum();
};

// definitions...