Analyze提示 Instance variable while 'self' is not set to the result of '[(super or self) init...]'

在项目中使用静态分析工具(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…]’
Analyze提示 Instance variable while 'self' is not set to the result of '[(super or self) init...]'_第1张图片

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

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

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

#import 

@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的情况。
然后分析两个提示信息
先分析第二个,双击蓝色提示如下:
Analyze提示 Instance variable while 'self' is not set to the result of '[(super or self) init...]'_第2张图片
提示假定在判定条件为false情况下return self中的 self 并不是[super init]返回的self,当然[super init]返回的也可能是其他值,那么这中情况下返回的 self是没有意义的
在分析第一个
Analyze提示 Instance variable while 'self' is not set to the result of '[(super or self) init...]'_第3张图片
提示在假定条件为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初始化返回值为selfLoveObjcClass设置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,就印证了开头的两个提示会出现的错误,即实例_nameself没有赋值。
2、由2和3比较得知,开头的两个提示并不是 bug,只是代码不够严谨,有可能出现1、中的问题。

最后附上源码

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

你可能感兴趣的