C++模板特例化 (1)

template <typename T>
bool isEqual( const T& t1, const T& t2 ) 
{
　　return t1 == t2;　　// 注意：此处实际上规定了泛型T必须支持 operator==
}

template <class T> class TList{
public:
　　...
　　// 编写泛型链表，链表中储存泛型数据
　　// 成员函数可能对泛型做出了一些要求，例如拥有成员函数：bool  isEqual( const T& t )
　　bool equal( const TList<T>& t )
　　{
　　　　return _t.isEqual( t.get() );　　// 假设TList<T>::get() 返回 TList<T>类中私有成员区的_t
　　}
　　// Best Practices：模板程序应该尽量减少对实参类型的要求！

private:
　　T _t;
　　...
};

class TPerson {
public:
　　...
　　 // 编写待存储在TList中的类
　　// 提供模板中所要求的成员函数等
　　bool isEqual( const TPerson& t )　
　　{
　　　　return t == *this;
　　}

private:
　　...
};

TList<TPerson> pList;　　// 实例化一个TPserson类对象的TList

TList<int> pList;

bool equal( const TList<T>& t )
{
        return  _t == t;
}

// C++ Primer Bset Practices：函数模板和类模板成员函数的定义通常放在头文件中
// 也可以分离声明和实现，这样的话，需要在 main.cpp 中除了包含 testcase.h 外，也包含 testcase.cpp
// 文件： testcase.h

#ifndef TestCase_H
#define TestCase_H

#include <iostream>

template<class T>
class TestCase {
public:
    TestCase<T>(const T &t, std::string &name);
    ~TestCase<T>();
    TestCase<T> &operator=(const TestCase<T> &assign);

    void get();
    void set(T t);

private:
    std::string _name;
    T _t;
};

/*----------------------implement---------------------------*/
template<class T>
void TestCase<T>::get() {
    std::cout << "this is get()\n";
}

template<class T>
void TestCase<T>::set(T t) {
    this->_t = t;
}

template<class T>
TestCase<T> &TestCase<T>::operator=(const TestCase<T> &assign) {
    this->_t = assign._t;
    this->_name = assign._name;
    return *this;
}

template<typename T>
TestCase<T>::TestCase(const T &t, std::string &name): _t(t), _name(name) {

}

template<typename T>
TestCase<T>::~TestCase<T>() {
    std::cout << "this is destructor" << std::endl;
}

template<>
void TestCase<std::string>::get() {
    std::cout << "this is partial specialization \n";
}

#endif //TestCase_H

// 
// 文件： main.cpp 
// 

#include <iostream>
#include "testcase.h"

//也可以在其他文件中定义模板片特殊化函数
//template<> TestCase<int>::~TestCase() {
//    std::cout<<"这是第二种模板偏特殊化方法"<<std::endl;
//}

//Best Practices: 一个特定文件所需要的所有哦模板的声明通常一起放置在文件开始位置，出现于任何使用这些模板的代码之前。

template<> void TestCase<std::string>::get();　　// 必须向编译器说明针对函数 TestCase<std::string>::get() 的特化版本已经定义过了，不用再定义了。不然会报错：'TestCase<std::string>::get()被多次定义'

int main() {
    using namespace std;

    string name("TestCase");
    string cs("construct string");

    TestCase<string> TestCase(cs, name);
    TestCase.get();

    return 0;
}

template <typename T>
bool isEqual( const T& t1, const T& t2 ) 
{
　　return t1 == t2;　　
}
/*------------------------------------------------------------------------------------------------------*/
template <class T>
bool isEqual( const T& t1, const T& t2 ) 
{
　　return t1 == t2;　　
}

T::size_type * p;

typename T::size_type * p;