//主模板
template <typename T>
class Heap
{
private:
  std::vector<T> h_;
public:
  void push(const T& val);
  T pop();
  bool empty() const //const聲明在末尾表示該函數(shù)不能修改類(lèi)變量
  {
    return h_.empty();
  }
}

template <typename T>
void Heap<T>::push(const T& val)
{
  h_.push_back(val);
  std::push_heap(h_.begin(),h_.end());
}

template <typename T>
T Head<T>::pop()
{
  std::pop_head(h_.begin(),h_.end());
  T tmp(h_.back());
  h_.pop_back();
  return tmp;
}

//顯示特化版本
/***********************************************
 *     可以看到模板參數(shù)列表是空的,其實(shí)這根本不是一個(gè)模
 *  板. 因?yàn)闆](méi)有指定任何模板參數(shù).所以模板的顯式特化又被
 *  稱作"完全特化".
 *     Heap<const char*> 完全特化,不會(huì)導(dǎo)致模板的實(shí)例化;
 *     Heap<int> 特化,會(huì)導(dǎo)致模板的實(shí)例化;
 *     編譯器根據(jù)主模板的聲明來(lái)檢查類(lèi)模板特化.
***********************************************/
template<>//注意,無(wú)任何參數(shù),當(dāng)然,它本來(lái)就不是一個(gè)模板
class Head<const char *>
{
private:
  std::vector<const char *> h_;
public:
  void push(const char *pval);
  const char * pop();
  bool empty() const //const聲明在末尾表示該函數(shù)不能修改類(lèi)變量
  {
    return h_.empty();
  }
};
//再次提醒, Head<const char *>不是一個(gè)模板
void Heap<const char*>::push(const char *pval)
{
  h_.push_back(pval);
  std::push_heap(h_.begin(),h_.end());
}

/***********************************************
 *     C++沒(méi)有要求顯式特化的接口必須和主模板的接口完全
 *  匹配.如該例中,沒(méi)有定義主模板的empty函數(shù),并且自行增加
 *  了size和capitalize兩個(gè)函數(shù).
 *     提醒:此例中不定義empty函數(shù)是不可取的,定義模板的
 *  顯式特化和類(lèi)的派生之間雖然不存在任何技術(shù)上的聯(lián)系,但
 *  是用戶依然可以參考類(lèi)的派生的優(yōu)點(diǎn),讓特化版本至少具有
 *  主模板的基本能力.
***********************************************/
template<>//注意,無(wú)任何參數(shù),當(dāng)然,它本來(lái)就不是一個(gè)模板
class Head<char *>
{
private:
  std::vector<char *> h_;
public:
  void push(char *pval);
  char * pop();
  //注意,此處沒(méi)有提供empty函數(shù)喲!!!
  size_t size() const;
  void capitalize();
};

/***********************************************
 *  局部特化 
 *     和完全特化不同,這里的Heap參數(shù)類(lèi)型只是被部分的確
 *  定為T(mén)*,而T是一個(gè)未指定的類(lèi)型,這就是為什么說(shuō)它是局部
 *  特化的原因;
 *     當(dāng)使用一個(gè)未經(jīng)任何修飾的指針類(lèi)型來(lái)實(shí)例化Heap時(shí),
 *  局部特化將優(yōu)先于主模板;
 *     當(dāng)使用const char * 或 char *(參考類(lèi)模板顯式特化)來(lái)
 *  實(shí)例化Heap時(shí),此時(shí)完全特化又會(huì)優(yōu)先于局部特化.
 *  Heap<std::string> h1;  主模板  T是std::string
 *  Heap<std::string *> h2;  局部特化  T是std:string
 *  Heap<int **> h3;    局部特化 T是int *
 *  Heap<char *> h4;  完全特化 T是char *
 *  Heap<const int *> h5;  局部特化 T是const int
 *  Heap<int (*)()> h6;  局部特化 T是int()
***********************************************/
template <typename T>
class Heap<T *> //注意這里
{
private:
  std::vector<T *>h_;
public:
  void push(const T *val);
  T *pop();
  bool empty()
  {
    return h_.empty();
  }
};

template <typename T>
void Heap<T *>::push(const T *val)
{
  //......
}

/***********************************************
 *     有一點(diǎn)很微妙但很有用:主模板的完全特化或局部特化
 *  必須采用與主模板相同數(shù)量和類(lèi)型的實(shí)參進(jìn)行實(shí)例化,但它
 *  的模板的參數(shù)并不需要具有和主模板相同的形式.
***********************************************/
//定義一個(gè)模板,有三個(gè)模板參數(shù),書(shū)寫(xiě)形式如下
template <typename R,typename A1,typename A2> 
//注意,局部特化中,模板參數(shù)也是三個(gè),但書(shū)寫(xiě)形式可不一樣嘍
class Heap<R (*) (A1,A2)>
{
  //......
};

Heap<char *(*) (int,int)> h7; //R是char *,A1和A2是int
//把 char *(*) (int,int) 想象成一個(gè)"指向有兩個(gè)參數(shù)的非成員函數(shù)的指針"

template <class C,typename T>
class Heap<T C::*>
{
  //......
};
Heap<std::string Name::*> h8;//T是string,C是Name

//主模板
template <typename T>
class Heap
{
private:
  std::vector<T> h_;
public:
  void push(const T& val);
  T pop();
  bool empty() const //const聲明在末尾表示該函數(shù)不能修改類(lèi)變量
  {
    return h_.empty();
  }
}
//其實(shí)我們真正需要特化的是 push 和 pop兩個(gè)函數(shù).
//對(duì)比顯式特化,它是通過(guò)主模板,再寫(xiě)一個(gè)模板顯式特化版本類(lèi);
//而這里只是對(duì)類(lèi)模板成員進(jìn)行了單獨(dú)特化.
template<>
void Heap<const char*>::push(const char *const &pval)
{
  h_.push_back(pval);
  std::push_heap(h_.begin(),h_.end(),strLess);
}

template<>
const char* Heap<const char*>::pop()
{
  std:pop_heap(h_.begin(),h_end(),strLess);
  const char* tmp = h_.back();
  h_.pop_back();
  return tmp;
}