函数模板

函数模板

---

模板函数的定义

---

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~

转载于:https://my.oschina.net/CRAZYZONE/blog/636756