使用模板将可能的运行时错误变为编译时错误

 

#include  < iostream >
using   namespace  std;

// 当CD不使用模板参数时填充此类
class  CNull
... {
public:
    static CNull* instance()
    ...{
        return &m_oCNull;
    }
private:
    static CNull m_oCNull;
} ;

CNull CNull::m_oCNull;

class  CA
... {
public:
    static CA* instance()
    ...{
        return &m_oCA;
    }
    void f1()
    ...{
        //do something...
        cout << "CA.f1()" << endl;
    }

private:
    static CA m_oCA;
} ;

CA CA::m_oCA;

class  CB
... {
public:
    static CB* instance()
    ...{
        return &m_oCB;
    }
    void f2()
    ...{
        //do something...
        cout << "CB.f2()" << endl;
    }

private:
    static CB m_oCB;
} ;

CB CB::m_oCB;

class  CC
... {

} ;

// 此类有两个模板参数
template  < class  T1,  class  T2 >
class  CD
... {
public:
    CD()
    ...{
        m_pT1 = T1::instance();
        m_pT2 = T2::instance();
    }

    ~CD()
    ...{
        m_pT1 = NULL;
        m_pT2 = NULL;
    }

    T1* getT1()
    ...{
        return m_pT1;
    }

    T2* getT2()
    ...{
        return m_pT2;
    }

private:
    T1* m_pT1;
    T2* m_pT2;
} ;


int  main()
... {
    //当两个模板参数都被使用时
    CD<CA, CB> d;
    d.getT1()->f1();    //因为CA有函数f1，所以成功
    d.getT2()->f2();    //因为CB有函数f2，所以成功

    //当只有一个模板参数被使用时，将第二个参数设为CNull
    CD<CA, CNull> d2;
    d2.getT1()->f1();    //因为CA有函数f1，所以成功
    d2.getT2()->f2();    //因为CNull没有函数f2，所以编译时出错

    //当错误的使用了不带instance函数的类CC时，会编译时出错
    CD<CC, CC> d3;

    return 0;   
}