为什么编程语言会设计不可变的对象?字符串不可变？NSString *s = @“hello“变量s是不可变的吗?Rust内部可变性的意义？

为什么编程语言会设计不可变的对象?

Java和C#中String是不可变的，StringBuilder是可变的。Obj-C中NSArray是不可变数组，NSMutableArray是可变数组。编程语言设计不可变的对象其实是为了优化(更高性能和节省存储空间)、安全(包括线程安全)。

字符串不可变？

经常在不同编程语言听到这种说法，要理解其中的含义需要了解编译器的机制。

• C# string类型字符串是不可变的，但可以看到string变量可以用新字符串赋值，这合理吗？根本在于，string变量是一个引用/地址或者指针，它是可变的，不可变的是可能用于赋值的字符串字面量。

不可变的字符串

• Java/C#/Kotlin 等语言的常规字符串都是不可变，如果要用可变字符串，需要用特定的字符串类。

易用错的API

• C# 字符串ToUpper()、ToLower()、Trim*函数看起来是会改变字符串的值，实际上，对于string类型它是不可变的，调用这些函数并不会改变string字符串本身，而是返回了新的修改过的字符串，切记！

NSString *s = @"hello"变量s是不可变的吗?

先说结论，s指针是可变的，可指向其他对象，但@"hello"字符串字符本身不可变。编程语言设计的不可变字符串是指对应的字符串不可被修改，可以共用、优化处理。但它返回给一个指针保存，此指针本身所指向地址是可以修改的，但内容不能改变。如果需要s不可指向其他地址，可以加const约束，例如NSString * const s = @"Objective-C";

Rust内部可变性的意义

C++ mutable是对const的强制可修改性，Rust同样面临一个看起来不希望被改动的结构或变量，内部还是有机会去修改，如何平衡外部不可变和内部希望修改的矛盾，内部可变性由此诞生。

---

若文章对您有帮助，欢迎关注 程序员小迷 。助您在编程路上越走越好！

微风不燥，阳光正好，你就像风一样经过这里，愿你停留的片刻温暖舒心。

我是 程序员小迷 （致力于C、C++、Java、Kotlin、Android、iOS、Shell、JavaScript、TypeScript、Python等编程技术的技巧经验分享），若作品对您有帮助，请关注、分享、点赞、收藏、在看、喜欢，您的支持是我们为您提供帮助的最大动力。