函数模板
模板函数的定义
template <class T>
或者
template <typename T>
如果有多个参数化类型名,<>内的类型名用‘,’隔开
也可以有确定的参数类型
函数模板和模板函数的概念
函数模板的使用
用户自定义的类取代参数化类型
#include <iostream>
using namespace std;
class A
{
private:
int a;
public:
A(int a=0):a(a){ }
friend ostream &operator<<(ostream &, A &); //A类的友元函数,不是A的成员函数
int operator > (A); //A类的成员函数
};
ostream &operator<<(ostream &out, A &a1)
{
out << a1.a << " 输出A的对象a1的私有成员";
return out;
}
int A::operator > (A a2)
{
if (a > a2.a) return 1;
else return 0;
}
template <typename T>
T max(T x, T y, T z)
{
T temp;
if (x > y) temp = x;
if (z > temp) temp = z;
return temp;
}
void main()
{
A a1(5), a2(7), a3(9);
cout << max(a1, a2, a3) << endl;
}
A(int a=0):a(a){ }
这里必须附上默认参数值,因为以后的函数模板有T temp这句话,如果T用类名代的话,T temp调用的是无参构造函数或者带全部默认参数值的构造函数
friend ostream& operator<<(ostream &, A &);
这句话是友元函数的声明,friend是表明后边要声明的函数是友元函数
函数返回的类型是ostream的引用ostream ,函数名是operator<<
形参表里一个是ostream&,一个是A&
cout<<endl,其实这句话中cout就是一个ostream的对象,语句把endl传递给cout,cout作为一个输出流,将endl的信息表达出来——换行
ostream& operator<<(ostream& out, A& a1)
{
out << a1.a << " 输出A的对象a1的私有成员";
return out;
}
运算符<<的重载,表明以后cout<<a1,如果a1是一个自定义的类对象,那么就调用上边的那个函数,就把想要输出的a1.a和后边的字符串都输出了(具体的过程还需研究)
int operator > (A);
这个是运算符>的重载,注意到这个函数不是友元函数,而是类的成员函数
因此这个函数自带一个形参,也就是本身调用这个运算符的对象,而且默认这个对象在>的左边
即a1>a2这句话中a1就是调用这个函数的对象
int A::operator > (A a2)
{
if (a > a2.a) return 1;
else return 0;
}
而a2就相当于函数中的A a2
T max(T x, T y, T z)
{
T temp;
if (x > y) temp = x;
if (z > temp) temp = z;
return temp;
}
函数模板
cout << max(a1, a2, a3)
这句话中a1,a2,a3都是类对象,T就被自动替换成了A类,T temp这句话调用无参构造函数,x>y这句话使用运算符重载(类的成员函数)
temp=x调用拷贝构造函数
函数模板不支持参数自动转换
比如代码:
template
T max(T x, T y, T z)
{
T temp;
if (x > y) temp = x;
if (z > temp) temp = z;
return temp;
}
如果写max(3,5.6,8) 编译器就会报错,说模板参数T不明确
具体的关于函数的调用以后再单独写
END THANK U~