为什么不能将类模板的声明与类模板函数实现分开写
2011-09-22 12:23
330 查看
定义一个类一般都是在头文件中进行类声明,在cpp文件中实现,但使用模板时应注意目前的C++编译器还无法分离编译,最好将实现代码和声明代码均放在头文件中。如:
test.h
template <class T>
class CTest
{
public:
T& GetValue();
void SetValue(const T& _Value);
protected:
T m_Value;
};
test.cpp
template <class T>
T& CTest<T>::GetValue()
{
return m_Value;
}
template<class T>
void CTest<T>::SetValue(const T& _Value)
{
m_Value = _Value;
}
在这儿test.cpp中的内容应放在test.h中,否则在生成最终可执行程序时就会出现错误(在链接时会出错)。因为在编译时模板并不能生成真正的二进制代码,而是在编译调用模板类或函数的CPP文件时才会去找对应的模板声明和实现,在这种情况下编译器是不知道实现模板类或函数的CPP文件的存在,所以它只能找到模板类或函数的声明而找不到实现,而只好创建一个符号寄希望于链接程序找地址。但模板类或函数的实现并不能被编译成二进制代码,结果链接程序找不到地址只好报错了。
《C++编程思想》第15章(第300页)说明了原因:
模板定义很特殊。由template<…> 处理的任何东西都意味着编译器在当时不为它分配存储空间,它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的某一处,有一机制能去掉指定模板的多重定义。所以为了容易使用,几乎总是在头文件中放置全部的模板声明和定义。
test.h
template <class T>
class CTest
{
public:
T& GetValue();
void SetValue(const T& _Value);
protected:
T m_Value;
};
test.cpp
template <class T>
T& CTest<T>::GetValue()
{
return m_Value;
}
template<class T>
void CTest<T>::SetValue(const T& _Value)
{
m_Value = _Value;
}
在这儿test.cpp中的内容应放在test.h中,否则在生成最终可执行程序时就会出现错误(在链接时会出错)。因为在编译时模板并不能生成真正的二进制代码,而是在编译调用模板类或函数的CPP文件时才会去找对应的模板声明和实现,在这种情况下编译器是不知道实现模板类或函数的CPP文件的存在,所以它只能找到模板类或函数的声明而找不到实现,而只好创建一个符号寄希望于链接程序找地址。但模板类或函数的实现并不能被编译成二进制代码,结果链接程序找不到地址只好报错了。
《C++编程思想》第15章(第300页)说明了原因:
模板定义很特殊。由template<…> 处理的任何东西都意味着编译器在当时不为它分配存储空间,它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的某一处,有一机制能去掉指定模板的多重定义。所以为了容易使用,几乎总是在头文件中放置全部的模板声明和定义。
相关文章推荐
- 为什么不能将类模板的声明与类模板函数实现分开写
- 为什么不能将类模板的声明与类模板函数实现分开写?
- 为什么不能将类模板的声明与类模板函数实现分开写
- C++模板声明和实现为什么不能分开来写
- 为什么类模版的声明和实现不能分开
- 不能将类模板的声明与实现分开写
- 转载:为什么类模版的声明和实现不能分开
- 为什么不能分开模板的声明和定义,把定义放到.cpp文件中?
- 构造函数为什么不能声明为虚函数
- C++中,类和函数分开定义声明和实现的方法
- 类模板不能让声明和实现分离
- 为什么要将成员函数的声明和定义分开
- C++: 为什么我们一般都要将函数的声明和定义分开?(separate the declaration of function from its definition)
- 14.c++-类模板不能让声明和实现分离
- 你所不知道的事儿--C++类模板的声明和实现不能分离
- 为什么不能把构造函数声明为虚函数
- 模板成员函数为什么不能是虚函数
- 你所不知道的事儿--C++类模板的声明和实现不能分离
- C++函数重载实现的原理以及为什么在C++中调用C语言编译的函数时要加上extern "C"声明
- 为什么构造函数不能声明为虚函数,析构函数可以声明为虚函数