今天在看《C++ Strategies and Tactics》的时候发现了一段非常有意思的代码：

1 class Complex_rep { 2 private: 3     friend class Complex; 4     double real_d; 5     double image_d; 6     Complex_rep(double r, double i) : real_d(r), image_d(i) { 7          8     } 9 };10 11 class Complex {12 private:13     Complex_rep *rep;14 public:15     Complex(double r, double i)16         :rep(new Complex_rep(r, i)) {}17     ~Complex() { delete rep; }18 };

     可以看到Complex表示复数(complex)数据结构，但是有意思的是数据成员(复数的实部和虚部)并没有存储在Complex内部，而是在一个Complex_rep类中。在Complex_rep中将Complex声明为友元类，这样Complex就可以访问Complex_rep中的所有成员和方法。同时将Complex_rep的构造函数声明为private类型，这样在类体外部就不能Complex_rep的实例，只能通过友元类Complex创建。

     这样表示的意义是说，Complex_rep是类Complex所独有的，只能通过Complex创建和访问，别的任何类都不能创建Complex_rep实例。

（往下看第三章的时候才知道这种方法在C++中叫做 句柄 (handle)）。

 

     将构造函数声明为private的技巧在设计模式的“Singleton模式”也有应用，一个Singleton类定义如下：

1 class Singleton { 2 public: 3     static Singleton* instance(); 4 protected: 5     Singleton(); 6 private: 7     static Singleton* _instance; 8 }; 9 10 Singleton* Singleton::_instance = 0;11 12 Singleton* Singleton::instance() {13     if(_instance == 0) {14         _instance = new Singleton;15     }16     return _instance;17 }

     客户仅通过instance()成员函数访问这个单件。变量_instance初始化为0，而静态成员函数interface()返回其变量值，如果其值为0则用唯一实例初始化它。instance()使用惰性（lazy）初始化：_instance直到第一次被访问时才会创建和保存。