为什么在Objective-C中,在单独的语句中执行alloc和init会导致根

发布时间：2020-12-14 18:05:28 所属栏目：百科来源：网络整理

导读：我正在使用Objective-C开始我的第一步,并且在XCode 4.1中遇到了静态分析器(Product- Analyze)的一个小问题,虽然令人困惑.我为有理数创建了一个简单的Fraction类,我分配并初始化为这样, Fraction* f = [[[ Fraction alloc ] initWithNumerator:3 withDenomima

我正在使用Objective-C开始我的第一步,并且在XCode 4.1中遇到了静态分析器(Product-> Analyze)的一个小问题,虽然令人困惑.我为有理数创建了一个简单的Fraction类,我分配并初始化为这样,

Fraction* f = [[[ Fraction alloc ] initWithNumerator:3 withDenomimator:5]
                                                               autorelease];
[ f print ];

print是一种只使用NSLog显示分数的方法,一切正常.但是,如果我将alloc / init构造拆分为两个语句(我意识到这是非惯用的 – 我只是想了解机器)并使用手动释放而不是自动释放给出：

Fraction* f = [ Fraction alloc ]; // 1. Method returns an Objective-C object with
                                  //    a +1 retain count (owning reference)
[ f initWithNumerator:3 withDenomimator:5]; // 2. Object released
[ f print ]; // 3. Reference-counted object is used after it is released
[ f release ];

程序似乎仍然没有错误地运行,但XCode分析器在注释中给出了警告.为什么XCode认为init调用会导致对象被释放？

当我构思问题时,我可以看到我的两个程序并不完全相同,因为在第一个片段中,我的指针f是调用init的结果,而在第二个片段中,它是alloc的结果.所以改变我的代码,

Fraction* a = [ Fraction alloc ];
 Fraction* f = [ a initWithNumerator:3 withDenomimator:5];
[ f print ];
[ f release ]; // or should it be [ a release ] ?

使它完全等效,静态分析仪停止抱怨.那么init是否可以返回与从alloc传递给它的指针不同的指针,而不仅仅是配置它已经传递的内存？使用此代码,我应该将[发布]与alloc或[f release]与init配对吗？

解决方法

So is it possible that init can return a different pointer than the one passed to it from alloc,rather than just configuring the memory it has been passed?

绝对.

With this code should I pair [ a release ] with the alloc or [ f release ] with the init?

你可以将初始化对象的值赋给f(就像你一样).此时,a可能是悬空指针(如果返回另一个地址).其中,f应该被释放.

对此顺序的解释是该对象可能已选择返回其自身的专用版本/变体,并且此重新分配沿init …链发生.

愚蠢的示威：

@interface Fraction : NSObject
{
@private
    int numerator;
    int denominator;
}

@end

static Fraction* EvilFraction = ...;

@implementation Fraction

- (id)initWithNumerator:(int)num denominator:(int)den
{
    self = [super init];
    if (nil != self) {
        if (0 == den){
            [self release];
            return [EvilFraction retain];
        }
    }
    return self;
}

@end

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!