取消引用空指针，但我没有使用指针

Question

我在 xCode 中进行了“构建和分析”，并在我的 init 方法中将普通 int 设置为 0 时得到“取消引用空指针”。我在下面的代码中指出了我收到消息的行。我正在为 iPhone 进行开发。

Bric.m

#import "Bric.h"

@implementation Bric

- (id)initWithImage:(UIImage *)img:(NSString*)clr{
    if (self = [super init]) {
        image = [[UIImageView alloc] initWithImage:img];
    }   

    stepX = 0; //It's for this line I get the message
    stepY = 0;
    oldX = 0;
    color = [[NSString alloc]initWithString:clr];
    visible = YES;
    copied = NO;
    return self;
}   
@end

Bric.h

#import <Foundation/Foundation.h>

@interface Bric : NSObject {

    int stepX;
    int stepY;

}  

-(id)initWithImage:(UIImage *)img:(NSString *)clr;

@end

不是完整的代码，粘贴了我认为有用的内容。

由于我没有使用指针，所以我觉得这很奇怪。我怎么会收到这个消息？

谢谢和问候， 尼克拉斯

Answer 1

init 方法中的第一个 if 语句用于检查 [super init] 是否返回 nil。 （从技术上讲，应该写成 if ((self = [super init]))，新的 LLVM 编译器会警告您）。

静态分析器正在检查所有可能的代码路径，即使 [super init] 返回 nil 的情况也是如此。在这种情况下，您的 if 语句失败，并且 self 为 nil。如果 self 为 nil 则其实例变量不可访问。

要解决此问题，您需要将初始化与图像初始化一起放置在 if 语句内，然后在 if 语句外部return self 。

Answer 2

您已将其申报为财产吗？我不确定在这种情况下是否有必要，但您还没有创建访问器方法（尽管我认为您仍在直接设置实例变量...）

，即在您的头文件

@property int stepX;

和 .m 文件中，

@synthesize stepX;

这将允许您访问变量 self.stepX 和 self.stepY。
有时分析器会犯错误...我注意到它不能非常有效地处理 while 循环。不管怎样，看看如果你添加这些代码行并回复我会发生什么。

Answer 3

你的初始化方法是错误的。

它应该看起来像这样：

- (id)initWithImage:(UIImage *)img:(NSString*)clr
{
    if (self = [super init])  // NB, this line should give you a waring
    {  
        image = [[UIImageView alloc] initWithImage:img];
        stepX = 0; //It's for this line I get the message
        stepY = 0;
        oldX = 0;
        color = [[NSString alloc]initWithString:clr];
        visible = YES;
        copied = NO;
    }   
    return self;
}

我假设您收到的消息来自静态分析器。由于 stepX 是一个实例变量，因此该行

stepX = 0;

实际上是

self->stepX = 0;

-> 具有其正常 C 含义的简写。由于该行位于代码中 self 不为零的测试之外，因此静态分析器正在标记一个问题。