Immutable模式与string类的实现

约定不等于承诺〃 2022-07-14 07:19 157阅读 0赞

Immutable模式与string类的实现 梗概  
禁止改变对象的状态，从而增加共享对象的坚固性、减少对象访问的错误，同时还避免了在多线程共享时进行同步的需要。

实现方法：在对象构造完成以后就完全禁止改变任何状态信息。如果需要改变状态，则生成一个状态与原对象不同的新对象。

场景  
假设你正在为一家游戏公司开发一个和外太空、宇宙飞船有关的游戏，当然你有必要用某种方式来表示一艘宇宙飞船（不管它是属于地球人的还是属于外星人的）所 处的位置。很自然的，你决定编写一个Position类。从一个Position对象应该可以查询到当前位置的x坐标和y坐标（我们的游戏比较简单，二维 地图，呵呵），还应该可以根据输入的偏移量得到新的位置。很正确的设计，不是吗？（见例1）

例1：Position的设计

class Position\{  
private:  
int x, y; //简单点，用整型数来表示坐标  
public:  
Position(int x, int y)\{ //ctor需要两个参数。  
this->x = x;  
this->y = y;  
\}  
int getX( )\{ return x; \}  
int getY( )\{ return y; \}  
void Offset(int offX, int offY)\{ //根据偏移量得到新的位置  
x+=offX;  
y+=offY;  
\}  
\}

但是，如果我们的Position需要在多线程环境下使用，它能保证线程安全吗？答案是很明显的No！如果两条线程同时调用同一个Position 对象的Offset函数，你就无法保证得到的结果是什么了。所以，为了保证线程安全，也许你还会想给Offset函数加上同步机制——麻烦了！  
换个角度想想怎么样？假如我们根本不让Offset函数修改Position的内容？假如我们让Offset函数生成一个新的Position对象？如果 是这样，Position对象就已经是线程安全的了——它没有任何“写”操作，而没有写操作的类是不需要同步的。于是我们这样做了，并且很轻松的得到了一 个线程安全的Position类。（见例2）

例2：线程安全的Position类（这里只展示Offset函数）

Position Position::Offset(int offX, int offY)\{ //根据偏移量得到新的位置  
return Position(x+offX, y+offY);  
\}

约束  
你有一个天性被动的类。这个类的实例不需要改变自己的状态。同时这个类的实例还被其他多个对象共享。  
正确协调被共享的对象的状态改变非常困难。当一个对象的状态发生改变时，所有使用它的对象都应该得到通知。这造成了对象之间的紧耦合。  
在多线程共享时，还需要使用同步机制来保证线程安全性。  
解决方案  
为了避免状态改变带来的诸多麻烦，不允许对实例的状态做任何修改。具体的做法就是：不在类的公开接口中出现任何可以修改对象状态的方法，只出现状态读取方法。如果client需要不同的状态，就生成一个新的对象。（见图1）

![0931122624-0.gif][]

图1　Immutable模式的类图

效果  
不再需要协调状态修改的代码，也不再需要协调任何同步代码。  
生成了更多的对象。增加了对象生成和销毁的开销。  
实现  
　  
Immutable模式的实现主要有以下两个要点：

1．除了构造函数之外，不应该有其它任何函数（至少是任何public函数）修改任何成员变量。  
2．任何使成员变量获得新值的函数都应该将新的值保存在新的对象中，而保持原来的对象不被修改。

在“效果”中我已经讲到：Immutable模式会大大提高对象生成和销毁的频率。因此，在C++中实现Immutable模式时，还必须特别注意 对象的生存周期。你可以尝试用智能指针\[Meyers96, Item28\]来帮助你处理对象的销毁问题，但是无论如何你都必须仔细检查以确保没有内存泄漏——如果每艘飞船的每次移动都会造成内存泄漏，你的游戏该是 多么糟糕！

此外，Immutable模式还有一种变体：Read Only Object模式。它的做法是：当一个类的对象对于某些client可写、某些client不可写时，让这个类实现一个ReadOnly接口。然后让可写 的client直接访问对象，而让不可写的client通过ReadOnly接口访问该对象，从而实现了不同的读写权限控制。（如图2所示）

![0931121C9-1.gif][]

图2　Read Only Object模式

Immutable模式与string类的实现策略  
如果你也读过\[Meyers96\]，我想你一定对那个应用在String类上的COW（Copy-On-Write）策略\[Meyers96, Item29\]印象深刻。COW策略是“lazy evaluation”的发展形式。如果对String类的写操作数量很少，那么COW策略将大大提高整个String类的效率，并大大降低空间开销。

可是你知道吗？在STL中的string类并没有采用COW策略，从例3就可以看出这一点。为什么？为什么这么好的策略没有得到采用？相信你从 \[Meyers96\]中便可发现：实际在String类上实现COW策略是如此复杂。更何况我们还必须考虑线程安全的问题。我完全有理由认为：正是因为考 虑到这些复杂的情况，STL的实现者们才最终决定用一个比较低效但是安全的实现方案。

例3：STL中的string::operator=和string::operator\[\]

//下面代码出自SGI STL 2000年6月8日版本  
//为了帮助读者理解，我做了些微改动，并在关键位置加上注释

//如果使用COW策略，operator=应该不做内容复制，而是进行引用计数  
string& string::operator=(const string& s) \{

if (&s != this)  
assign(s.begin(),s.end()); // 这里的operator=只是简单的内容复制而已  
return \*this;  
\}

//如果使用COW策略，const的operator\[\]和非const的operator\[\]应该不同  
//但是这里两个operator\[\]完全相同  
const char & string::operator\[\](int n) const  
\{ return \*(\_M\_start + n); \} //\_M\_start是字符数组的起始位置  
char & string::operator\[\](int n)  
\{ return \*(\_M\_start + n); \}

看到这些，我不能不开始猜想：为什么STL的设计者们一定要保留这些给他们造成麻烦的“修改函数”（即可以修改string内容的函数）？我想，这 是因为他们希望让string的行为方式尽量接近于C语言的char \*型字符串。不然，我真的想不出其他任何保留operator\[\]的理由。

那么，如果不必非要让string类的行为方式接近char \*型字符串，如果string类的读操作应用频率远远大于写操作（在实际应用中这是很常见的），你会考虑如何实现一个string类？啊，也许你已经想到 了：Immutable模式。你可以很舒服的使用\[Meyers96\]教你的引用计数方法来节约存储空间，你不必再担心写操作的同步问题或别的什么，因为 已经没有写操作。任何改变字符串内容的操作都将得到一个新的string对象。而对象生存期管理和存储空间管理这两个大问题也因为Immutable模式 的引入而大大简化，你完全可以参照\[Meyers96\]第183页到第189页的内容自己来解决它们。

代码示例  
我用了一天的时间，做了一个简单的ImmutableString实现。其中实现细节用了Proxy类\[Meyers96\]，并参考了COM的引用计数规 则\[Pan99\]。在这个例子中，读者可以感觉到：Immutable模式大大简化了共享空间的字符串类型的实现，并为其中的一些方法（比如 subString）的实现提供了非常大的便利。本来我想把代码放在文章里面，但是时间和空间受限，最后决定放弃。

在该代码中，我做了一个简单的效率测试：反复进行字符串对象的赋值（operator=）操作。结果表明：ImmutableString的效率比 std::string高出了一倍左右。假如你的业务就是不断的读取数据库、不断的赋值、不断的输出，而不对字符串进行修改，那么 ImmutableString的效率提升是非常可观的。

该示例代码在VC .NET下编译通过。

相关模式  
经常会使用Abstract Factory模式\[GOF95\]来创建新的对象。

大量的对象经常通过Flyweight模式\[GOF95\]被共享。

参考书目  
\[Meyers96\] Scott Meyers, More Effective C++, Addison-Wesley, 1996.

\[GOF95\] Erich Gamma etc., Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995. 中译本：《设计模式：可复用面向对象软件的基础》，李英军等译，机械工业出版社，2000 年9月。

\[PAN99\] 潘爱民，《COM原理与应用》，清华大学出版社，1999年11月。

[0931122624-0.gif]: http://www.svn8.com/uploads/allimg/090718/0931122624-0.gif
[0931121C9-1.gif]: http://www.svn8.com/uploads/allimg/090718/0931121C9-1.gif