+ (instancetype)createSark { return [self new];}// callerSark *sark = [Sark createSark];編譯器改寫成了形如下麵的代碼:+ (instancetype)createSark { id tmp = [self new... ...
+ (instancetype)createSark {
return [self new];
}
// caller
Sark *sark = [Sark createSark];
編譯器改寫成了形如下麵的代碼:
+ (instancetype)createSark {
id tmp = [self new];
return objc_autoreleaseReturnValue(tmp); // 代替我們調用autorelease
}
// caller
id tmp = objc_retainAutoreleasedReturnValue([Sark createSark]) // 代替我們調用retain
Sark *sark = tmp;
objc_storeStrong(&sark, nil); // 相當於代替我們調用了release
runtime使用了一些黑魔法進行了優化
Thread Local Storage
Thread Local Storage(TLS)線程局部存儲,目的很簡單,將一塊記憶體作為某個線程專有的存儲,以key-value的形式進行讀寫,比如在非arm架構下,使用pthread提供的方法實現:
void* pthread_getspecific(pthread_key_t);
int pthread_setspecific(pthread_key_t , const void *);
在返回值身上調用objc_autoreleaseReturnValue方法時,runtime將這個返回值object儲存在TLS中,然後直接返回這個object(不調用autorelease);同時,在外部接收這個返回值的objc_retainAutoreleasedReturnValue里,發現TLS中正好存了這個對象,那麼直接返回這個object(不調用retain)。
於是乎,調用方和被調方利用TLS做中轉,很有默契的免去了對返回值的記憶體管理。
於是問題又來了,
只能動用更高級的黑魔法。
__builtin_return_address
假如被調方和主調方只有一邊是ARC環境編譯,(比如我們在ARC環境下用了非ARC編譯的第三方庫,或者反之),需要用到__builtin_return_address
這個內建函數原型是 char *__builtin_return_address(int level),
作用是得到函數的返回地址,參數表示層數,如__builtin_return_address(0)表示當前函數體返回地址,傳1是調用這個函數的外層函數的返回值地址,以此類推。
- (int)foo {
NSLog(@"%p", __builtin_return_address(0)); // 根據這個地址能找到下麵ret的地址
return 1;
}
// caller
int ret = [sark foo];
- 函數的返回值地址,也就對應著調用者結束這次調用的地址(或者相差某個固定的偏移量,根據編譯器決定)
- 如果一個函數返回前知道調用方是ARC還是非ARC,就有機會對於不同情況做不同的處理 ##黑魔法之反查彙編指令
通過上面的__builtin_return_address加某些偏移量,被調方可以定位到主調方在返回值後面的彙編指令:
於是乎,就有了下麵的這個函數,入參是調用方__builtin_return_address傳入值
static bool callerAcceptsFastAutorelease(const void * const ra0) {
const uint8_t *ra1 = (const uint8_t *)ra0;
const uint16_t *ra2;
const uint32_t *ra4 = (const uint32_t *)ra1;
const void **sym;
// 48 89 c7 movq %rax,%rdi
// e8 callq symbol
if (*ra4 != 0xe8c78948) {
return false;
}
ra1 += (long)*(const int32_t *)(ra1 + 4) + 8l;
ra2 = (const uint16_t *)ra1;
// ff 25 jmpq *symbol@DYLDMAGIC(%rip)
if (*ra2 != 0x25ff) {
return false;
}
ra1 += 6l + (long)*(const int32_t *)(ra1 + 2);
sym = (const void **)ra1;
if (*sym != objc_retainAutoreleasedReturnValue)
{
return false;
}
return true;
}
它檢驗了主調方在返回值之後是否緊接著調用了objc_retainAutoreleasedReturnValue,如果是,就知道了外部是ARC環境,反之就走沒被優化的老邏輯。
其他Autorelease相關知識點
使用容器的block版本的枚舉器時,內部會自動添加一個AutoreleasePool:
[array enumerateObjectsUsingBlock:^(id obj, NSUInteger idx, BOOL *stop) {
// 這裡被一個局部@autoreleasepool包圍著
}];
當然,在普通for迴圈和for in迴圈中沒有,所以,還是新版的block版本枚舉器更加方便。for迴圈中遍歷產生大量autorelease變數時,就需要手加局部AutoreleasePool咯。