模板类的约束模板友元函数：template friend functions

本来这篇博客是不打算写的，内容不是很难，对于我自己来讲，更多的是为了突出细节。

• 所谓template friend functions，就是使友元函数本身成为模板。基本步骤：
  1，在类定义的前面声明每个模板函数。eg：template <typename T> void counts(); template <typename T> void report<>(T &);
  2，在类声明中再次将模板声明为友元。

  template <typename TT>
  class HasFriendT
  {
      ....
      friend void counts<TT>();
      friend void report<>(Testclass<TT> &)
  };

  声明中<>指出这是模板具体化，注意模板具体化和函数具体化有点不一样。对于report，<>可以为空,因为可以从函数参数推断出模板类型参数。在声明的例子中是：HasfriendT<TT>。然而，也可以使用report<HasFriendT<TT>> 来代替 report<> 。
  但是counts没有参数，因此必须使用模板参数语法（<TT>）来指明其具体化。还要注意的是，TT是Testclass类的参数类型。
  3，为友元提供模板定义。这里的定义只是就“泛型”TT，每个函数定义一个就行。并不需要像函数显式具体化那样为每个特定的类型通通都定义。

• 好了，接下来看代码：

    #include <iostream>
  
    using std::cout;
    using std::endl;
  
    template <typename T> void counts();
    template <typename T> void report(T &); 
  
    template <typename TT>
    class HasFriendT
    {
        private:
            TT item;
            static int ct;
        public:
            HasFriendT(const TT & i) : item(i) { ct++; }
            ~HasFriendT() { ct--; }
            friend void counts<TT>();
            friend void report<HasFriendT<TT>>(HasFriendT<TT> &);
            //note: use report<HasFriendT<TT>> not report<TT>
    };
  
    template <typename T>
    int HasFriendT<T>::ct = ;
  
    template <typename T>
    void counts()
    {
        cout << "template size: " << sizeof(HasFriendT<T>) << "; ";
        cout << "template counts(): " << HasFriendT<T>::ct << endl;
    }
  
   template <typename T>
    void report(T & hf)
    {
        cout << hf.item << endl;
    }
  
    int main(void)
    {
        counts<int>();
        HasFriendT<int> hfi1();
        HasFriendT<int> hfi2();
        HasFriendT<double> hfi3(15.5);
  
        report(hfi1);
        report(hfi2);
        report(hfi3);
  
        cout << "counts<int>() output: \n";
        counts<int>();
        cout << "counts<double>() output: \n";
        counts<double>();
  
        return ;
    }

  开始的时侯，在声明模板时明明counts 和 report 的<>内都是typename T（即<typename T>），我想不明白为什么在class中friend void counts<TT>() 和 friend void report<HasFriendT<TT>>(HasFriendT<TT> &) <>内的参数就不一样了呢（一个是<HasfriendT<TT>> 一个 是 <TT>）。后来仔细看了下，才发现report函数和counts函数处理的对象不一样。report处理的是item，它是类HasFrriendT的成员数据，所以它的类型是<HasFriendT<TT>>。而counts处理的是一个静态成员，对于静态类成员，可以在类声明之外使用单独的语句进行初始化，这是因为静态类是单独存储的，而不是对象的组成部分。也正如本文开头所指出那样：在countsde<>中， TT是Testclass类的参数类型。

• 不知到你有没有发现上面的声明中，一会用TT，一会用T。开始我也纳闷，神经兮兮的认为它们的不同是不是隐含什么细节。后来将它们全部改成TT再编译，发现没什么问题。原来这只是一个泛型的符号而已。。当然，它们也可能真的存在什么不同，但现在我还没有发现。