C++_函数模板

C++_函数模板

1、当我们需要大量相同功能的函数时候就可以考虑使用模板函数

#include <iostream>
#include <string.h>
#include <unistd.h>

using namespace std;

/*
int& max(int& a, int& b)
{
	return (a < b)? b : a;
}

double& max(double& a, double& b)
{
	return (a < b)? b : a;
}

float& max(float& a, float& b)
{
	return (a < b)? b : a;
}
*/

template<typename T>
T& mymax(T& a, T& b)
{
	cout<<__PRETTY_FUNCTION__<<endl;
	return (a < b)? b : a;
}

int main(int argc, char **argv)
{
	int ia = 1, ib = 2;
	float fa = 1, fb = 2;
	double da = 1, db = 2;
	
	mymax(ia, ib);  //编译器会根据传入参数不一样
	mymax(fa, fb);
	mymax(da, db);

	return 0;
}

2、普通函数支持隐式转换，模板函数不支持隐式转换

#include <iostream>
#include <string.h>
#include <unistd.h>

using namespace std;

template<typename T>
T& mymax(T& a, T& b)
{
	cout<<__PRETTY_FUNCTION__<<endl;
	return (a < b)? b : a;
}

void add(int a, int b)
{
	cout<<"add(int a, int b) ="<<(a+b)<<endl;
}

int main(int argc, char **argv)
{
	const int ia = 1;
	const int ib = 2;
	
	mymax(ia, ib);

	int a = 1;
	double b = 2.1;
	add(a, b);

	//mymax(a, b);  //编译时候会报错

	return 0;
}

3、int变成const的可以隐式转换，是可以的

#include <iostream>
#include <string.h>
#include <unistd.h>

using namespace std;

template<typename T>
const T& mymax(const T& a, const T& b)
{
	cout<<__PRETTY_FUNCTION__<<endl;
	return (a < b)? b : a;
}

int main(int argc, char **argv)
{
	int ia = 1;
	int ib = 2;
	mymax(ia, ib);
	return 0;
}

4、数组可以转化为指针

#include <iostream>
#include <string.h>
#include <unistd.h>

using namespace std;

template<typename T>
const T& mymax(const T& a, const T& b)
{
	cout<<__PRETTY_FUNCTION__<<endl;
	return (a < b)? b : a;
}


template<typename T>
const T* mymax2(const T* a, const T* b)
{
	cout<<__PRETTY_FUNCTION__<<endl;
	return (a < b)? b : a;
}

int main(int argc, char **argv)
{
	char a[]="ab";
	char b[]="cd";
	

	mymax(a, b);  /* T=char[3] */
	mymax2(a, b);

	char a2[]="abc";
	char b2[]="cd";

	//mymax(a2, b2);  /* mymax(char[4], char[3]), 无法推导出T: mymax(char& [4], char& [3]), 因为两个参数类型不一样 */
	mymax2(a2, b2);   /* mymax2(char[4], char[3]), 推导: mymax2(const char *, const char *); */

	return 0;
}

5、函数也可以转化成指针

#include <iostream>
#include <string.h>
#include <unistd.h>

using namespace std;

template<typename T>
const T& mymax(const T& a, const T& b)
{
	cout<<__PRETTY_FUNCTION__<<endl;
	return (a < b)? b : a;
}


template<typename T>
const T* mymax2(const T* a, const T* b)
{
	cout<<__PRETTY_FUNCTION__<<endl;
	return (a < b)? b : a;
}

template<typename T>
void test_func(T f)
{
	cout<<__PRETTY_FUNCTION__<<endl;
}

int f1(int a, int b)
{
	return 0;
}

int main(int argc, char **argv)
{
	char a[]="ab";
	char b[]="cd";
	

	mymax(a, b);  /* T=char[3] */
	mymax2(a, b);

	char a2[]="abc";
	char b2[]="cd";

	//mymax(a2, b2);  /* mymax(char[4], char[3]), 无法推导出T: mymax(char& [4], char& [3]), 因为两个参数类型不一样 */
	mymax2(a2, b2);   /* mymax2(char[4], char[3]), 推导: mymax2(const char *, const char *); */

	test_func(f1);  //两种传入方式都是转换成指针
	test_func(&f1);

	return 0;
}