上海交通大学《C语言程序设计》课件-第13章泛型机制模板.pptxVIP

编写函数模板，使之将一个数组中的元素按逆序存放 ________________________ void reverseArray( ,int size) { int i; T tmp; for(i=0;isize/2;i++) { ; ; ;} } ; template class T void reverseArray(T array[ ],int size) { int i; T tmp; for(i=0;isize/2;i++) { tmp=array[i]; array[i]=array[size-i-1]; array[size-i-1]=tmp;} } ;第13章 泛型机制—模板;类模板的定义;类模板实例;类模板定义;类模板的成员函数的定义 ; Array的成员函数的实现 ;template class T ArrayT::Array(const ArrayT arr) { low = arr.low; high = arr.high; storage = new T [high - low + 1]; for (int i = 0; i high -low + 1; ++i) storage[i] = arr.storage[i]; } template class T T ArrayT::operator[](int index) { if (index low || index high) {cout “下标越界”; exit(-1); } //这儿用exit好吗？ return storage[index - low]; };第13章 泛型机制—模板;类模板的实例化 ;模板类的对象的使用;第13章 泛型机制—模板;模板的编译;模板的编译;C++的编译和连接;例子;test. cpp和main.cpp各被编译成为不同的.obj文件[假设为test.obj和main.obj]，在main.cpp中，调用了f函数，然而当编译器编译main.cpp时，它所仅仅知道的只是main.cpp中所包含的test.h文件中的一个关于void f();的声明，所以，编译器将这里的f看作外部连接类型，即认为它的函数实现代码在另一个.obj文件中，即test.obj，也就是说，main.obj中实际没有关于f函数的哪怕一行二进制代码，而这些代码实际存在于test.cpp所编译成的test.obj中。在main.obj中对f的调用只会生成一行call指令，类似于call f 。但此时main.obj中并无一行f的实现代码。 那怎么办呢？这就是连接器的任务，连接器负责在其它的.obj中[本例为test.obj]寻找f的实现代码，找到以后将call f这个指令的调用地址换成实际的f的函数进入点地址。需要注意的是：连接器实际上将工程里的.obj“连接”成了一个.exe文件，而它最关键的任务就是上面说的，寻找一个外部连接符号在另一个.obj中的地址，然后替换原来的“虚假”地址。;关键;对于模板;//----------main.cpp------//?templateclass T?void f(T t)?{}?int main()?{ ? ?…//do something? f(10); //call fint 编译器在这里决定给f一个fint的具现体? ? ?…//do other thing? } 如果在main.cpp文件中没有调用过f，f也就得不到具现，从而main.obj中也就没有关于f的任意一行二进制代码！！ 调用了f(10)，则fint得以具现化出来，这样main.obj中也就有了fint函数的二进制代码段。;模板和它的实现分离;编译器在main里并不知道Aint::f的定义，因为它不在test.h里面，于是编译器只好寄希望于连接器，希望它能够在其他.obj里面找到 Aint::f的实现体,在本例中就是test.obj， 然而，后者中没有Aint::f的二进制代码！因为C++标准明确表示，当一个模板不被用到的时侯它就不该被具现出来，test.cpp中没有用到Aint::f，所以实际上test.cpp编译出来的test.obj文件中关于A::f的一行二进制代码也没有，于是连接器就只好给出一个连接错误 如果在test.cpp中写一