[轉] "self = [super init]"的解釋與潛藏bug

標籤：

 

Objective-C的推薦init方法寫法如下：

- (id) init

{

    if(self = [super init])

    {

        //為子類增加屬性進行初始化

    }

    return self;

}

這裡涉及了幾個問題，

1. [super init]的作用：

物件導向的體現，先利用父類的init方法為子類執行個體的父類部分屬性初始化。

2. self 為什麼要賦值為[super init]：

簡單來說是為了防止父類的初始化方法release掉了self指向的空間並重新alloc了一塊空間。這時的話，[super init]可能alloc失敗，這時就不再執行if中的語句。

3. super作為訊息接受者的實質：

super並不是真正的指標，[super message]的實質是由self來接受父類的message。需要注意的是，[super message]中，message方法出現的self為[super message]語境中的self，即子類執行個體。

 

潛藏的bug：

假設有父類AObj與子類BObj。

當AObj的init方法如下：

- (id) init

{

    id tmp = self;

    self = [AObj alloc];

    [tmp release];

    //other staffs

    return self;

}

BObj的init方法如下：

- (id) init

{

    if(self = [super init])

    {

        //other staffs

    }

    return self;

}

這時編譯能通過，但當BObj的執行個體使用到BObj擴充的屬性時，就會出現一個執行階段錯誤。錯誤的原因在於AObj的init方法用[AObj alloc]重新獲得了一塊僅僅適合存放AObj執行個體的空間。而BObj的init方法以為這是塊適合存放BObj的空間。當試圖讀寫BObj的擴充屬性時便會產生執行階段錯誤。

因此，當init方法需要重新alloc一塊空間時，正確的寫法如下：

- (id) init

{

    id tmp = self;

                    

    self = [[self class] alloc];

                    

    [tmp release];

    //other staffs

    return self;

}

注意第5行，[self class]將獲得self指向的執行個體對應的類執行個體，本例中便是BObj。這樣AObj的任何子類的init方法都能保證安全了。

 

 

 

 

if( self = [super init] )這是一種通常的建議寫法，賦值並測零隻是為了防止超類在初始化過程中發生改變，返回了不同的對象

 

 

 

為什麼一定要    super init  ？

 

 

 

眾所周知，Objective-C是一門物件導向的語言，一般情況下，我們在Objective-C中定義一個類時，總要提供一個初始化方法，一般大家都是這樣寫的：

1 - (MyClass *)init

2 {

3     self = [super init]; 

4     if (self) {

5          //執行一些資源、變數的初始化工作

6     }

7         return self;

8 }

這樣一段簡單的代碼，卻有很多可以思考的問題：

1、為什麼要通過[super init]來調用父類的初始化方法，父類的初始化方法裡又執行了什麼東西？

      首先，我們知道對象繼承的概念，一個子類從父類繼承，那麼也要實現父類的所有功能，這就是is-a的關係，比如說狗是哺乳動物，那麼狗必定具有哺乳動物的特徵和功能。所以在子類的初始化方法中，必須首先調用父類的初始化方法，以實現父類相關資源的初始化。例如我們在初始化狗這一對象時，必須先初始化哺乳動物這一對象，並把結果賦予狗，以使狗滿足屬於哺乳動物這一特徵。

     典型的，在iOS下，所有的類都繼承於NSObject，而NSObject的init方法很簡單，就是return self。當父類的初始化完成之後，即self不為nil的情況下，就可以開始做子類的初始化了。

2、是否一定要提供初始化方法，是否一定要使用init作為初始化方法？

     我們在Objective-C中建立一個對象通常使用

1 MyClass *newclass = [[MyClass alloc] init];

     或者

  MyClass *newclass = [Myclass new];  

new方法是NSObject對象的一個靜態方法，根據apple的文檔，該方法實際上就是alloc和init方法的組合，實際上二者是一樣的，但 apple還是推薦我們使用第一種方法，為什麼呢？因為使用第一種方法，你可以使用自己定義的init方法來做一些初始化（用自己寫的init*****方法），當然，如果子類沒有提供 init方法，自然調用的就是父類的init方法了。所以說，從安全性的角度來收，作為開發人員我們在對象使用之前是一定要對對象進行初始化的，因此在定義類的時候一定要提供初始化方法。但是否一定要使用init作為方法名呢？答案是不一定。使用init作為方法名只是你重寫了NSObject的init方法而已，如果你自己重新定義一個初始化方法，也是完全可以的，只要你在使用的時候記得調用新定義的初始化方法就可以了。

但是，這種方法從設計角度來看我覺得是不可取的。在可複用性方面會比較差，如果確有必要定義一些接受不同參數的初始化方法，我的建議是，先定義一個init的公用方法，再到其他方法中調用它，如：

01 - (id)init   init的公用方法

02 {

03     self = [super init]; 

04     if (self) {

05            

06     }

07     return self;

08 }

09  

10 - (id)initWithString:(NSString *)aString

11 {

12     [self init];

13     self.name = aString;  

14 }

15   

16 - (id)initWithImage:(UIImage *)aImage

17 {

18     [self init];

19     self.image = aImage;  

20 }

補充：

在物件導向編程中，如果編寫一個類而沒有包含建構函式，這個類仍能編譯並且完全可以正常使用。如果類沒有提供顯式的建構函式，編譯器會提供一個預設的建構函式給你。除了建立對象本身，預設建構函式的唯一工作就是調用其超類的建構函式。在很多情況下，這個超類是語言架構的一部分，如Java中的 Object類，objective-c 中的NSObject類。

不論是何種情況，在類中至少包含一個建構函式是一種很好的編程實踐，如果類中有屬性，好的實踐往往是初始化這些屬性。

[轉] "self = [super init]"的解釋與潛藏bug