9

我有两个类,一个是另一个的子类(比如Animaland Dog)。超类有一些初始化器(比如initAnimal),子类有一些初始化器(比如initDog)。问题是(从编译器的角度来看)做类似的事情是完全合法的Dog *adog = [[Dog alloc] initAnimal],即。使用它的超类初始化器初始化一个类。我不喜欢这样,因为子类可以有一些我想确保初始化的额外实例变量。查看头文件可以解决这个问题,但是有没有一种简单的方法可以让编译器为我检查?我有一种感觉,我错过了一些非常明显的东西,但我就是不能指望它:-)

更新: andinitDog不是initAnimal最好的例子。我的意思是两个真正不同的初始化程序(例如initforAnimalinitWithFurfor Dog)。如果我希望每只狗都分配一些毛发,我会将毛发作为初始化程序的一部分,这样没有人可以在没有毛发的情况下获得狗对象。但是仍然很容易错误地用超类初始化实例init,然后我就被淹没了。

感谢 Jason 提出指定的初始化程序。我以前没有想到,但我可以重载超类的指定初始化程序并在那里设置一些合理的默认值。但是,如果我能以某种方式使使用其他初始化程序而不是类本身的初始化程序成为非法,我仍然更愿意——还有更多的想法吗?

4

1 回答 1

21

通常在 Objective-C 中,您为每个类创建一个指定的初始化程序,然后子类使用相同的初始化程序。因此,您只需使用 init,而不是使用 initAnimal 和 initDog。然后,狗子类将定义自己的 init 方法并在其父类中调用指定的初始化程序:

@implementation Dog
-(id)init
{
    if( (self = [super init]) ) {  // call init in Animal and assign to self
        // do something specific to a dog
    }
    return self;
}
@end

您实际上不必指定 initDog 和 initAnimal,因为该类是在赋值的右侧声明的...

更新:我将以下内容添加到答案中以反映问题中的其他信息

有许多方法可以确保子类不调用它们指定的初始化程序以外的初始化程序,并且您最终选择的方式将主要基于您的整个设计。Objective-C 的优点之一是它非常灵活。我将在这里给你两个例子来帮助你入门。

首先,如果您创建的子类具有与其父类不同的指定初始化程序,则可以重载父类的初始化程序并引发异常。这将让程序员立即知道他们违反了您的类的协议......但是,应该说明您应该有一个很好的理由这样做,并且应该很好地记录子类可能不会使用与超类相同的初始化程序。

@implementation Dog
-(id)init
{
    // Dog does not respond to this initializer
    NSAssert( false, @"Dog classes must use one of the designated initializers; see the documentation for more information." );

    [self autorelease];
    return nil;
}

-(id)initWithFur:(FurOptionsType)furOptions
{
    if( (self = [super init]) ) {
        // do stuff and set up the fur based on the options
    }
    return self;
}
@end

另一种方法是让初始化程序更像您的原始示例。在这种情况下,您可以将父类的默认初始化更改为始终失败。然后,您可以为您的父类创建一个私有初始化程序,然后确保每个人都在子类中调用适当的初始化程序。这种情况显然更复杂:

@interface Animal : NSObject
-(id)initAnimal;
@end

@interface Animal ()
-(id)_prvInitAnimal;
@end

@interface Dog : Animal
-(id)initDog;
@end

@implementation Animal
-(id)init
{
    NSAssert( false, @"Objects must call designated initializers; see documentation for details." );

    [self autorelease];
    return nil;
}

-(id)initAnimal
{
    NSAssert( [self isMemberOfClass:[Animal class]], @"Only Animal may call initAnimal" );

    // core animal initialization done in private initializer
    return [self _prvInitAnimal];
}

-(id)_prvInitAnimal
{
    if( (self = [super init]) ) {
        // do standard animal initialization
    }
    return self;
}
@end

@implementation Dog
-(id)initDog
{
    if( (self = [super _prvInitAnimal]) ) {
        // do some dog related stuff
    }
    return self;
}
@end

在这里,您可以看到 Animal 和 Dog 类的接口和实现。Animal 是指定的顶级对象,因此会覆盖 NSObject 的 init 实现。任何在 Animal 或 Animal 的任何子类上调用 init 的人都会收到一个断言错误,将它们引用到文档中。Animal 还在私有类别上定义了私有初始化器。私有类别将保留在您的代码中,Animal 的子类在调用 super 时会调用此私有初始化程序。它的目的是在 Animal 的超类(本例中为 NSObject)上调用 init 并执行任何可能需要的通用初始化。

最后,Animal 的 initAnimal 方法的第一行是一个断言,即接收者实际上是一个 Animal 而不是某个子类。如果接收者不是 Animal,则程序将因断言错误而失败,程序员将参考文档。

这些只是您如何根据特定要求设计某些东西的两个示例。但是,我强烈建议您考虑您的设计约束,看看您是否真的需要这种类型的设计,因为它在 Cocoa 和大多数 OO 设计框架中是非标准的。例如,您可以考虑制作各种动物的根级对象,而只使用一个 Animal 协议,要求所有各种“动物”都响应某些动物通用消息。这样,每个动物(以及 Animal 的真正子类)都可以自己处理它们指定的初始化程序,而不必依赖以这种特定、非标准方式表现的超类。

于 2008-11-10T10:07:10.387 回答