c++ template笔记(1)模板函数

1.定义函数模板

template <typename T>
inline T const& max (T const& a, T const& b)
{
    // if a < b then use b else use a
    return  a < b ? b : a;
}

2.使用模板函数

#include <iostream>
#include <string>
#include "max.hpp"

int main()
{
    int i = 42;
    std::cout << "max(7,i):   " << ::max(7,i) << std::endl;

    double f1 = 3.4;
    double f2 = -6.7;
    std::cout << "max(f1,f2): " << ::max(f1,f2) << std::endl;

    std::string s1 = "mathematics";
    std::string s2 = "math";
    std::cout << "max(s1,s2): " << ::max(s1,s2) << std::endl;
}

输出结果

3.确定返回的参数

::max<double>(1,2); //ok
//::max(1,1.2);//wrong
::max(static_cast<double>(4),4.1);//ok

   若两个参数不正确，或者不支持模板定义的特性,编译时则会出错

4.多个模板参数

template <typename T1,typename T2>
inline T1 const& max (T1 const& a, T2 const& b)
{
    // if a < b then use b else use a
    return  a < b ? b : a;
}

示例

double i = 42.1;
std::cout << "max(7,i):   " << ::max(7,i) << std::endl;

返回值是T1,所以返回是int类型,结果是42,出错了

定义3个参数,第3个参数用于表示返回值类型

template <typename T1,typename T2,typename T3>
inline T3 const& max (T1 const& a, T2 const& b)
{
    // if a < b then use b else use a
    return  a < b ? b : a;
}

测试

double i = 42.1;
std::cout << "max(7,i):   " << ::max<int,double,double>(7,i) << std::endl;

返回正确的42.1

5.模板函数重载

  重载函数的最佳匹配遵循以下优先规则：
  a、完全匹配时，普通函数优于模板函数及模板函数的特化版本
  b、提升转换(如：char和short转换为int，及float转换为double)
  c、标准转换(如：int转换为char，及long转换为double)
  d、用户定义的转换，如类声明中定义的转换。
  加引用和const限定符之类的，属于无关紧要的转换，都可以认为是完全匹配，但是const优先级应该是高于引用的，编译器会优先尝试转换为const。

// maximum of two int values
inline int const& max (int const& a, int const& b) 
{
    return  a < b ? b : a;
}

// maximum of two values of any type
template <typename T>
inline T const& max (T const& a, T const& b)
{
    return  a < b ? b : a;
}

// maximum of three values of any type
template <typename T>
inline T const& max (T const& a, T const& b, T const& c)
{
    return ::max (::max(a,b), c);
}

int main()
{
    ::max(7, 42, 68);     // calls the template for three arguments
    ::max(7.0, 42.0);     // calls max<double> (by argument deduction)
    ::max('a', 'b');      // calls max<char> (by argument deduction)
    ::max(7, 42);         // calls the nontemplate for two ints
    ::max<>(7, 42);       // calls max<int> (by argument deduction)
    ::max<double>(7, 42); // calls max<double> (no argument deduction)
    ::max('a', 42.7);     // calls the nontemplate for two ints
}

特别注意::max<>(7, 42);这句的写法指定了需要调用模板的实例化。 
注意:自动类型转换

::max('a', 42.7); 只适用于常规函数,'a’会完成自动类型转换

6.字符串重载的例子

#include <iostream>
#include <cstring>
#include <string>

// maximum of two values of any type
template <typename T>
inline T const& max (T const& a, T const& b)
{
    return  a < b  ?  b : a;
}

// maximum of two pointers
template <typename T>
inline T* const& max (T* const& a, T* const& b)
{
    return  *a < *b  ?  b : a;
}

// maximum of two C-strings
inline char const* const& max (char const* const& a,
                               char const* const& b)
{ 
    return  std::strcmp(a,b) < 0  ?  b : a;
}

int main ()
{
    int a=7;
    int b=42;
    ::max(a,b);      // max() for two values of type int

    std::string s="hey";
    std::string t="you";
    ::max(s,t);      // max() for two values of type std::string

    int* p1 = &b;
    int* p2 = &a;
    ::max(p1,p2);    // max() for two pointers

    char const* s1 = "David";
    char const* s2 = "Nico";
    ::max(s1,s2);    // max() for two C-strings
}

注意每个重载函数必须存在着一定的差异.

7.总是要把重载函数定义在调用之前

// maximum of two values of any type
template <typename T>
inline T const& max (T const& a, T const& b)
{
    return  a < b ? b : a;
}

// maximum of three values of any type
template <typename T>
inline T const& max (T const& a, T const& b, T const& c)
{
    return max (max(a,b), c);  // uses the template version even for ints
}                              // because the following declaration comes
                               // too late:
// maximum of two int values
inline int const& max (int const& a, int const& b) 
{
    return  a < b ? b : a;
}

3参数的max调用的是2参数模板函数,而非最后定义的max非模板函数

8.std:string和char

#include <string>

// note: reference parameters
template <typename T>
inline T const& max (T const& a, T const& b)
{
    return  a < b  ?  b : a;
}

int main()
{
    std::string s;

    ::max("apple","peach");   // OK: same type
    ::max("apple","tomato");  // ERROR: different types
    ::max("apple",s);         // ERROR: different types
}

“apple”会被转成 char[6]数组,所以比较要求数组维度长度相同,第二条”tomato”与”apple”长度不符合,即出错.

s是std:: string类型,而非char数组,所以也出错

9.以非引用参数方式传递

#include <string>

// note: nonreference parameters
template <typename T>
inline T max (T a, T b)
{
    return  a < b  ?  b : a;
}
int main()
{
    std::string s;

    ::max("apple","peach");   // OK: same type
    ::max("apple","tomato");  // OK: decays to same type
    ::max("apple",s);         // ERROR: different types
}

只有最后一个类型不符合的编译不通过

转自：http://www.cnblogs.com/Clingingboy/archive/2011/03/08/1977140.html