C++模板类使用问题

有以下模板类的声明和实现：

声明部分:

// MiniVector.h: interface for the MiniVector class. // // #if !defined(AFX_MINIVECTOR_H__23822B17_CCD3_4FE4_BB87_3461E1E3C311__INCLUDED_) #define AFX_MINIVECTOR_H__23822B17_CCD3_4FE4_BB87_3461E1E3C311__INCLUDED_ #if _MSC_VER > 1000 #pragma once #endif // _MSC_VER > 1000 template<class T> class MiniVector { public: /************************************************************************/ /* 构造函数 */ /* 后置条件:使用元素数目和容量分配数组。所有元素被初始化为T() */ /************************************************************************/ MiniVector(int size=0); /************************************************************************/ /* 复制构造函数 */ /* 后置条件:以当前vec为副本生成当前向量 */ /************************************************************************/ MiniVector(const MiniVector<T> &vec); /************************************************************************/ /* 赋值运算符 */ /* 后置条件:当前向量与vec有相同的数据 */ /************************************************************************/ MiniVector& operator=(const MiniVector<T> &vec); /************************************************************************/ /* 返回向量尾部的元素 */ /* 前置条件:向量非空 */ /************************************************************************/ T& back(); /************************************************************************/ /* 返回当前向量尾部的元素 */ /* 常量版本,MiniVector是常量时使用 /************************************************************************/ const T& back() const; /************************************************************************/ /* 使用下标提供对元素的常见访问 */ /* 前置条件:0<=i<vSize */ /************************************************************************/ T& operator[](int i); /************************************************************************/ /* 使用下标提供对元素的常见访问 */ /* 前置条件:0<=i<vSize,MiniVector是常量 */ /************************************************************************/ const T& operator[](int i) const; /************************************************************************/ /* 在向量尾部插入元素 */ /* 后置条件:向量大小增加1 */ /************************************************************************/ void push_back(const T& item); /************************************************************************/ /* 删除向量尾部元素 */ /************************************************************************/ T& pop_back(); /************************************************************************/ /* 返回当前表的大小 */ /************************************************************************/ int size() const; /************************************************************************/ /* 如果向量为空则返回true */ /************************************************************************/ bool empty() const; /************************************************************************/ /* 返回当前向量的容量 */ /************************************************************************/ int capacity() const; virtual ~MiniVector(); private: int vCapacity;//可用空间大小 int vSize;//表中元素的个数 T * vArr;//动态数组 /************************************************************************/ /* 仅当n>vCapacity时被公有函数调用,扩展向量的容量到n个元素,如果copy== */ /* true,则将现有元素复制到新空间,删除旧的动态数组。*/ /************************************************************************/ void reserve(int n,bool copy); }; #endif // !defined(AFX_MINIVECTOR_H__23822B17_CCD3_4FE4_BB87_3461E1E3C311__INCLUDED_)

 

实现部分:

// MiniVector.cpp: implementation of the MiniVector class. // // #include "stdafx.h" #include "MiniVector.h" /************************************************************************/ /* 重新分配n个向量空间 */ /************************************************************************/ template<class T> void MiniVector<T>::reserve(int n,bool copy) { T* pNewArr = new T[n]; if (pNewArr==NULL)//如果分配失败则抛出异常 { throw "memory allocation failure"; } if (copy)//如果拷贝则拷贝向量里的每个元素 { for (int i=0; i<vSize; i++) { pNewArr[i] = vArr[i]; } } if (vArr != NULL)//如果数组不等于空则释放空间 { delete [] vArr; } vCapacity = n;//修改容量为新的容量 vArr = pNewArr; } /************************************************************************/ /* 构造方法 */ /************************************************************************/ template <class T> MiniVector<T>::MiniVector(int size/* =0 */) :vSize(size),vCapacity(size),vArr(NULL) { if (size<=0) { return; } reserve(size,false); } template <class T> MiniVector<T>::~MiniVector() { if (vArr!=NULL) { delete [] vArr; vCapacity=0; vSize=0; } } /************************************************************************/ /* 等号操作符重载 */ /************************************************************************/ template <class T> MiniVector<T> & MiniVector<T>::operator =(const MiniVector<T> &vec) { if (vCapacity<vec.vSize)//如果当前容量小于参数向量大小则重新分配内存 { reserve(vec.vSize,false);//重新分配内存 } vSize = vec.vSize;//指定当前向量的大小为参数向量大小 //数据复制 for (int i=0; i<vec.vSize; i++)//将参数向量内容复制到当前向量内容 { vArr[i] = vec.vArr[i]; } return *this;//返回当前向量 } /************************************************************************/ /* 返回向量尾部的元素 */ /* 前置条件:向量非空 */ /************************************************************************/ template <class T> T& MiniVector<T>::back() { if (vSize>0) { return vArr[vSize-1]; } return NULL; } /************************************************************************/ /* 返回当前向量尾部的元素 */ /* 常量版本,MiniVector是常量时使用 /************************************************************************/ template <class T> const T& MiniVector<T>::back() const { if (vSize>0) { return vArr[vSize-1]; } return NULL; } /************************************************************************/ /* 使用下标提供对元素的常见访问 */ /* 前置条件:0<=i<vSize */ /************************************************************************/ template <class T> T& MiniVector<T>::operator[](int i) { if (vSize>0 && i >=0 && i<vSize) { return vArr[i]; } return NULL; } /************************************************************************/ /* 使用下标提供对元素的常见访问 */ /* 前置条件:0<=i<vSize,MiniVector是常量 */ /************************************************************************/ template <class T> const T& MiniVector<T>::operator[](int i) const { if (vSize>0 && i >=0 && i<vSize) { return vArr[i]; } return NULL; } /************************************************************************/ /* 在向量尾部插入元素 */ /* 后置条件:向量大小增加1 */ /************************************************************************/ template<class T> void push_back(const T& item) { if (vSize==vCapacity) { reserve(vSize+1,true); } vArr[vSize] = item; vSize++; } /************************************************************************/ /* 删除向量尾部元素 */ /************************************************************************/ template<class T> T& MiniVector<T>::pop_back() { if (vSize>0) { vSize--; return vArr[vSize]; } return NULL; } /************************************************************************/ /* 返回当前表的大小 */ /************************************************************************/ template<class T> int MiniVector<T>::size() const { return vSize; } /************************************************************************/ /* 如果向量为空则返回true */ /************************************************************************/ template<class T> bool MiniVector<T>::empty() const { return vSize==0; } /************************************************************************/ /* 返回当前向量的容量 */ /************************************************************************/ template<class T> int MiniVector<T>::capacity() const { return vCapacity; }

 

习惯错误使用方法:

#include "MiniVector.h" int main() { MiniVector<int> vec; return 0; }

以上代码编译通过，但是连接出现以下错误:

--------------------Configuration: DataSourceConsole - Win32 Debug--------------------
Linking...
Test.obj : error LNK2001: unresolved external symbol "public: virtual __thiscall MiniVector<int>::~MiniVector<int>(void)" (??1?$MiniVector@H@@UAE@XZ)
Test.obj : error LNK2001: unresolved external symbol "public: __thiscall MiniVector<int>::MiniVector<int>(int)" (??0?$MiniVector@H@@QAE@H@Z)
Debug/DataSourceConsole.exe : fatal error LNK1120: 2 unresolved externals
Error executing link.exe.
Creating browse info file...

DataSourceConsole.exe - 3 error(s), 0 warning(s)

正确使用方法:

#include "MiniVector.cpp" int main() { MiniVector<int> vec; return 0; }

 

------------------------------------------以下内容转自别人博客------------------------------------------------------

 

小结:

 

1.在使用以.h,.cpp分离实现模板类时,不能像使用普通类一样只简单的包涵.h头文件,应该在使用模板类的cpp文件中引入模板类相应的cpp文件  
2.将模板类的声明与实现都放在.h中(在多个cpp中使用不同模板参数时可能会引起重复定义的编译错误) 
1.在使用以.h,.cpp分离实现模板类时,不能像使用普通类一样只简单的包涵.h头文件,应该在使用模板类的cpp文件中引入模板类相应的cpp文件
2.将模板类的声明与实现都放在.h中(在多个cpp中使用不同模板参数时可能会引起重复定义的编译错误)

 

模板类的定义和实现必须放在同一文件，  
 
《c++编程思想》中说：模板类定义很特殊，由template<...>定义的任何东西都意味着编译器在当时不为它分配内存空间，它一直处于等待状态，直到被一个模板实例告知，即模板参数是由编译器来替换的。     
        为了容易使用，几乎总是在头文件中放置全部的模板声明和定义。有时，也可能为了满足特殊需要而要在独立的cpp中放置模板的实现。但大部分现在的编译器还不支持模板类的定义和实现分开 
模板类的定义和实现必须放在同一文件，

《c++编程思想》中说：模板类定义很特殊，由template<...>定义的任何东西都意味着编译器在当时不为它分配内存空间，它一直处于等待状态，直到被一个模板实例告知，即模板参数是由编译器来替换的。  
        为了容易使用，几乎总是在头文件中放置全部的模板声明和定义。有时，也可能为了满足特殊需要而要在独立的cpp中放置模板的实现。但大部分现在的编译器还不支持模板类的定义和实现分开

应该为：类模板的声明和实现一定要放在一起。所谓的放在一起是指在同一文件中，或通过#include包含后，在同一文件中。   
 
原因是模板的实例化，必须满足两个条件：   
1。必须知道定义   
2。必须知道类型参数   
 
如果定义和声明不在同一文件中，则当使用时，因为没有定义会产生一个指向定义的引用，而在分析定义时，因为不知道类型参数，所以无法实例化。会产生链接错误。 
应该为：类模板的声明和实现一定要放在一起。所谓的放在一起是指在同一文件中，或通过#include包含后，在同一文件中。

原因是模板的实例化，必须满足两个条件：
1。必须知道定义
2。必须知道类型参数

如果定义和声明不在同一文件中，则当使用时，因为没有定义会产生一个指向定义的引用，而在分析定义时，因为不知道类型参数，所以无法实例化。会产生链接错误。

模板是编译期的技术，编译完成后模板类必须确定它的模板参数类型，当把Test类的实现部分放在一个独立的.cpp文件中，在编译完成后跟连接之前，Test类的模板参数仍然没有确定，所以报错！汗，这一点让我对模板多少有点失望！ 
模板是编译期的技术，编译完成后模板类必须确定它的模板参数类型，当把Test类的实现部分放在一个独立的.cpp文件中，在编译完成后跟连接之前，Test类的模板参数仍然没有确定，所以报错！汗，这一点让我对模板多少有点失望！

类模板定义能够声明和实现分开吗  
推荐解答：   
 
template 机制称为 compile-time 多态  编译器在编译你的源文件时,若发现  
keword template  会马上区找它的实现代码(想想c++怎么样找到它的source code?) 因此  大部分c++代码会把它的  template 实现代码 写在 头文件里  
如果你想隐藏你的实现 可以考虑一下指针(本人不确定  这或许不行 本人以前没想过(很惭愧 没你善于考虑问题)),本人从楼上老兄那里得到了些灵感  待本人回家想想 
类模板定义能够声明和实现分开吗
推荐解答：

template 机制称为 compile-time 多态  编译器在编译你的源文件时,若发现
keword template  会马上区找它的实现代码(想想c++怎么样找到它的source code?) 因此  大部分c++代码会把它的  template 实现代码 写在 头文件里
如果你想隐藏你的实现 可以考虑一下指针(本人不确定  这或许不行 本人以前没想过(很惭愧 没你善于考虑问题)),本人从楼上老兄那里得到了些灵感  待本人回家想想

是的。  
 
如果把模板实现和定义分开，在模板类所在的编译单元里当然就不可能知道模板参数将是什么——int？char？甚至是用户自定义数据？——模板函数/类也就无从展开。很显然，相应的.o文件也就不可能包含所有这些实例代码。  
 
只有把模板定义放到每一个引用它的地方，这样才可能完成展开——从这个意义上说，所谓模板定义其实应该算是模板声明，真正的定义是在你确认了模板类型参数之后（由编译器自动生成代码）。  
 
不过，即便如此，为了避免和传统的.h .c使用习惯混淆，模板类所在的文件一般还是会用无扩展名或*.inc的格式命名。 
是的。

如果把模板实现和定义分开，在模板类所在的编译单元里当然就不可能知道模板参数将是什么——int？char？甚至是用户自定义数据？——模板函数/类也就无从展开。很显然，相应的.o文件也就不可能包含所有这些实例代码。

只有把模板定义放到每一个引用它的地方，这样才可能完成展开——从这个意义上说，所谓模板定义其实应该算是模板声明，真正的定义是在你确认了模板类型参数之后（由编译器自动生成代码）。

不过，即便如此，为了避免和传统的.h .c使用习惯混淆，模板类所在的文件一般还是会用无扩展名或*.inc的格式命名。 

 

模板的实例化是在编译器进行的！