關於 self 和 super 在oc 中 的疑惑 與 分析

hhhker發表於2014-10-19

 

這個問題貌似很初級,但很容易讓人忽略,me too 。直到在一次面試時被問到,稀裡糊塗的回答了下。實在慚愧,

面試一定都是很注重 基礎的,不管高階還是初級。

雖然基礎好跟基礎不好都可以寫 程式碼,網上那麼多資料。  區分高低也就是研究的深度和廣度。

開始我們的問題:

@implementation Son : Father
- (id)init
{
    self = [super init];
    if (self)
    {
       
    }
    return self;
}

這段程式碼 估計很多人都 寫爛了,就算沒寫爛,xcode 自動生成的 我們也看吐了。 好吧,來說說原來,

上來就是 : 這個其實就是 在子類實現初始化前 呼叫父類的init實現.

這跟沒說一樣,稀裡糊塗的。

 

首先這個問題,要了解  1, self  是什麼 ;super 是什麼。2,[ super init] 都做了什麼。3,為什麼要 self =  [super init];

一個一個來:

1,self  是什麼 ,super 是什麼

   > 在動態方法中,self代表著"物件"

   > 在靜態方法中,self代表著"類"

   > 萬變不離其宗,記住一句話就行了:self代表著當前方法的呼叫者

self 和 super 是oc 提供的 兩個保留字。 但有根本區別,

    self是類的隱藏的引數變數,指向當前呼叫方法的物件(類也是物件,類物件),另一個隱藏引數是_cmd,代表當前類方法的selector。

    super並不是隱藏的引數,它只是一個"編譯器指示符"

 

2, [ super init]     都做了什麼

傳送訊息時

Class  A
-reposition { ... [self setOrigin:someX :someY]; ... }

 A  a= [a .. init];

[a  reposition];   方法體中  編譯器將

  [self setOrigin:someX :someY];  

 其轉換為

objc_msgSend(id selfSEL _cmd, ...) 。self -> a

 此時 self 指代a 物件,方法從a 對應 類結構的 方法排程表中開始尋找,如果找不到,延繼承鏈往 父類中尋找 。

同樣如果 reposition 是類方法, self 指代 A 類物件。

Class  A
-reposition  
{  
     ...  
     [super setOrigin:someX :someY];  
     ...  
}

[a  reposition];   方法體中編譯器將

[super setOrigin:someX :someY]; 

其轉換為

id objc_msgSendSuper(struct objc_super *super, SEL op, ...)

 第一個引數是個objc_super的結構體,第二個引數還是類似上面的類方法的selector,先看下objc_super這個結構體是什麼東西:

struct objc_super {
    id receiver;
   Class superClass;
};

    可以看到這個結構體包含了兩個成員,一個是 receiver,這個類似上面 objc_msgSend 的第一個引數 receiver,第二個成員是記錄寫 super 這個類的父類是什麼,拿上面的程式碼為例,當編譯器遇到 A 裡

[super setOrigin:someX :someY]

 時,開始做這幾個事:

      >構建 objc_super 的結構體,此時這個結構體的第一個成員變數 receiver 就是 a,和 self 相同。而第二個成員變數 superClass 就是指類 A的 superClass。

      >呼叫 objc_msgSendSuper 的方法,將這個結構體和

setOrigin

 的 sel 傳遞過去。函式裡面在做的事情類似這樣:從 objc_super 結構體指向的 superClass 的方法列表開始找 setOrigin 的 selector,找到後再以 objc_super->receiver 去呼叫這個 selector,可能也會使用 objc_msgSend 這個函式,不過此時的第一個引數 theReceiver 就是 objc_super->receiver,第二個引數是從 objc_super->superClass 中找到的 selector

 

 

3,為什麼要 self =  [super init];

符合oc 繼承類 初始化規範 super 同樣也是這樣,  [super init]  去self 的super 中呼叫init     super 呼叫 superSuper 的init 。直到根類 NSObject 中的init ,

根類中init 負責初始化 記憶體區域  向裡面新增 一些必要的屬性,返回記憶體指標,  這樣 延著繼承鏈 初始化的記憶體指標 被從上 到 下 傳遞,在不同的子類中向塊記憶體新增 子類必要的屬性,直到 我們的 A 類中 得到記憶體指標,賦值給slef 引數, 在if (slef){//新增A 的屬性 }

 

 

 

下面來看看這個:

@implementation Son : Father
- (id)init
{
    self = [super init];
    if (self)
    {
        NSLog(@"%@", NSStringFromClass([self class]));
        NSLog(@"%@", NSStringFromClass([super class]));
    }
    return self;
}
@end

 

應該不難分析出  列印結果:

Son
Son

當 傳送 class 訊息 時不管是 self 還是 super 其訊息主體依然是 self ,也就是說 self 和 super 指向的 是同一個物件。只是 查詢方法的位置 區別,一個從本類,一個從本類的超類。
一般情況下 class 方法 只有在 根類 NSObject 中定義,極少情況有子類重寫 class 方法,
所以 [slef class] 和 [super class] 都是在 根類中 找方法實現, 訊息接收主體 又都是 a
如果重寫可能會不一樣。
自然都列印出 Son

在來一個例子:
#import <Foundation/Foundation.h>

@interface EngineSuper : NSObject
-(void)printCurrentClass;

@end

#import "EngineSuper.h"

@implementation EngineSuper
-(void)printCurrentClass{

    NSLog(@"=EngineSuper=======%@",[self class]);
}
@end



@interface Engine : EngineSuper
-(void)printSupClass;
@end


@implementation Engine

-(void)printSupClass{
   [super printCurrentClass];
}

//呼叫:
Engine *engine = [[Engine alloc]init];
[engine  printCurrentClass];//直接呼叫父類 方法,engine沒過載 它

[engine  printSupClass];//間接呼叫父類方法,

 

列印當然都是  :

Engine
Engine

方法體中 self 始終指代 方法的接收者 及物件 engine。,
 換成   NSLog(@"=EngineSuper=======%@",[super class]); 結果也是一樣的。


super 就是個障眼法 發,編譯器符號, 它可以替換成 [slef class],只不過 方法是從 self 的超類開始 尋找。


 

 

相關文章