一个关于字符串的打印实验

第一部分

题目与答案

题目

打印结果

解析

• 这里的TLog是自己定义的一个宏函数#define TLog(_var) ({ NSString *name = @#_var; NSLog(@"%@: %@ -> %p : %@", name, [_var class], _var, _var); })
• mutableString
  • 它是一个根据方法创建的可变字符串【废话，可变字符串不能通过字面量创建，不然会报警告Incompatible pointer types initializing ‘NSMutableString *’ with an expression of type ‘NSString *’】
  • 所有的mutableString对象类型为__NSCFString【继承链：__NSCFConstantString -> __NSCFString -> NSMutableString -> NSString -> NSObject】
    • 它的特征是它属于一个普通的对象，不是字符串常量，创建时获得1的引用计数
    • 通过 NSString 的 stringWithFormat 等方法创建的 NSString 对象一般都是这种类型，存储在堆上
• a
  • 我们对于可变字符串执行了copy操作，应该会生成一个不可变的副本，同时拷贝将会是深拷贝【可以这么理解，如果将被拷贝的称为父本，拷贝结果称为子本，那么我们要求是子本是不可变的，也就是父本变，子本不能变；由于我们的父本是可变的，所以我们只能选择进行深拷贝，简单的指针复制会出现子本跟着父本一起变得情况】
  • 所以我们的a会是一个完整的拷贝，所以地址肯定是跟mutableString不一样的
    • 这里可以深入探究下，我们的copy操作可以看作是一个使用stringWithFormat方法创建不可变字符串，由于我们的123是一个很简单的字符串【不长也不带中文】，所以我们生成的会是NSTaggedPointerString对象，它也是属于唯一的，值一样，地址就一样
• b
  • 我们对于可变字符串进行了mutableCopy的操作，应该要生成一个可变的副本，显然也是深拷贝
  • 因此我们的b也是一个完整的拷贝，地址和mutableString，是不一样的
  • 那么和a会不会是一样的呢？
    • 也不会
    • 因为mutableCopy的操作就类似于用NSMutableString的方法去创建字符串，只会生成__NSCFString类型的
    • 它就相当于是一个普通对象，存在堆上，创建100个地址也是各不相同
• c
  • c和b的解释完全一样
• d
  • d和a的情况一模一样
• string
  • string是我们使用字面量语法创建的字符串
  • 字面量语法创建的就会是一个__NSCFConstantString，就是我们说的存在常量区的那种
  • 他也是独一份，值一样，地址就一样

总结

• 这已经没什么好往下写的了，总结一下【默认深拷贝的情况】
• copy：
  • copy方法的本质就是用NSString的stringWithFormat方法创建的不可变字符串
  • 它遵循其看人下菜的本质，对于不同的字符串，会生成不同的类型【其实也就__NSCFString和NSTaggedPointerString两种】
• mutableCopy：
  • mutableCopy方法的本质就是用NSMutableString的stringWithFormat方法创建的可变字符串
  • 它遵循着一根筋的本质，对于所有字符串，都只会生成__NSCFString这一种类型
• 是的，这些情况只和调用方法的本质有关，和方法调用者，接收的指针类型都没有关系

第二部分

题目与答案

题目

打印结果

总结

• 这个原因比较简单，就不具体一个个分析了
• 对于copy关键字，不管我们用它修饰什么对象，对于赋值给这个属性的对象：
  • 如果是不可变对象：copy相当于strong，只会给该对象的引用计数加1，不会创建副本
  • 如果是可变对象：会创建一个不可变的副本，这里相当于使用了copy方法，符合上面我们说的copy特性

附言

• 想要理解这篇文章我们在探究什么，你需要了解内存区，引用计数，NSString继承链，taggedpointer优化机制