Swift超级初始化程序

Question

在Swift中，应该在当前类的所有属性初始化后调用super的初始化程序。然而，Objective-C init并未完成此操作，其中在初始化当前类中的属性之前先调用super init。

Swift试图通过强制执行来防止什么问题？为什么Objective-C能够避免Swift试图阻止的问题？

Answer 1

初始化所有成员的哪些问题是斯威夫特试图阻止通过强制执行呢？

这是一个很好的问题，Objective-C并没有避免它。

问题是，当你在一个初始化方法中时，该对象在技术上处于部分构造状态。 Bryan's post是一个很好的（尽管人为的）例子。一般的问题是，如果一个超类的初始化方法调用一个方法，那么一个子类可能会覆盖这个方法。这本身并不是一件坏事。如果重写的方法假设对象是完全构建的，则会出现问题。

但是，由于该对象仍然在调用初始化程序的过程中，情况并非如此。在对[super init]的调用返回并且对象的类执行其任何初始化代码之前，该对象不是全部构造的。

dealloc方法有一个相关的问题：如果您调用方法中的方法，那些方法可能会假定该对象是完全构建的，而实际上它可能会被部分解构。这不是ARC之下的一笔交易，但它仍然会导致一些非常微妙的错误。

与SWIFT，该决定是通过强制执行这个规则，以避免这些类型的问题：

由你决定打电话super的时候，调用的类必须完成任何特定类的初始化。

这个规则的一个变体是：

你可能不调用方法，直到您叫super的初始化之后。

有了这个规则，您将永远不会遇到上述问题。

Answer 2

ObjC不会避免任何事情。

对于这个ObjC代码，它崩溃了，因为父类试图从子类访问伊娃。如果使用Swift规则，可以检测/避免。即前[super init]

@interface Parent : NSObject 

@property (readonly) int value; 

@end 

@implementation Parent 

- (id)init { 
    self = [super init]; 
    if (self) { 
     NSLog(@"%d", self.value); // call a method, which can be overrided by child class 
    } 
    return self; 
} 

- (int)value { 
    return 42; 
} 

@end 

@interface Child : Parent 

@end 

@implementation Child { 
    int *_valuePtr; 
} 

- (id)init { 
    self = [super init]; // call self.value 
    if (self) { 
     // to avoid crash, move this line before [super init], but it may have other undesired effect. e.g. when [super init] return another instance 
     _valuePtr = calloc(sizeof(int), 1); 
    } 
    return self; 
} 

- (void)dealloc { 
    free(_valuePtr); 
} 

- (int)value { 
    return *_valuePtr; 
} 

- (void)setValue:(int)value { 
    *_valuePtr = value; 
} 

@end