iOS面试题程序员iOS 深度好文

NSString 的内存问题

2017-06-08  本文已影响165人  西风那个吹呀吹

NSString 在 OC 的内存管理策略中是一个特殊的存在,因为其在编译和运行中做了一些优化处理,不同于普通对象的存在,看看下面代码打印情况(此代码测试环境为MRC,可以在ARC工程下,设置当前测试代码文件为手动内存管理,找到路径Build Phases---->Compile Sources---->XXX.m,将XXX.m的Compiler Flags设置为"-fno-objc-arc".):

//宏定义
#define XWLog(_var) ({ NSString *name = @#_var; NSLog(@"变量名=%@,类型=%@, 地址=%p,值=%@,引用计数=%d", name, [_var class], _var, _var, (int)[_var retainCount]); })
    //测试代码
    NSString *a = @"string";
    NSString *b = [[NSString alloc]init];
    NSString *c = [[NSString alloc]initWithString:@"string"];
    NSString *d = [[NSString alloc]initWithFormat:@"string"];
    NSString *e = [NSString stringWithFormat:@"string"];
    NSString *f = [NSString stringWithFormat:@"123456789"];
    NSString *g = [NSString stringWithFormat:@"1234567890"];
    XWLog(a); XWLog(b); XWLog(c); XWLog(d); XWLog(e); XWLog(f); XWLog(g);
    //打印结果
    变量名=a,类型=__NSCFConstantString, 地址=0x1015f3120,值=string,引用计数=-1
    变量名=b,类型=__NSCFConstantString, 地址=0x1019808d0,值=,引用计数=-1
    变量名=c,类型=__NSCFConstantString, 地址=0x1015f3120,值=string,引用计数=-1
    变量名=d,类型=NSTaggedPointerString, 地址=0xa00676e697274736,值=string,引用计数=-1
    变量名=e,类型=NSTaggedPointerString, 地址=0xa00676e697274736,值=string,引用计数=-1
    变量名=f,类型=NSTaggedPointerString, 地址=0xa1ea1f72bb30ab19,值=123456789,引用计数=-1
    变量名=g,类型=__NSCFString, 地址=0x60800002b580,值=1234567890,引用计数=1

从打印结果看出,变量 b 到 f 的引用计数为-1,若是无符号格式输出,应该是一个很大的数字,与我们理解的对象初始化后引用计数为 1 所不同,不同的创建方式,字符串的类型不同,引用计数也有区别,创建的字符串有三种类型:

__NSCFConstantString
__NSCFString
NSTaggedPointerString

造成这种情况是由于 OC 对 NSString 的内存优化产生的。

文字常量区存放常量字符串,程序结束后由系统释放,也就是说指向常量表的指针不受引用计数管理。所以对于NSCFConstantString类型的变量,OC 的内存管理策略对其无效。

Tagged Pointer指针的值不再是地址了,而是真正的值。所以,实际上它不再是一个对象了,它只是一个披着对象皮的普通变量而已。所以,它的内存并不存储在堆中,OC 对象的内存管理方式对其无效。

现在,我们在看看这道题:

在MRC下,会不会造成内存泄漏?会不会奔溃?
NSString *str = [[NSString alloc] initWithString:@"ABC"];
str = @"123";
[str release];
NSLog(@"%@".str);

一目了然,str指向字符串常量,对象的内存管理方式对其无效,程序结束时,系统才会销毁常量区的值。所以不会造成内存泄漏更不会奔溃。

接下来我们再看看NSArray的平时注意不到的问题:

    NSArray *a1 = @[@"1",@"2"];
    NSArray *a2 = [[NSArray alloc]init];
    NSArray *a3 = [[NSArray alloc]initWithObjects:@"1", nil];
    NSArray *a4 = [[NSArray alloc]initWithArray:@[@"a",@"b"]];
    NSArray *a5 = [NSArray arrayWithObjects:@"m",@"n", nil];
    NSArray *a6 = [[NSArray alloc]init];
    NSArray *a7 = @[];

    XWLog(a1); XWLog(a2); XWLog(a3); XWLog(a4); XWLog(a5); XWLog(a6);XWLog(a7);

打印结果:

变量名=a1,类型=__NSArrayI, 地址=0x608000029400,值=(1,2),引用计数=1
变量名=a2,类型=__NSArray0, 地址=0x618000012490,值=(),引用计数=-1
变量名=a3,类型=__NSSingleObjectArrayI, 地址=0x608000012890,值=(1),引用计数=1
变量名=a4,类型=__NSArrayI, 地址=0x608000029440,值=(a,b),引用计数=1
变量名=a5,类型=__NSArrayI, 地址=0x608000029460,值=(m,n),引用计数=1
变量名=a6,类型=__NSArray0, 地址=0x618000012490,值=(),引用计数=-1
变量名=a7,类型=__NSArray0, 地址=0x618000012490,值=(),引用计数=-1

从结果看出,只有a2 a6 a7这三个的引用计数为-1,其他变量的引用计数为1,显示正常。我们仔细发现,这三个的地址相同,这就是说三个变量指向了同一块内存,说明a2 a6 a7三个创建方式创建的空实例是一个特殊值的存在,其应该存储在常量静态区。我们可以猜测,OC为了优化内存,在常量静态区创建一个空值的特殊存在,应该是静态常量对象,无论什么方式创建的空实例,其都指向静态区这个空值的。

不仅是NSArray,Foundation中如NSString, NSDictionary, NSSet等区分可变和不可变版本的类,空实例都是静态对象(NSString的空实例对象是常量区的@""),对象的内存管理策略对其无效。

参考

上一篇下一篇

猜你喜欢

热点阅读