膨胀的template class成员函数

前提://2个不同的array类std::array<int,10> arr10;std::array<int,5> arr5;如要编写如上的template classtemplate <typename T ,std::size_t length>class XArr {…public: void insert() {}};XArr<int,10> a10; //产生一个XArr<int,10> class XArr<int,5> a5; //产生XArr<int,5>a10.insert() //产生一个实现a5.insert() //又一个实现将产生2个类, 2份insert实现(如果有调用的话)膨胀的template class 的原因是参数因此让目标代码膨胀减少的方法是,提取一个template父类://一个模版父类,需要用到的函数放在这儿template < typename T>class XBase{public: void insert() {} //类型一致的公用一套代码};template <typename T ,std::size_t length>class XArr : public XBase<T>{public: void test() { cout << FUNCTION << endl;}};XArr<int,10> a10; //产生一个XArr<int,10> class XArr<int,5> a5; //产生XArr<int,5>a10.insert() //XBase<int>::inserta5.insert() //与上面的insert 同一实现虽然无法减少XArr 类的实例化 ,至少减少了insert函数的实例化简单验证一下:union{ void (XArr<int,10>::*pfunc1)(); void (XArr<int,5>::*pfunc2)(); int addr; } up; up.pfunc1= &XArr<int,10>::test; //XArr 自己的函数将生成2份 cout << up.addr << endl; up.pfunc2 = &XArr<int,5>::test; cout << up.addr << endl; up.pfunc1= &XArr<int,10>::insert; //TBase<int> 的insert 只有一份 cout << up.addr << endl; up.pfunc2 = &XArr<int,5>::insert; cout << up.addr << endl;