【C++】泛型编程 ⑪ ( 类模板的运算符重载 - 函数实现写在类外部的不同的 .h 头文件和 .cpp 代码中 )

文章目录

一、类模板的运算符重载 - 函数实现写在类外部的不同的 .h 头文件和 .cpp 代码中
二、代码示例 - 函数实现写在类外部的不同的 .h 头文件和 .cpp 代码中

将类模板函数声明与函数实现分开进行编码 , 有三种方式 :

类模板的函数声明与函数实现都写在同一个类中 , 也就是没有分开进行编码 ;
类模板的函数实现在类外部进行 , 函数声明和实现写在相同的 .cpp 源码文件中 ;
类模板的函数实现在类外部进行 , 函数声明和实现写在不同的 .h 和 .cpp 源码文件中 ;

在博客【C++】泛型编程 ⑨ ( 类模板的运算符重载 - 函数声明和函数实现写在同一个类中 | 类模板的外部友元函数问题 ) 中实现了第一种情况 , 类模板的函数声明与函数实现都写在同一个类中 , 也就是没有分开进行编码 ;

在博客【C++】泛型编程 ⑩ ( 类模板的运算符重载 - 函数实现写在类外部的同一个 cpp 代码中 | 类模板的外部友元函数二次编译问题 ) 中 , 分析了第二种情况 , 类模板的函数实现在类外部进行 , 写在一个 cpp 源码文件中 ;

在本篇博客中 , 开始分析第三种情况 , 函数实现在类外部进行 , 函数声明和实现写在不同的 .h 和 .cpp 源码文件中 ;

一、类模板的运算符重载 - 函数实现写在类外部的不同的 .h 头文件和 .cpp 代码中

1、分离代码后的友元函数报错信息 - 错误示例

上一篇博客【C++】泛型编程 ⑩ ( 类模板的运算符重载 - 函数实现写在类外部的同一个 cpp 代码中 | 类模板的外部友元函数二次编译问题 ) 中 , 分析了第二种情况 , 类模板的函数实现在类外部进行 , 写在一个 cpp 源码文件中 ;

将上述源码分别写到 .h 头文件 , .cpp 代码文件中 ;

Student.h 头文件内容

Student.h 头文件内容 :

#include "iostream"
using namespace std;

template <typename T>
class Student
{
	// 左移运算符重载
	friend ostream& operator<< <T> (ostream& out, Student& s);

public:
	// 构造函数
	Student(T x, T y);

	// 重载 + 运算符
	Student operator+(Student& s);

public:
	T a, b;
};

Student.cpp 代码文件内容

Student.cpp 代码文件内容 :

#include "Student.h"

// 类模板构造函数
// 使用  Student<T>:: 域操作符访问函数
template <typename T>
Student<T>::Student(T x, T y)
{
	this->a = x;
	this->b = y;
}

// 重载 + 运算符
// 使用  Student<T>:: 域操作符访问函数
template <typename T>
Student<T> Student<T>::operator+(Student<T>& s)
{
	// 函数内部的类的 <T> 模板类型 , 可加 Student<T> 可不加 Student
	// 不加 <T> 也可以使用 , 加了也不会报错
	Student student(this->a + s.a, this->b + s.b);
	return student;
}

// Student 类的友元函数
// 左移运算符重载 函数
template <typename T>
ostream& operator<<(ostream& out, Student<T>& s)
{
	out << "a:" << s.a << " b: " << s.b << endl;
	return out;
}

Test.cpp 代码文件内容

Test.cpp 代码文件内容 :

#include "iostream"
using namespace std;

#include "Student.h"

int main() {
	// 模板类不能直接定义变量
	// 需要将 模板类 具体化之后才能定义变量
	Student<int> s(666, 888);
	cout << s << endl;

	Student<int> s2(222, 111);
	cout << s2 << endl;

	// 验证 加法运算符 + 重载
	Student<int> s3 = s + s2;

	// 验证 左移运算符 << 重载
	cout << s3 << endl;

	// 控制台暂停 , 按任意键继续向后执行
	system("pause");

	return 0;
}

执行报错信息

执行 Test.cpp 中的 main 函数 , 报如下错误 :

1>------ 已启动生成: 项目: HelloWorld, 配置: Debug Win32 ------
1>Student.cpp
1>Test.cpp
1>正在生成代码...
1>Test.obj : error LNK2019: 无法解析的外部符号 "class std::basic_ostream<char,struct std::char_traits<char> > & __cdecl std::<<(class std::basic_ostream<char,struct std::char_traits<char> > &,class Student<int> &)" (?<<@std@@YAAAV?$basic_ostream@DU?$char_traits@D@std@@@1@AAV21@AAV?$Student@H@@@Z)，该符号在函数 _main 中被引用
1>Test.obj : error LNK2019: 无法解析的外部符号 "public: __thiscall Student<int>::Student<int>(int,int)" (??0?$Student@H@@QAE@HH@Z)，该符号在函数 _main 中被引用
1>Test.obj : error LNK2019: 无法解析的外部符号 "public: class Student<int> __thiscall Student<int>::operator+(class Student<int> &)" (??H?$Student@H@@QAE?AV0@AAV0@@Z)，该符号在函数 _main 中被引用
1>Y:\002_WorkSpace\002_VS\HelloWorld\HelloWorld\Debug\HelloWorld.exe : fatal error LNK1120: 3 个无法解析的外部命令
1>已完成生成项目“HelloWorld.vcxproj”的操作 - 失败。
========== 生成: 成功 0 个，失败 1 个，最新 0 个，跳过 0 个 ==========

【C++】泛型编程 ⑪ ( 类模板的运算符重载 - 函数实现写在类外部的不同的 .h 头文件和 .cpp 代码中 )-LMLPHP

2、问题分析

在上述示例中 , 只需要改一个地方 , 即可成功执行 ,

#include "Student.h"

导入源码时 , 导入 Student.cpp 文件 , 不能导入 Student.h ;

// 此处不能导入 .h 头文件
// 必须导入 .cpp 源码文件
#include "Student.cpp"

这是类模板的实现机制决定的 ;

还是两次编译造成的问题 ;

编译代码时 , 编译到 Student.h 时 , 会生成一个类模板函数头 ,

编译 Student.cpp 时 , 类模板函数不会像普通函数一样 , 寻找函数头 , 找不到对应的函数头 ;

将 #include "Student.cpp" 包含进来 , Student.cpp 中就有 Student.h , 变相的将这两个代码定义在同一个文件中 ;

相当于将类模板的函数声明和函数实现都定义在了 Student.h 头文件中 ;

这种类型的头文件可以改成 .hpp 后缀 , 表明该文件中同时包含了函数声明和函数实现 ;

二、代码示例 - 函数实现写在类外部的不同的 .h 头文件和 .cpp 代码中

1、完整代码示例