Analyze提示 Instance variable与Returning 'self' used while 'self' is not set to the result of '[(sup...

在项目中使用静态分析工具（Analyze），提示Instance variable used while 'self' is not set to the result of '[(super or self) init...]'和 Returning 'self' while it is not set to the result of '[(super or self) init...]'

pcc 图一.png

这两个提示信息解决的办法如下：

- (instancetype)init {
    if (self = [super init]) {
        NSLog(@"%s, line = %d",__FUNCTION__,__LINE__);
        _name = @"love";
    }
    return self;
}

为什么这么做呢？
在解析之前先新建两个类：LoveObjc（继承NSObject）与LoveObjcClass(继承LoveObjc)

#import <Foundation/Foundation.h>

@interface LoveObjc : NSObject
- (instancetype)init;
@end

#import "LoveObjc.h"

@implementation LoveObjc
- (instancetype)init {
    self = [super init];
  
    if (self) {
        NSLog(@"%s, line = %d",__FUNCTION__,__LINE__);
    }
    return self;
    
}
@end

#import "LoveObjc.h"

@interface LoveObjcClass : LoveObjc
- (instancetype)init;
/** name  **/
@property (nonatomic, strong) NSString * name;

@end

#import "LoveObjcClass.h"

@implementation LoveObjcClass
- (instancetype)init {
    if ([super init]) {
        NSLog(@"%s, line = %d",__FUNCTION__,__LINE__);
        _name = @"love";
    }
    return self;
}
@end

此时利用Analyze就会出现pcc图一.png的情况。
然后分析两个提示信息
先分析第二个，双击蓝色提示如下：

pcc 图2.png

提示假定在判定条件为false情况下return self中的 self 并不是[super init]返回的self，当然[super init]返回的也可能是其他值,那么这中情况下返回的 self是没有意义的
在分析第一个

pcc 图3.png

提示在假定条件为ture情况下才会使用实例化_name,这里依然没有设置self = [super init]，同刚才分析的关键点一样都在于此，即[super init]的返回值没有设定self，当然[super init]返回的也可能是其他值。

1、现在就假定LoveObjc初始化返回值为nil

#import "LoveObjc.h"

@implementation LoveObjc
- (instancetype)init {
    self = [super init];
  
    if (self) {
        NSLog(@"%s, line = %d",__FUNCTION__,__LINE__);
    }
    return nil;
    
}
#import "LoveObjcClass.h"

@implementation LoveObjcClass
- (instancetype)init {
    if ([super init]) {
        NSLog(@"%s, line = %d",__FUNCTION__,__LINE__);
        _name = @"love";
    }
    return self;
}

#import "ViewController.h"
#import "LoveObjcClass.h"

@interface ViewController ()

@end

@implementation ViewController

//调用打印
- (void)viewDidLoad {
    [super viewDidLoad];
    LoveObjcClass *loveClass = [[LoveObjcClass alloc]init];
    NSLog(@"my name is %@",loveClass.name);

}

看一下打印信息：

-[LoveObjc init], line = 16
my name is (null)

2、再看一下LoveObjc初始化返回值为self

- (instancetype)init {
    self = [super init];
  
    if (self) {
        NSLog(@"%s, line = %d",__FUNCTION__,__LINE__);
    }
    return self;
    
#import "LoveObjcClass.h"

@implementation LoveObjcClass
- (instancetype)init {
    if ([super init]) {
        NSLog(@"%s, line = %d",__FUNCTION__,__LINE__);
        _name = @"love";
    }
    return self;
}
}

打印信息：

 -[LoveObjc init], line = 16
 -[LoveObjcClass init], line = 14
 my name is love

3、看一下LoveObjc初始化返回值为self，LoveObjcClass设置if (self = [super init])

- (instancetype)init {
    self = [super init];
  
    if (self) {
        NSLog(@"%s, line = %d",__FUNCTION__,__LINE__);
    }
    return self;
    
#import "LoveObjcClass.h"

@implementation LoveObjcClass
- (instancetype)init {
    if ([super init]) {
        NSLog(@"%s, line = %d",__FUNCTION__,__LINE__);
        _name = @"love";
    }
    return self;
}
}

打印信息:

-[LoveObjc init], line = 16
 -[LoveObjcClass init], line = 14
 my name is love

总结：

1、由1和2、1和3比较得知，关键在于父类LoveObjc初始化返回值，如果为nil,就印证了开头的两个提示会出现的错误，即实例_name和self没有赋值。
2、由2和3比较得知，开头的两个提示并不是 bug，只是代码不够严谨，有可能出现1、中的问题。

最后附上源码

PS：欢迎批评指正，如果对你有帮助的话，来个 star 吧，谢谢。

最后编辑于：2018.09.04 21:12:55