在C++中这里的拖延战术拥有一个非常优雅的名字 -- Lazy evalution。一旦你的程序中使用了lazy evaluation,那么你就可以在你实际需要某些动作时编写相应的代码,如果不需要,那么相应的动作也就永远都不会执行。
那么我们在什么时候会用的上这样的技术呢?
Reference Counting 引用计数
对于引用技术,相信大部分人都不觉得陌生,在C++中的智能指针shared_ptr便是利用这一技术的最佳人选。
下面要讲的是C++的string类的实现,string类的实现(可能有些库并未采用lazy evaluation的技术)同样采用了引用计数,比如下面是我们经常会遇到的代码:
|
|
关于 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共享的是同一块内存空间即可。当然,这整个过程对于用户来说则是透明的。比如下面的读取操作:
|
|
这样的共享直到某个不得已的瞬间出现,即其中的任何一个字符串发生改变的时候,比如: