类模板定义中智能引用

* 模板定义中智能引用名字\"Tp\",不能引用\"T\"和\"U\"\n};\n1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n11\n类模板参数可以有缺省实参，给参数提供缺省实参的顺序是先右后左\ntemplate \u003Cclass T, int size = 16>\nclass MyStack;\n1\n2\n类模板名可以被用作一个类型指示符。当一个类模板名被用作另一个模板定义中的类型指示符时，必须指定完整的实参表\ntemplate \u003Ctypename T>\nclass Graphics {\n    T* next;  //* 在类模板自己的定义中不需要指定完整模板参数表\n};\n\ntemplate \u003Ctypename T>\nvoid show(Graphics\u003CT>& g)\n{\n    Graphics\u003CT>* pg = &g;  //* 必须指定完整的模板参数表\n}\n1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n类模板实例化\n从通用的类模板定义中生成类的过程称为模板实例化\n\n//* T是一个形参，同类型的实参值被提供给该形参\n//* 指定的每个不同类型值都创建一个新类\ntemplate \u003Ctypename T>\nclass Graphics {\n    T m_value;\n};\n// 类实例化\n//* T被指定为int\nclass Graphics {\n    int m_value;\n};\n//* T被指定为double\nclass Graphics {\n    double m_value;\n};\n//* T被指定为string\nclass Graphics {\n    string m_value;\n};\n1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n11\n12\n13\n14\n15\n16\n17\n18\n19\n类模板实例化分为显示实例化和隐士实例化\n\n显示实例化\ntemplate class Stack\u003Cint>; //将类模板实例化为一个处理int类型的Stack类\n1\n隐式实例化\nStack\u003Cchar> charStack; // 先实例化一个CharStack类（名字由编译器按规则生成），然后用CharStack char Stack;创建一个对象\nStack\u003Cint> intStack; // 实例化一个IntStack类，在调用IntStack intStack;创建一个对象\n1\n2\n类模板实例化的时机\n\n当使用了类模板实例的名字，并且上下文环境要求存在类的定义时\n对象类型是一个类模板实例，当对象被定义时。此点被称作类的实例化点\n一个指针或引用指向一个类模板实例，当检查这个指针或引用所指的对象时\n#include \u003Ciostream>\n\ntemplate \u003Ctypename T>\nclass Graphics {\n    // body\n};\n\nvoid func(Graphics\u003Cchar>);  // 函数声明，不需要实例化\n\nclass Rect {\n    Graphics\u003Cdouble>& rsd;  // 声明一个类模板引用，不需要实例化\n    Graphics\u003Cint>     si;   // si是Graphics类型的对象，需要实例化类模板\n};\n\nvoid func(Graphics\u003Cchar> p)\n{\n    // todo\n}\n\nint main(int argc, char** argv)\n{\n    Graphics\u003Cchar>* sc;  // 声明一个类模板指针，不需要实例化\n\n    func(*sc);  // 需要实例化，传递给函数func的是一个Graphics\u003Cchar>对象\n\n    auto iobj = sizeof(Graphics\u003Cstd::string>);  // 需要实例化，因为sizeof会计算Graphics\u003Cstring>对象的大小，\n                                                // 为了计算大小，编译器必须根据类模板定义产生该类型。\n    return 0;\n}\n1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n11\n12\n13\n14\n15\n16\n17\n18\n19\n20\n21\n22\n23\n24\n25\n26\n27\n28\n29\n类模板的成员函数\n类模板的成员函数可以在类模板的定义中定义(inline函数)，也可以在类模板定义之外定义(此时成员函数定义前面必须加上template及模板参数)\n类模板成员函数本身也是一个模板，类模板被实例化时它并不自动被实例化，只有当它被调用或取地址，才被实例化\n类中的虚函数不能用类型参数模板\ntemplate \u003Ctypename T>\nclass Graphics {\npublic:\n    Graphics() {}\n    // 成员函数定义在类模板的定义中\n    void print() {}\n\n    // 类中的虚函数不能用类型参数模板\n    // template \u003Ctypename U>\n    // virtual void func(U value) {\n    // \n    // }\nprivate:\n    T m_value;\n};\n\n// 成员函数定义在类模板定义之外\ntemplate \u003Ctypename T>\nvoid Graphics\u003CT>::print()\n{\n}\n1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n11\n12\n13\n14\n15\n16\n17\n18\n19\n20\n21\n普通类的成员函数模板\n#include \u003Ciostream>\n// 普通类\nclass MyTest {\npublic:\n    // 成员函数模板\n    template \u003Ctypename U>\n    void func(U val)\n    {\n        std::cout \u003C\u003C \"type=\" \u003C\u003C typeid(val).name() \u003C\u003C \" value:\" \u003C\u003C val \u003C\u003C std::endl;\n    }\n};\n\nint main()\n{\n    MyTest test;\n    test.func(100); // 普通类的成员函数模板：自动类型推导为int\n    test.func(10.0);// 普通类的成员函数模板：自动类型推导为double\n    return 0;\n}\n// 输出\n// type=i value:100\n// type=d value:10\n1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n11\n12\n13\n14\n15\n16\n17\n18\n19\n20\n21\n22\n类模板的成员函数模板\n#include \u003Ciostream>\n\n// 类模板\ntemplate \u003Ctypename T>\nclass MyTest {\npublic:\n    MyTest(T val) : m_val(val) {}\n    // 普通成员函数\n    void print()\n    {\n        std::cout \u003C\u003C \"print() type=\" \u003C\u003C typeid(m_val).name() \u003C\u003C \" m_val:\" \u003C\u003C m_val \u003C\u003C std::endl;\n    }\n    // 成员函数模板\n    template \u003Ctypename U>\n    void func(U val)\n    {\n        std::cout \u003C\u003C \"template type=\" \u003C\u003C typeid(val).name() \u003C\u003C \" value:\" \u003C\u003C val \u003C\u003C std::endl;\n    }\n\nprivate:\n    T m_val;\n};\n\nint main()\n{\n    MyTest\u003Cint> test(100);  // 类模板实例化，显示指定类型T-> int\n    test.print();\n    test.func(10.0);  // 类模板的成员函数模板，自动推导出U-> double\n\n    MyTest\u003Cdouble> test1(100.0);  // 类模板实例化，显示指定类型T-> double\n    test1.print();\n    test1.func(10);  // 类模板的成员函数模板，自动推导出U-> int\n\n     静态成员变量\n};\n1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n11\n12\n13\n14\n15\n16\n17\n18\n19\n20\n21\n22\n23\n24\n25\n26\n27\n28\n29\n30\n31\n类模板特例化\n类模板的特化分为全特化与偏特化两种方式\n全特化:对于全特化，类的所有参数都与模板类的所有参数一一对应\n\n普通成员函数全特化\n静态成员变量全特化\ntemplate \u003Ctypename T, typename U>\nstruct MyTest\n{\n    MyTest()\n    {\n        std::cout \u003C\u003C \"类模板泛化\" \u003C\u003C std::endl;\n    }\n\n    void func()\n    {\n        std::cout \u003C\u003C \"func函数泛化\" \u003C\u003C std::endl;\n    }\n    static  int  m_value;// 静态成员变量\n};\n\n// 普通成员函数全特化\ntemplate \u003C>\nvoid MyTest\u003Cint, double>::func()\n{\n    std::cout \u003C\u003C \"func全特化\" \u003C\u003C std::endl;\n}\n\ntemplate\u003Ctypename T, typename U>\nint MyTest\u003CT, U>::m_value = 10;\n\n// 静态成员函数全特化\ntemplate\u003Ctypename T, typena