C++的拖延战术：lazy evaluation

在C++中这里的拖延战术拥有一个非常优雅的名字 －－ Lazy evalution。一旦你的程序中使用了lazy evaluation，那么你就可以在你实际需要某些动作时编写相应的代码，如果不需要，那么相应的动作也就永远都不会执行。

那么我们在什么时候会用的上这样的技术呢？

Reference Counting 引用计数

对于引用技术，相信大部分人都不觉得陌生，在C++中的智能指针shared_ptr便是利用这一技术的最佳人选。

下面要讲的是C++的string类的实现，string类的实现（可能有些库并未采用lazy evaluation的技术）同样采用了引用计数，比如下面是我们经常会遇到的代码：

1 2 3

class string {....}; string s1 = "Hexo"; string s2 = s1;

关于 string s2 ＝ s1的行为，其实取决于string类的copy ctor的实现方式，如果string类采用的时eager evaluation的方式，这就意味着，当s2被创建的时候，copy ctor负责为s2分配内存空间，并且拷贝s1的内容到s2的内存中。设想一下，如果s2的值并未被使用或者是在之后的语句中对于s2只是读取，并未修改，那么上述的copy ctor的工作便是白白浪费掉了的。如果在一个程序中大量出现这样的对象的创建，那么对于整个程序的冲击无疑时很大的。

此时，lazy evaluation可以省去上述的很多工作，因为此时s2与s1共享同一块内存空间，直到不得不分配自己的空间时。这个过程省去了“分配内存”以及“字符串拷贝”的工作，只需要做一些简单的记录，表示当前s2与s1共享的是同一块内存空间即可。当然，这整个过程对于用户来说则是透明的。比如下面的读取操作：

1 2	cout << s1 << " " << s2 << endl; cout << s1 + s2 << endl;

这样的共享直到某个不得已的瞬间出现，即其中的任何一个字符串发生改变的时候，比如：