第八章--函数进阶

内联函数:

在函数声明和函数定义前加上inline

一个简单的计算平方的代码：

#include <iostream>using namespace std;inline double square(double x){return x * x;};int main(){cout << "HelloWorld" << endl;double a, b;double c = 13.0;a = square(5.0);                //a=25b = square(4.5 + 7.5);//b=144cout << a << " " << b << "\n";  cout << square(c++) << "\n";    //c=169cout << c << "\n";//c=14cin.get();return 0;}

内联函数的使用：函数经常调用，函数体较小，不包含循环之类的

引用变量:

引用变量的主要用途是用作函数的形参

int apple;

int & banana = apple; //banana是apple的引用变量

在这里&不是指针的地址运算符。banana和apple指向相同的值和内存单元

引用变量必须声明是初始化，而不是先声明在赋值

int & banana; //先声明引用变量

banana =  apple; //在赋值。非法的

函数模板的局限性：

template <class T>

void f(T a, T b){...}

a = b //如果T为数组，不成立

if(a > b) //如果T为结构，不成立

编写的模板很可能无法处理某些类型

函数模板显示具象化
一个结构体：
struct job
{
  char name[40];
  double salary;
  int floor;
}
假设只需交换salary和floor成员,而不交换name成员

#include <iostream>//函数模板原型template <typename T>void Swap(T &a, T &b);struct job{    char name[40];    double salary;    int floor;};//explicit specialiation 显示具体化template <> void  Swap<job>(job &j1, job &j2);void Show(job &j);int main(){    using namespace std;    cout.precision(2);    cout.setf(ios::fixed, ios::floatfield);    int i = 10;　　 int j = 20;    cout << i << " " << j << endl;    Swap(i, j);    cout << "Now i, j =" << i << "," << j << endl;    job zhang = {"zhangsan", 55.0, 7};    job li = {"lisi", 66.0, 6};    cout << "Before job swapping:\n";    Show(zhang);    Show(li);    Swap(zhang, li);    cout << "After job swappting:\n";    Show(zhang);    Show(li);        cin.get();}template <typename T>void Swap(T &a, T &b)　//交换普通变量{    T temp;    temp = a;    a = b;    b = temp;}template <> void Swap<job>(job &j1, job &j2)//交换结构体的两个成员变量{    double t1;    int t2;    t1 = j1.salary;    j1.salary = j2.salary;    j2.salary = t1;    t2 = j1.floor;    j1.floor = j2.floor;    j2.floor = t2;    }void Show(job &j){    using namespace std;    cout << j.name << ":" << j.salary << ":" << j.floor << endl;    cout << endl;}

 隐式实例化、现式实例化(explicit instantiation)、显式具体化(explicit specialization)


显式实例化的声明：


template void Swap<int>(int, int);


Swap()模板将生成一个使用int类型的实例


显式具体化的声明：


template <> void Swap<int>(int &, int &);


template <> void Swap(int &, int &);


上面两行等价

template <class T>void Swap(T &, T &);//模板原型template <> void Swap<job>(char &, char &);//显示具体化int main(void){template void Swap<char>(char &, char &);//显式实例化short a, b;Swap(a, b);//隐式模板实例化job n, m;Swap(n, m);//显式模板具体化char g, h;Swap(g, h);//显式模板实例化}