STL_2: 模板_2_函数模板

tempalte<typename T> const T& min(const T& a,const T& b)
{return (a<b)? a:b;}

int z=min<int>(i,j);

函数模板的类型推断

tempalte<typename T，typename U> const T& min(const T& a,const U& b)
{return (a<b)? a:b;}
int z=min<int.double>(i,j);

函数模板的重载

template<typename T> const T& min(const T& a,const T& b)  //min(1,2)--自动类型推断
{return (a<b)? a:b;}

const char* min(const char *a,const char* b)
{return strcmp(a,b)<0 ? a:b;}

double min(double x,doule y)  //min（1.0,2.0）
{return (x<y)?x:y}

生成的函数模板地址作为参数

template<typename T> void f(T*) {}
void h(void (*pf)(int *)) {}
template <typename T>  void g(void (*pf)(T*)) {}

int main()
{
h(&f<int>);
f(&f);  //类型推导
g<int>(&f<int>);
g(&f<int>);
g<int>(&f);
}

函数模板的半有序

//优先级顺序从上到下变低
template<class T> void f(T);
template<class T> void f(T*);
template<class T> void f(const T*);

模板特化

显示特化

tempalte<class T>
const T& min(const T &a,const T &b)
{.....}
----
//特化（const char*）
tempalte<>
const char* const& min<const char*> (const char* const &a,const char* const &b)
{.....}

min(s1,s2);
min<>(s1,s2);

半特化

代码的膨胀