理解C++编译器编译模板类的过程（1）

会计考友

　　前言
　　常遇到询问使用模板到底是否容易的问题，我的回答是：“模板的使用是容易的，但组织编写却不容易”。看看我们几乎每天都能遇到的模板类吧，如STL, ATL, WTL, 以及Boost的模板类，都能体会到这样的滋味：接口简单，操作复杂。
　　本文对象是那些熟悉模板但还没有很多编写模板经验的程序员。本文只涉及模板类，未涉及模板函数。但论述的原则对于二者是一样的。
! a* l; x1 Y; _. X　　问题的产生
% D7 Z, {3 s' Y. D　　通过下例来说明问题。例如在array.h文件中有模板类array：
& {1 ^) U# i- Y/ z4 l; }　　// array.h
　　template
　　class array
　　{
　　T data_[SIZE];
　　array (const array& other);
　　const array& operator = (const array& other);
6 o8 d0 L. L5 K1 X+ Z% \7 D& U4 K1 z7 M' l　　public:
0 q' S& t( U! D; i4 Y　　array(){};
; ^' O$ m# o, C2 p. W; x+ X　　T& operator[](int i) {return data_;}
- H$ L5 ^2 B" D" _　　const T& get_elem (int i) const {return data_;}
　　void set_elem(int i, const T& value) {data_ = value;}
　　operator T*() {return data_;}
6 a+ m* r1 @0 `! d0 }　　};
- E/ J  k! \4 q　　然后在main.cpp文件中的主函数中使用上述模板：
　　// main.cpp
　　#include "array.h"
; i" {: r$ R* @. G　　int main(void)
　　{
+ h- h' X! o% a( v　　array intArray;
9 I2 Z. _( d( I6 |# U# G( d1 S! G　　intArray.set_elem(0, 2);
　　int firstElem = intArray.get_elem(0);
4 @  a2 Z1 C$ ~　　int* begin = intArray;
　　}