更不用说大多数新语言都采用了不可变字符串，例如 D 2.0、Java、C#、Python 等等。
C++是否从不可变字符串中受益？
在 C++（或 C++0x）中是否有可能实现一个不可变字符串类，具备所有这些优点？
更新：
有两个尝试实现不可变字符串：const_string 和 fix_str。 它们都已经半个十年没有更新了。它们是否有用？为什么const_string从未被纳入boost？
我发现这个帖子中大多数人并不真正理解immutable_string是什么。它不仅仅是关于constness（不可变性）。immutable_string的真正威力在于性能（即使在单线程程序中）和内存使用。
想象一下，如果所有字符串都是不可变的，并且所有字符串都像这样实现：
class string {
char* _head ;
size_t _len ;
} ;
如何实现一个子字符串操作？我们不需要复制任何字符。我们只需要分配 _head 和 _len，然后子字符串就共享与源字符串相同的内存段。
当然，只有这两个数据成员是无法真正实现不可变字符串的。真正的实现可能需要一个引用计数（或飞行权重）的内存块。像这样：
class immutable_string {
boost::fly_weight<std::string> _s ;
char* _head ;
size_t _len ;
} ;
在大多数情况下，无论是内存还是性能，与传统字符串相比，使用不可变字符串都会更好，特别是当您知道自己在做什么时。
当然，C++也可以从不可变字符串中受益，并且拥有一个不可变字符串很好。我已经查看了Cubbi提到的boost::const_string和fix_str，它们应该就是我所说的内容。
这真的值得做成标准库特性吗？我认为不值得。使用 const 可以给你本地不可变的字符串，并且系统编程语言的基本特性意味着你确实需要可变的字符串。
std::string基本兼容——但与具有专用优化和语言功能的内置字符串类进行比较仍将失败。
std::string是我们得到的最好的标准字符串，因此我不想看到任何对它的干扰。尽管如此，我很少使用它；std::string从我的角度来看有太多缺点。std::string 是最好的标准字符串，但你很少使用它，因为它有太多的缺点，那么你会使用什么？ - Evgeniy BerezovskyCString（请不要打死我）。当时，CString 的明确定义的写时复制机制也比 std::string 更具性能保证优势。 - peterchenA$(4)=A$(6)这样的语句只会复制长度和指针；它不必复制任何数据。微软的垃圾回收算法实现得不好（非常慢），但代码有可能确定何时进行GC循环... - supercatconst std::string
就是这样。一个字符串字面值也是不可变的，除非你想进入未定义的行为。
编辑：当然，这只是故事的一半。一个常量字符串变量是没有用的，因为你不能让它引用一个新的字符串。对一个常量字符串的引用会做到这一点，但是C++不允许像Python等其他语言中那样重新分配引用。最接近的方法是使用指向动态分配字符串的智能指针。
std::string::replace 返回一个修改后的副本而不是导致编译错误。 - peterchenconst std :: string 是一个近似的选择，但没有一些好处。 - peterchenreplace类型会很好，一种是当前的replace，另一种是replaced，后者操作常量引用并返回已进行替换的副本。后者可以避免重复复制所有东西。但是，只要我们缺少这样的函数，我们就必须使用Noah的解决方法，这是一个合理的替代方法。更好的答案是完全支持std::string的不可变变体。 - Steven SuditQt 也使用了带有写时复制的不可变字符串。
对于性能提升到底有多少，这还存在一些争议，尤其是在使用良好的编译器时。
常量字符串在值语义方面意义不大，共享也不是C++的最大优势...
Ruby 中的字符串是可变的。
$ irb
>> foo="hello"
=> "hello"
>> bar=foo
=> "hello"
>> foo << "world"
=> "helloworld"
>> print bar
helloworld=> nil
在编写代码时，我倾向于忘记安全性的论点。如果您想要实现线程安全，锁定它或不要触及它。C++并不是一种方便的语言，您需要有自己的约定。
不，在进行指针算术和对地址空间的未受保护访问时，就可以放弃安全了。更安全的是针对无心之失的糟糕编码。
除非您实施CPU密集型机制，否则我看不出如何做到更加占用内存。
这将是一个非常好的优点。可以通过引用带有后向引用的字符串来实现，其中对字符串的修改会导致副本。标记化和切片变得免费，突变变得昂贵。