stl中最難看的組件（沒有之一），無疑就是string這貨了，一百多個成員函數，當然里面大多數是重載的，不必多想，一個class，如果擁有如此之多的函數，必然一定肯定是失敗的，并且，即便是這么一大打函數，string的功能還是很不完備，要不然，就不會有boost里面的string算法。這真是尷尬，string作為最基本最基本的語言組件，又出自官方標準庫，長成這樣子，真是讓無數的c++粉絲要失望，失望歸失望，畢竟師出iso，用起來還是很有保障的，論性能什么，再怎樣，也不會虧到那里去。只是，很讓人好奇的是，這成百個函數又功能不完備的string，里面都有些什么貨色，對此，c++exception系列中有過分析。但是，在此，想探討一下，除了小胡子的方法之外，用其他方法壓縮string的成員函數的數量。
我們先來看看string的append成員函數，怪怪龍的東，總共有8個重載之多，好像還不止，突然想起狗語言的名言，少即是多，反過來說，多即是少。
basic_string<CharType, Traits, Allocator>& append(
const value_type* _Ptr
);
basic_string<CharType, Traits, Allocator>& append(
const value_type* _Ptr,
size_type _Count
);
basic_string<CharType, Traits, Allocator>& append(
const basic_string<CharType, Traits, Allocator>& _Str,
size_type _Off,
size_type _Count
);
basic_string<CharType, Traits, Allocator>& append(
const basic_string<CharType, Traits, Allocator>& _Str
);
basic_string<CharType, Traits, Allocator>& append(
size_type _Count,
value_type _Ch
);
template<class InputIterator>
basic_string<CharType, Traits, Allocator>& append(
InputIterator _First,
InputIterator _Last
);
basic_string<CharType, Traits, Allocator>& append(
const_pointer _First,
const_pointer _Last
);
basic_string<CharType, Traits, Allocator>& append(
const_iterator _First,
const_iterator _Last
);
這么多的重載，其實可分為兩類，一類是迭代器版本的append，對于插入n個相同的字符append，可以看做是特殊迭代器。另一類是連續字節內存塊的append。這里，只關注后一類。雖然有4個之多，但其實只需要一個就行了，那就是 append(const basic_string<CharType, Traits, Allocator>& _Str)。因為字符指針可以隱式轉換為string，另外的兩個重載可以臨時構造string，然后傳遞進append就好了。之所以存在4個，老朽的猜想可能是因為效率，至于調用上的方便性，并沒有帶來多少提高。string的其他類似于用append的通過參數來string的操作，如replace，insert，+=，那么多的重載版本，應該也是同樣的原因。
假如，臨時string對象的構造沒有造成任何性能上的損失，那么，應該就可以減少幾十個成員函數，這無疑很值得嘗試。那么，能否存在廉價的string臨時構造方法，因為它知道自己是臨時對象，只作為臨時參數傳遞的使命，不會在其上面作什么賦值，添加，修改等操作，也就是說，它是不可變的，那么，這個臨時string對象就不需要分配內存了，只要節用ptr作為自己字符串的起始地址，然后以長度作為自己的長度。參數傳遞使命完成后，也不需要銷毀內存了。
可是，C++中，也不僅僅是C++，所有的語言并沒有這樣的機制來判斷對象它在構造的時候，就是僅僅作為參數傳遞來使用的。為了達到這種目的，很多時候還不惜使用引用計數，但是，很多場合，臨時string對象始終要構造緩沖存放字符串，比如這里。
除了C++，任何語言的字符串都是不可變的，任何對于字符串的修改，都意味著要創建另一個全新的字符串來，那怕僅僅是修改了一個字符。其實，不可變的字符串，在C++中運用很廣的，很多時候，我們僅僅只需要不可變的字符串，比如說，這里的append，全部只需要immutable的string。只要知道string是immutable的，那么，c++完全可以高效的應付，既然是immutable，就不需要考慮什么資源分配釋放的龜毛問題了。下面，就嘗試class一個immutable的字符串，這，太容易了。就是：
struct Str
{
typedef const char* PCStr;
PCStr start;
size_t length;
Str(PCStr text, size_t len)
{
start = text;
length = len;
}
//
};
然后，在basic_string中加入operator Str的函數，以完成從一個string到一個Str的隱式轉換，這個隱式轉換簡直沒有任何性能上的損失。還有，string中再增加一個Sub的成員函數，用于截取一段子字符串，也即是immutable的Str對象。顯然，我們的Str其實表達了一個概念，內存中一節連續的字符內存，也即是數組。
最后，append就變成append(Str str);了。Str加不加const，或者Str是否為引用，關系都不大。下面，看看它的運作。
對于，append(const char* text)，由于Str中有一個const char*參數的構造函數，text自動隱式轉換為一個Str，很好；
對于，append(const char* text，size_t count)，用append(Str(text, count))，就地構造一個臨時的Str對象，嗯，語法調用上多了一個Str和一對括號，多了5個字符，的確有點不便。
對于，append(const string& text)，同上，string中有一個operator Str的函數，隱式轉換自動完成。
對于，append(const string& text，size_t offset，size_t count)，用append(text.Sub(offse, count))，就地構造一個臨時的Str對象，嗯，語法調用上多了一個Sub和一對括號和一個點，但是少了一個逗號，多了5個字符，有點不便。
即此以推，string中的replace，insert，assign，+=，=等函數，每個平均減少3個，總共差不多可以減少20個左右啦，而功能上沒有任何減少，可喜可賀。
然后，string中的各種查找比較操作的const的成員函數，比如find，find_first_not_of，rfind等，都可以挪到Str旗下了。因為這些函數，我們也希望可以用之于其他地方，只要那是一塊連續的字符內存好比數組，那么我們就可以就地快速構造一個臨時Str對象，進行find，rfind這些操作了。當然，原來string也可以有這個功能，但是想到僅僅為了做一個find或者find_first_not_of的查找，就要分配內存釋放內存，對于性能優先的巴普洛夫反應的C++猿猴來說，這絕對是望而生畏的大事。現在通過不可變的Str，馬上就釋放出來string的成員函數的隱含的生產力了。 由于Str的廉價和透明性，就可以到處亂使用，想用就用，何其快哉。
原來string沒有了這些查找的函數，每次要用它們，必須轉換這樣調用，((Str)text).find，無疑很不方便，對此，我們只要在string中再增加一個Str的成員函數，以返回臨時Str對象，就可以text.Str().find()，似乎有點不便，但也不是不能接受。
當然，Str也有缺點，那就是它不以0結束，導致很多對于要求以0結束的地方，就變成禁區了，這坑爹的C語言規定。
這不是很明顯嗎？字符串的一部分也是字符串，隨便取出字符串的一節，本來就應該是字符串，這么簡明統一簡潔明顯的概念，這樣可以簡化多少代碼呢，結果，偏偏只有帶有0結束的那一節字符串，才是C語言承認的字符串。一個很好的概念，就這樣在很多地方失去用武之地了。你因為以0結束的字符串很好嗎，要不cstring頭文件中也不會有那么多帶有字符串長度版本的字符函數，如strncpy，來補充了。
對了，有沒有覺得string中的find_last_of，find_first_of，find_last_not_of，find_first_not_of很礙眼啊，顯然這是一種不用組合思想下設計出來的api產物了。其實，別看stl是官方iso的嫡出親子，但是，內中的很多api的設計都不咋樣，實在不是學習的好對象。你還別不服，想想人家C#linq的鏈式調用，那個用起來，才叫痛快。