属性修饰词weak,strong,copy,assign及ato

2021-04-28  本文已影响0人  青菜白玉堂

在iOS开发中定义@property属性时,经常用到assign、weak、strong、copy等关键字。我们经常会考虑在何时应该使用哪个关键字,尤其是在面试的时候,经常会被问到这些关键字之间的区别。

1.首先我们需要明确,对象的内存一般被分配到堆上,基本数据类型和OC数据类型一般被分配在栈上。
2.栈上内存由系统分配和释放,堆上内存由程序员手动释放

weak

weak:修饰Object类型,修饰的对象在释放后,指针地址会被置为nil,是一种弱引用。
在ARC环境下,为避免循环引用,往往会把delegate属性用weak修饰;在MRC下使用assign修饰。
weak和strong不同的是:当一个对象不再有strong类型的指针指向它的时候,它就会被释放,即使还有weak型指针指向它,那么这些weak型指针也将被清除。

weak释放为nil过程

weak被释放为nil,需要对对象整个释放过程了解,如下是对象释放的整体流程:
1、调用objc_release
2、因为对象的引用计数为0,所以执行dealloc
3、在dealloc中,调用了_objc_rootDealloc函数
4、在_objc_rootDealloc中,调用了object_dispose函数
5、调用objc_destructInstance
6、最后调用objc_clear_deallocating。

对象准备释放时,调用clearDeallocating函数。clearDeallocating函数首先根据对象地址获取所有weak指针地址的数组,然后遍历这个数组把其中的数据设为nil,最后把这个entry从weak表中删除,最后清理对象的记录。

objc_clear_deallocating该函数的动作如下:

1、从weak表中获取废弃对象的地址为键值的记录
2、将包含在记录中的所有附有 weak修饰符变量的地址,赋值为nil
3、将weak表中该记录删除
4、从引用计数表中删除废弃对象的地址为键值的记录

rntime维护了一个hash(哈希)表,用于存储指向某个对象的所有weak指针。weak表其实是一个hash(哈希)表,Key是所指对象的地址,Value是weak指针的地址(这个地址的值是所指对象指针的地址)数组。

assign

assign:用于对基本数据类型进行赋值操作,不更改引用计数。
也可以用来修饰对象,但是,被assign修饰的对象在释放后,指针的地址还是存在的,也就是说指针并没有被置为nil,成为野指针。如果后续在分配对象到堆上的某块内存时,正好分到这块地址,程序就会crash。之所以可以修饰基本数据类型,因为基本数据类型一般分配在栈上,栈的内存会由系统自动处理,不会造成野指针。

1.1 使用assign修饰基本数据类型

assign修饰基本数据类型或OC数据类型,因为基本数据类型是分配在栈上的,由系统分配和释放,所以不会造成野指针。

1.2 使用assign修饰对象

如果用assign修饰对象,当对象释放后(因为不存在强引用,离开作用域对象内存可能被回收),指针的地址还是存在的,也就是说指针并没有被置为nil,下次再访问该对象就会造成野指针异常。 【对象是分配在堆上的,堆上的内存由程序员手动释放。】

strong

strong:强引用,我们在用strong 修饰属性的时候,我们可以理解为 是对对象的 直接引用。
类似于,我有一个苹果,你想用我的苹果,我把我的苹果交到你的手里,然后你把苹果咬了一口,其实那是我的苹果被咬了一口,你还我的时候,我的苹果已经不完整了。
也就是说我们用 strong 修饰的属性,无论我们在哪里改动他了,改变的都是最初的他。(利用这个特性我们可以做很多事,尤其是跨多个页面刷新本地缓存的功能)
strong声明后的对象会更改引用计数,那么每次被引用,引用计数都会+1,释放后就会-1,即使这个对象本身释放了,只要还有对象在引用它,就会持有,不会造成什么问题,只有当引用计数为0时,就被dealloc析构函数回收内存了。

 NSMutableArray *firstArray = [NSMutableArray array];

那么strong修饰的对象什么时候会被释放呢?

那么strong修饰的对象是怎么保存新值,释放旧值的?

- (void)setName:(NSString *)name
{
    [name retain];
    [_name release];
    _name = name;
}

copy

copy:会在内存里拷贝一份对象,两个指针指向不同的内存地址。一般用来修饰NSString等有对应可变类型的对象,因为他们有可能和对应的可变类型(NSMutableString)之间进行赋值操作,为确保可变对象变化时,对象中的字符串不被修改 ,应该在设置属性时拷贝一份。而若用strong修饰,如果可变对象变化,对象中的字符串属性也会跟着变化。

扩展

1.深拷贝,浅拷贝

拷贝的目的:产生一个新的副本对象,跟原对象互不影响;

2. 修饰可变对象与不可变对象用strong,还是copy?使用copy修饰NSMutableArray会怎样?使用strong修饰NSArray会怎样?

http://blog.csdn.net/winzlee/article/details/51752354

@property(strong,nonatomic)NSArray * arry1;
@property(copy,nonatomic)NSArray * arry2;

    NSMutableArray * muArry = [NSMutableArray arrayWithArray:@[@1]];
    self.arry1 = muArry;
    self.arry2 = muArry;

    NSLog(@"muArry 地址: %p  ---  %@", muArry,[muArry class]);
    NSLog(@"arry1 地址: %p  ---  %@", self.arry1 ,[self.arry1  class]);
    NSLog(@"arry2 地址: %p  ---  %@", self.arry2 ,[self.arry2  class]);

    NSLog(@"strong修饰NSArray --- %@ --- copy修饰NSArray --- %@",self.arry1,self.arry2);
    [muArry addObject:@2];
    NSLog(@"strong修饰NSArray --- %@ --- copy修饰NSArray --- %@",self.arry1,self.arry2);

打印:
muArry 地址: 0x6000031e62b0  ---  __NSArrayM
arry1 地址: 0x6000031e62b0  ---  __NSArrayM
arry2 地址: 0x600003d8cf60  ---  __NSSingleObjectArrayI

strong修饰NSArray --- (
    1
) --- copy修饰NSArray --- (
    1
)
strong修饰NSArray --- (
    1,
    2
) --- copy修饰NSArray --- (
    1
)

被strong修饰之后,由于只是强引用,所以副本对象数组和源对象数组只是指向同一个内存区域,这样就会造成副本对象数组会随着源对象数组的改变而改变
被copy修饰之后,源对象数组被copy了一份,源对象数组和副本对象数组是不同的,所以副本对象数组并不会随着源对象数组改变。

3.block属性为什么需要用copy来修饰?

因为在MRC下,block在创建的时候,它的内存是分配在栈(stack)上的,而不是在堆(heap)上,可能被随时回收。他本身的作于域是属于创建时候的作用域,一旦在创建时候的作用域外面调用block将导致程序崩溃。通过copy可以把block拷贝(copy)到堆,保证block的声明域外使用。在ARC下写不写都行,编译器会自动对block进行copy操作。

__block与__weak的区别

__block:在ARC和MRC下都可用,可修饰对象,也可以修饰基本数据类型。

__block对象可以在block被重新赋值,__weak不可以。

__weak:只在ARC中使用,只能修饰对象,不能修饰基本数据类型(int、bool)。
同时,在ARC下,要避免block出现循环引用,经常会:__weak typedof(self) weakSelf = self;

atomic

nonatomic

在不添加atomic或nonatomic的情况下,默认的是atomic
解释

atomic修饰的属性,系统生成的 getter/setter 会保证 get、set 操作的完整性,不受其他线程影响。比如,线程 A 的 getter 方法运行到一半,线程 B 调用了 setter:那么线程 A 的 getter 还是能得到一个完好无损的对象。

nonatomic修饰的属性,不做保持getter完整性保证,但在运行速度上要比atomic快

快速理解

假设有一个 atomic 的属性 "name",如果线程 A 调[self setName:@"A"],线程 B 调[self setName:@"B"],线程 C 调[self name],那么所有这些不同线程上的操作都将依次顺序执行——也就是说,如果一个线程正在执行 getter/setter,其他线程就得等待。因此,属性 name 是读/写安全的。

但是,如果有另一个线程 D 同时在调[name release],那可能就会crash,因为 release 不受 getter/setter 操作的限制。也就是说,这个属性只能说是读/写安全的,但并不是线程安全的,因为别的线程还能进行读写之外的其他操作。线程安全需要开发者自己来保证。

如果 name 属性是 nonatomic 的,那么上面例子里的所有线程 A、B、C、D 都可以同时执行,可能导致无法预料的结果。如果是 atomic 的,那么 A、B、C 会串行,而 D 还是并行的。

简单来说,就是 atomic 会加一个锁来基本保障线程安全(但不能保证线程安全),并且引用计数会 +1,来向调用者保证这个对象会一直存在。假如不这样做,如有另一个线程调 setter,可能会出现线程竞态,导致引用计数降到0,原来那个对象就释放掉了。

参考:
https://www.jianshu.com/p/f331bd5ce8f8
https://www.jianshu.com/p/8dd0705dc586?utm_source=desktop&utm_medium=timeline
https://www.jianshu.com/p/709d8638108e
https://www.jianshu.com/p/9cb898db8a63
https://www.jianshu.com/p/0c4b6d7e5fde
https://www.jianshu.com/p/bd4cc82e09c5
https://blog.csdn.net/qq_27909209/article/details/82689322

上一篇 下一篇

猜你喜欢

热点阅读