首先，研究ios循环引用，离不开怎么使用strong和weak类型的引用和mrc下内存管理和arc下的内存管理。arc的规则是：只要有一个强引用指向对象，对象就会保留在内存中。当指针指向新值或者赋值为nil时，相关联的对象就会自动释放。这条规定使用于实例变量，synthesize属性，局部变量等。
arc是编译器特性，而不是运行时特性(除了weak指针类型)，arc不像java,c#语言中的垃圾回收机制。
strong类型的指针是强引用，如果一个对象被强引用，则对象不会被释放；不管有多少weak指针指向对象，只要没有一个strong指针指向对象，则对象就会被释放，weak指针赋值为nil(不指向任何存储空间)。
经常会循环引用问题的大致有以下几种情况：
一，假如你定义了一个A类和一个B类，A类里面有一个B类类型的属性，而B类里面同样也有一个A类类型的属性，如果这两个属性都是strong修饰的，那么在A类里面访问B类属性和B类里边访问A类属性，那么在对象释放的时候会出现循环引用的问题。dealloc方法不会被调用。代码如下：
#import
@class B
@interface A：NSobject{
B* bobj;
}
-(void)initWithObject:(B*)b；
@end
#import "A.h"
@interface A()
@end
@implementation A
-(void)initWithObject:(B*)b{
self.bobj=b;
}
@end
B类的声明和实现同上所述，则A和B实例对象对不会释放，dealloc函数不会被调用。
二，block
block代码块有一个独立的内存空间。block在copy的时候会对内部用到的对象进行强引用，某个类将block作为属性，然后在类的block方法体里边又使用了该类本身的其他属性或者方法，例如：self.block=^(NSString*){
[self dosomething]；或者self.otherProperty=xxxx；或者otherProperty=xxxxx；
}；
类似于这种问题的解决方法是在代码块内部加上一句声明语句：__weak typeof(self) weakself=self；把用到self的地方改成weakself就OK了。
如果代码段里面存在延迟操作，比如下面的代码：
如果在5S之内返回到上一个控制器(带导航控制器的栈式结构管理控制器的层次关系)，那么会打印
5秒之内的打印结果很容易理解，当前控制器出栈，那么控制器所占用的内存就没有了，控制器的成员变量或者属性也被置为nil，内存也被回收。
既然5秒之内返回的话，属性会伴随着控制器的销毁而置空，那么我们可以改成这样就解决了5秒之内返回打印是null的问题
外部的weakSelf是弱引用，如果没有代码块里面的strongSelf,那么就只有一个weakSelf指向控制器，而且是弱引用的，所以控制器执行完block任务，就没有一个强引用指向，所以dealloc了。但是如果我们把定义代码块的代码里面加上一个__strongtypeof(self) strongSelf=weakSelf;就变成了代码块里面有一个强引用指向控制器，__strong强引用的标识符。这时候返回上一级控制器，因为self.block里面的任务是5秒之后触发的，所以从返回上一级到代码块任务执行完之内这段时间，控制器是有一个strongSelf强引用指向的(控制器释放不是单纯的返回上一级就释放，关键要看是否还有强引用指向)，5秒之后执行完代码块的任务，又因为strongSelf是在代码块内部生命的一个变量，是局部变量，超出代码块的范围就释放了，这时候strongSelf就成了nil,控制器没有任何强引用指向，所以5秒之后就很自然的调用了dealloc方法！
三，数据源协议和委托协议属性delegate修饰用weak即可。
四，GCD:dispatch_async和我们一般的代码块不一样，调用self自身不会造成循环引用(不是任何代码块里面只要见了self就需要变成weakSelf的，关键要看self是否对该段代码块有强引用，比如self里面定义了一个代码块属性或者成员变量，这时候是相互强引用的)。dispatch_async(queue，{[self dosomething]；})在这里代码块会强引用self，但是实例化的self不会强引用代码块，所以一旦代码块结束，代码块就会释放，不会产生循环引用。所以所有在代码块中的self不一定都是强引用。
补充一点block在arc和mrc下的循环引用有什么不同？
mrc下使用__block关键字，arc下使用__weak关键字，它们的效果是不一样的。
在避免循环引用上arc和mrc这样做都能够避免。但是当self释放的时候，在mrc下指定了__block的关键字的变量指向的地址不变，对该变量进行操作就会出现EXC这样的崩溃错误；而在arc下的关键字__weak变量会自动赋值为nil，这样访问该变量，不会造成程序崩溃。还有就是__block本意是通过地址访问变量，这样就可以通过__block变量赋值。即在block里边可以给指定了__block的外部变量赋值，它是为了将block的一些信息传到block外边。arc下，__block不是为了解决循环引用的问题，而是为了在block里边给变量赋值。
个人github地址:zhuweigea (LaoZhu) · GitHub