一道高級iOS面試題(runtime方向)
小蠢驢打代碼 [Cocoa開發(fā)者社區(qū)](javascript:void(0);) 4月11日
面試驅(qū)動(dòng)技術(shù)合集(初中級iOS開發(fā)),關(guān)注倉庫,及時(shí)獲取更新 Interview-series
說到iOS,要么公司規(guī)模比較小,<=3人,不需要面試。
其他的,大概率要讓你刀槍棍棒十八般武藝都拿出來耍耍。
而其中,但凡敵軍陣營中有iOSer的,又極大概率會(huì)考到 Runtime 的知識點(diǎn)。
以下,是一題 sunnyxx的一道 runtime 考題,給大伙練練手,如果掌握了,Runtime層面的初中級問題應(yīng)該都不在話下~
題目來襲:
//MNPerson
@interface MNPerson : NSObject
@property (nonatomic, copy)NSString *name;
- (void)print;
@end
@implementation MNPerson
- (void)print{
NSLog(@"self.name = %@",self.name);
}
@end
---------------------------------------------------
@implementation ViewController
- (void)viewDidLoad {
[super viewDidLoad];
id cls = [MNPerson class];
void *obj = &cls;
[(__bridge id)obj print];
}
問輸出結(jié)果是啥,會(huì)不會(huì)崩潰。
最終結(jié)果:
self.name = <ViewController: 0x7fe667608ae0>
what?
問題1:print 是實(shí)例方法,但是并沒有哪里調(diào)用了
[MNPerson alloc]init]
??問題2: 為啥打印了 viewController?
當(dāng)前內(nèi)存地址結(jié)構(gòu) - 與正常的[person print]對比
person變量的指針,執(zhí)行 MNPerson 實(shí)例對象
實(shí)例對象的本身是個(gè)結(jié)構(gòu)體,之前指向他,等價(jià)于執(zhí)行結(jié)構(gòu)體的第一個(gè)成員
結(jié)構(gòu)體的第一個(gè)成員是isa,所以可以理解為,person->isa
所以兩個(gè)print,其實(shí)內(nèi)存結(jié)構(gòu)一致
obj -> cls -> [MNPerson Class]
person -> isa -> [MNPerson Class]
調(diào)用print 方法,不需要關(guān)心有沒有成員變量
_name
,所以可以理解為,cls == isa
函數(shù)調(diào)用,是通過查找isa,其實(shí)本質(zhì),是查找結(jié)構(gòu)體的前八個(gè)字節(jié);
前八個(gè)字節(jié)正好是isa,所以這里可以理解為 cls == isa,這么理解的話,cls其實(shí)等于isa;
所以可以找得到 MNPerson 類,就可以找到MNPerson 類內(nèi)部的方法,從而調(diào)用 print函數(shù)
問題2:為啥里面打印的是 ****ViewController
這就需要了解到iOS的內(nèi)存分配相關(guān)知識
內(nèi)存分配
void test(){
int a = 4;
int b = 5;
int c = 6;
NSLog(@"a = %p,b = %p,c = %p",&a,&b,&c);
}
---------------------------
a = 0x7ffee87e9fdc,
b = 0x7ffee87e9fd8,
c = 0x7ffee87e9fd4
局部變量是在棧空間
上圖可以發(fā)現(xiàn),a先定義,a的地址比b高,得出結(jié)論:棧的內(nèi)存分配是從高地址到低地址
棧的內(nèi)存是連續(xù)的 (這點(diǎn)也很重要!!)
OC方法的本質(zhì),其實(shí)是函數(shù)調(diào)用, 底層就是調(diào)用 objc_msgSend() 函數(shù)發(fā)送消息。
- (void)viewDidLoad {
[super viewDidLoad];
NSString *test = @"666";
id cls = [MNPerson class];
void *obj = &cls;
[(__bridge id)obj print];
}
以上述代碼為例,三個(gè)變量 - test、cls、obj,都是局部變量,所以都在棧空間
棧空間是從高地址到低地址分配,所以test是最高地址,而obj是最低地址
MNPerson底層結(jié)構(gòu)
struct MNPerson_IMPL{
Class isa;
NSString *_name;
}
- (void)print{
NSLog(@"self.name = %@",self->_name);
}
要打印的
_name
成員變量,其實(shí)是通過self ->
去查找;這里的 self,就是函數(shù)調(diào)用者;
[(__bridge id)obj print]; 即通過 obj 開始找;
而找
_name
,是通過指針地址查找,找得MNPerson_IMPL
結(jié)構(gòu)體因?yàn)檫@里的
MNPerson_IMPL
里面就兩個(gè)變量,所以這里查找_name
,就是通過isa
的地址,跳過8個(gè)字節(jié),找到 _name
而前面又說過,cls = isa,而_name 的地址 = isa往下偏移 8 個(gè)字節(jié),所以上面的圖可以轉(zhuǎn)成
_name的本質(zhì),先找到 isa,然后跳過 isa 的八個(gè)字節(jié),就找到 _name這個(gè)變量
所以上圖輸出
self.name = 666
最早沒有 test變量的時(shí)候呢
- (void)viewDidLoad {
[super viewDidLoad];
id cls = [MNPerson class];
void *obj = &cls;
[(__bridge id)obj print];
}
[super viewDidLoad];做了什么
底層 - objc_msgSendSuper
objc_msgSendSuper({ self, [ViewController class] },@selector(ViewDidLoad)),
等價(jià)于:
struct temp = {
self,
[ViewController class]
}
objc_msgSendSuper(temp, @selector(ViewDidLoad))
所以等于有個(gè)局部變量 - 結(jié)構(gòu)體 temp,
結(jié)構(gòu)體的地址 = 他的第一個(gè)成員,這里的第一個(gè)成員是self
所以等價(jià)于 _name = self = 當(dāng)前ViewController,所以最后輸出
self.name = <ViewController: 0x7fc6e5f14970>
話外篇 super 的本質(zhì)
**其實(shí)super的本質(zhì),不是 objc_msgSendSuper({self,[super class],@selector(xxx)}) **
而是
objc_msgSendSuper2(
{self,
[current class]//當(dāng)前類
},
@selector(xxx)})
函數(shù)內(nèi)部邏輯,拿到第二個(gè)成員 - 當(dāng)前類,通過superClass指針找到他的父類,從superClass開始搜索,最終結(jié)果是差不多的~
友情演出:小馬哥MJ
題目來源:
作者:小蠢驢打代碼
鏈接:http://www.lxweimin.com/p/70a567cbd4ce
---END---