iOS開發中的AOP利器 - Aspects 原始碼分析（二）

lyuf發表於2018-09-14

執行hook事件

在Aspects原始碼分析的第一篇文章中主要分析了為hook做的準備工作,接下來分析一下，當 selector執行時是如何執行你自己新增的自定義hook事件的。

通過hook準備工作的處理後，外界呼叫的hook selector 會直接進入訊息轉發執行到方法forwardInvocation: ,然後此時forwardInvocation:方法的IMP是指向處理hook的函式 __ASPECTS_ARE_BEING_CALLED__,這個函式也是整個hook事件的核心函式。程式碼實現如下

static void __ASPECTS_ARE_BEING_CALLED__(__unsafe_unretained NSObject *self, SEL selector, NSInvocation *invocation) {
    NSCParameterAssert(self);
    NSCParameterAssert(invocation);
    SEL originalSelector = invocation.selector;
	SEL aliasSelector = aspect_aliasForSelector(invocation.selector);
    invocation.selector = aliasSelector;
    AspectsContainer *objectContainer = objc_getAssociatedObject(self, aliasSelector);
    AspectsContainer *classContainer = aspect_getContainerForClass(object_getClass(self), aliasSelector);
    AspectInfo *info = [[AspectInfo alloc] initWithInstance:self invocation:invocation];
    NSArray *aspectsToRemove = nil;

    // Before hooks.
    aspect_invoke(classContainer.beforeAspects, info);
    aspect_invoke(objectContainer.beforeAspects, info);

    // Instead hooks.
    BOOL respondsToAlias = YES;
    
    if (objectContainer.insteadAspects.count || classContainer.insteadAspects.count) {
        aspect_invoke(classContainer.insteadAspects, info);
        aspect_invoke(objectContainer.insteadAspects, info);
    }else {
        
        Class klass = object_getClass(invocation.target);
        do {
            if ((respondsToAlias = [klass instancesRespondToSelector:aliasSelector])) {
                [invocation invoke]; //aliasSelector 已經在 aspect_prepareClassAndHookSelector 函式中替換為原來selector的實現 ， 這裡就是調回原方法的實現程式碼
                break;
            }
        }while (!respondsToAlias && (klass = class_getSuperclass(klass)));
    }

    // After hooks.
    aspect_invoke(classContainer.afterAspects, info);
    aspect_invoke(objectContainer.afterAspects, info);

    // If no hooks are installed, call original implementation (usually to throw an exception)
    if (!respondsToAlias) {
        invocation.selector = originalSelector;
        SEL originalForwardInvocationSEL = NSSelectorFromString(AspectsForwardInvocationSelectorName);
        if ([self respondsToSelector:originalForwardInvocationSEL]) {
            ((void( *)(id, SEL, NSInvocation *))objc_msgSend)(self, originalForwardInvocationSEL, invocation);
        }else {
            [self doesNotRecognizeSelector:invocation.selector];
        }
    }

    // Remove any hooks that are queued for deregistration.
    [aspectsToRemove makeObjectsPerformSelector:@selector(remove)];
}
複製程式碼

這個函式首先把傳進來的NSInvocation物件的selector 賦值為 IMP指向呼叫方法的原IMP的aliasSelector , 這樣可以方便呼叫會原方法的IMP的實現。

獲取hook事件容器

AspectsContainer *objectContainer = objc_getAssociatedObject(self, aliasSelector);
AspectsContainer *classContainer = aspect_getContainerForClass(object_getClass(self), aliasSelector);
AspectInfo *info = [[AspectInfo alloc] initWithInstance:self invocation:invocation];
複製程式碼

這裡是通過aliasSelector分別取出繫結在 hook物件以及 hook class （hook物件的isa指標指向的Class）中對應的容器物件AspectsContainer , 並生成一個 AspectInfo物件，用於封裝執行方法及hook事件是所需的實參。接下來分別是遍歷兩個容器物件中的三個陣列（beforeAspects 、insteadAspects 、afterAspects）是否有 hook的標識物件AspectIdentifier , 如果有的話就執行相應的hook事件。insteadAspects如果這個陣列有物件存放，就說明原方法的實現被替換為執行 insteadAspects裡的hook事件了。

hook執行

//執行hook
aspect_invoke(classContainer.beforeAspects, info);

//hook執行的巨集程式碼
#define aspect_invoke(aspects, info) \
for (AspectIdentifier *aspect in aspects) {\
    [aspect invokeWithInfo:info];\
    if (aspect.options & AspectOptionAutomaticRemoval) { \
        aspectsToRemove = [aspectsToRemove?:@[] arrayByAddingObject:aspect]; \
    } \
}

- (BOOL)invokeWithInfo:(id<AspectInfo>)info {
    //根據block得簽名字串 ， 生成對應的訊息呼叫物件。用來在設定完引數後呼叫block
    NSInvocation *blockInvocation = [NSInvocation invocationWithMethodSignature:self.blockSignature];
    //取出外界呼叫方法時，系統封裝的訊息呼叫物件，用來獲取實參的值
    NSInvocation *originalInvocation = info.originalInvocation;
    NSUInteger numberOfArguments = self.blockSignature.numberOfArguments;

    // Be extra paranoid. We already check that on hook registration.
    if (numberOfArguments > originalInvocation.methodSignature.numberOfArguments) {
        AspectLogError(@"Block has too many arguments. Not calling %@", info);
        return NO;
    }

    // The `self` of the block will be the AspectInfo. Optional.
    //這裡設定Block的 第一個引數為傳進來的AspectInfo物件 ， 第0位置的引數是Block本身
    if (numberOfArguments > 1) { //有引數的話就吧第一個引數 設定為 AspectInfo ， 第0位置是block本身。
        
         /**
         官方文件解析 : When the argument value is an object, pass a pointer to the variable (or memory) from which the object should be copied
         &info : info物件指標的地址
         這樣傳參的目的是保證了，引數無論是普通型別引數還是物件都可以通過你傳進來的指標，通過拷貝指標指向的內容來獲取到 普通型別資料 或者 物件指標。
         */
        [blockInvocation setArgument:&info atIndex:1];
    }
    
	void *argBuf = NULL;
    //遍歷引數型別typeStr , 為blockInvocation對應的引數建立所需空間 ， 賦值資料 ， 設定blockInvocation引數
    for (NSUInteger idx = 2; idx < numberOfArguments; idx++) {
        const char *type = [originalInvocation.methodSignature getArgumentTypeAtIndex:idx];
		NSUInteger argSize; //實參多需要的空間大小
		NSGetSizeAndAlignment(type, &argSize, NULL); //根據encodeType 字串 建立對應空間存放block的引數資料所屬要的size
        
		if (!(argBuf = reallocf(argBuf, argSize))) { //建立size大小的空間
            AspectLogError(@"Failed to allocate memory for block invocation.");
			return NO;
		}
        
		[originalInvocation getArgument:argBuf atIndex:idx]; //獲取到指向對應引數的指標
		[blockInvocation setArgument:argBuf atIndex:idx]; //把指向對應實參指標的地址（相當於指向實參指標的指標）傳給invocation 進行拷貝，得到的就是指向實參物件的指標
    }
    
    [blockInvocation invokeWithTarget:self.block]; //設定完實參執行block
    
    if (argBuf != NULL) {
        free(argBuf); //c語言的建立空間 ，用完後需要釋放，關於c語言的動態記憶體相關資料可以看 https://blog.csdn.net/qq_29924041/article/details/54897204
    }
    return YES；
}
複製程式碼

可以看出 AspectIdentifier的-invokeWithInfo是執行hook事件最終的方法。該方法主要處理的事情是：根據傳進來的AspectInfo物件為最初定義hook事件的Block設定相應的引數。並執行Block(hook事件)

blockInvocation設定引數解析

設定了block的第一個位置的引數為AspectInfo * info , 這樣做及未來方便內部遍歷設定引數 (與selector保持一致，自定義引數從索引為2的位置開始)，又方便了外界在定義hook的事件是獲取到例項物件 - [info instance]
getArgument:atIndex:返回的是對應索引引數的指標（地址）。假如引數是一個物件指標的話，會返回物件的指標地址。而setArgument:atIndex:會把傳進來的引數（指標）拷貝其指向的內容到相應的索引位置中。所以argBuf在整個for迴圈中可以不斷地使用同一個指標並不斷的reallocf返回指向一定堆空間的指標。argBuf指標只是作為一個設定引數的中介，每一個for迴圈後setArgument :atIndex:都會把argBuf指向的內容拷貝到invocation中。

hook的移除

AspectIdentifier的remove方法，會呼叫到下面的函式

static BOOL aspect_remove(AspectIdentifier *aspect, NSError **error) {
    NSCAssert([aspect isKindOfClass:AspectIdentifier.class], @"Must have correct type.");

    __block BOOL success = NO;
    aspect_performLocked(^{
        id self = aspect.object; // strongify
        if (self) {
            AspectsContainer *aspectContainer = aspect_getContainerForObject(self, aspect.selector);
            success = [aspectContainer removeAspect:aspect]; //重container的 三個陣列中移除aspect

            aspect_cleanupHookedClassAndSelector(self, aspect.selector);
            // destroy token
            aspect.object = nil;
            aspect.block = nil;
            aspect.selector = NULL;
        }else {
            NSString *errrorDesc = [NSString stringWithFormat:@"Unable to deregister hook. Object already deallocated: %@", aspect];
            AspectError(AspectErrorRemoveObjectAlreadyDeallocated, errrorDesc);
        }
    });
    return success;
}
複製程式碼

1. 移除AspectContainer中的AspectIdentifier

首先獲取被hook的物件中通過runtime繫結的關聯屬性 ---AspectsContainer *aspectContainer ,並分別移除陣列的hook標識物件 - AsepctIdentifier * aspect,實現程式碼如下：

//AspectContainer的例項方法
- (BOOL)removeAspect:(id)aspect {
    for (NSString *aspectArrayName in @[NSStringFromSelector(@selector(beforeAspects)),
                                        NSStringFromSelector(@selector(insteadAspects)),
                                        NSStringFromSelector(@selector(afterAspects))]) {
        NSArray *array = [self valueForKey:aspectArrayName];
        NSUInteger index = [array indexOfObjectIdenticalTo:aspect];
        if (array && index != NSNotFound) {
            NSMutableArray *newArray = [NSMutableArray arrayWithArray:array];
            [newArray removeObjectAtIndex:index];
            [self setValue:newArray forKey:aspectArrayName];
            return YES;
        }
    }
    return NO;
}
複製程式碼

2.還原selector指向的IMP

// Check if the method is marked as forwarded and undo that.
Method targetMethod = class_getInstanceMethod(klass, selector);
IMP targetMethodIMP = method_getImplementation(targetMethod);
if (aspect_isMsgForwardIMP(targetMethodIMP)) {
    // Restore the original method implementation.
    const char *typeEncoding = method_getTypeEncoding(targetMethod);
    SEL aliasSelector = aspect_aliasForSelector(selector);
    Method originalMethod = class_getInstanceMethod(klass, aliasSelector);
    IMP originalIMP = method_getImplementation(originalMethod);
    NSCAssert(originalMethod, @"Original implementation for %@ not found %@ on %@", NSStringFromSelector(selector), NSStringFromSelector(aliasSelector), klass);

    class_replaceMethod(klass, selector, originalIMP, typeEncoding);
    AspectLog(@"Aspects: Removed hook for -[%@ %@].", klass, NSStringFromSelector(selector));
}
複製程式碼

在進行hook準備工作室，把selector的IMP修改成立進入訊息轉發的，並且新增了一個新的selector（asepct__selector）指向原selector的IMP這裡是還原selector的指向。

3.移除AspectTracker對應的記錄

static void aspect_deregisterTrackedSelector(id self, SEL selector) {
    if (!class_isMetaClass(object_getClass(self))) return;

    NSMutableDictionary *swizzledClassesDict = aspect_getSwizzledClassesDict();
    NSString *selectorName = NSStringFromSelector(selector);
    Class currentClass = [self class];
    do {
        AspectTracker *tracker = swizzledClassesDict[currentClass];
        if (tracker) {
            [tracker.selectorNames removeObject:selectorName];
            if (tracker.selectorNames.count == 0) {
                [swizzledClassesDict removeObjectForKey:tracker];
            }
        }
    }while ((currentClass = class_getSuperclass(currentClass)));
}
複製程式碼

如果被hook的是類（呼叫的是類方法新增hook）。在全域性物件（NSMutableDictionary *swizzledClassesDict）中移除hook class的整個向上繼承關係鏈上的AspectTracker中的selectors陣列中的selectorName字串。 ####4.還原被hook的例項物件的isa的指向 + 還原被hook Class的forwardInvocation:方法的IMP指向

// Get the aspect container and check if there are any hooks remaining. Clean up if there are not.
AspectsContainer *container = aspect_getContainerForObject(self, selector);
if (!container.hasAspects) {
    // Destroy the container
    aspect_destroyContainerForObject(self, selector);

    // Figure out how the class was modified to undo the changes.
    NSString *className = NSStringFromClass(klass);
    if ([className hasSuffix:AspectsSubclassSuffix]) {
        Class originalClass = NSClassFromString([className stringByReplacingOccurrencesOfString:AspectsSubclassSuffix withString:@""]);
        NSCAssert(originalClass != nil, @"Original class must exist");
        object_setClass(self, originalClass); //把hook的類物件isa 從_Aspects_class -> 原來的類
        AspectLog(@"Aspects: %@ has been restored.", NSStringFromClass(originalClass));

        // We can only dispose the class pair if we can ensure that no instances exist using our subclass.
        // Since we don't globally track this, we can't ensure this - but there's also not much overhead in keeping it around.
        //objc_disposeClassPair(object.class);
    }else {
        // Class is most likely swizzled in place. Undo that.
        if (isMetaClass) {
            aspect_undoSwizzleClassInPlace((Class)self);
        }
    }
}
複製程式碼

這裡首先判斷hook物件的AspectContainer屬性陣列中是否還有 AspectIndetafier物件（hook標識）。如果沒有的話就清除掉該物件的關聯屬性容器。接下來分兩種情況進行還原處理

情況1. 被hook的是普通例項物件 : 此時需要把物件的isa指向還原會為原來的Class --> object_setClass(self, originalClass);

情況2. 被hook的是類：還原forwardInvocation:方法的IMP指向為原來的進入訊息轉發的IMP，並且從全域性變數swizzledClasses中移除類名字串的記錄。

iOS開發中的AOP利器 - Aspects 原始碼分析（一）
2018-09-12
iOS原始碼
iOS 開源庫系列 Aspects核心原始碼分析
2019-02-21
iOS原始碼
Aspects原始碼分析
2019-04-22
原始碼
iOS開發面向切面程式設計之 Aspects 原始碼解析
2019-03-03
iOS程式設計原始碼
5.2 Spring5原始碼--Spring AOP原始碼分析二
2021-01-20
Spring原始碼
iOS開發原始碼閱讀篇--FMDB原始碼分析1(FMResultSet)
2018-12-01
iOS原始碼
iOS開發原始碼閱讀篇--FMDB原始碼分析2(FMResultSet)
2018-12-03
iOS原始碼
Spring AOP之原始碼分析
2024-03-19
Spring原始碼
5.2 spring5原始碼--spring AOP原始碼分析二--切面的配置方式
2021-02-05
Spring原始碼
阿里開源 iOS 協程開發框架 coobjc原始碼分析
2019-03-01
阿里iOS框架OBJ原始碼
iOS開發原始碼閱讀篇--FMDB原始碼分析3(FMDatabaseQueue+FMDatabasePool)
2018-12-03
iOS原始碼Database
5.2 spring5原始碼--spring AOP原始碼分析三---切面原始碼分析
2021-02-11
Spring原始碼
淺嘗Spring註解開發_AOP原理及完整過程分析（原始碼）
2022-05-04
Spring原始碼
5.1 Spring5原始碼--Spring AOP原始碼分析一
2020-12-06
Spring原始碼
靜下心來讀原始碼之Aspects
2018-03-21
原始碼
AOP原始碼解析之二-建立AOP代理前傳，獲取AOP資訊
2022-03-21
原始碼
玩轉iOS開發：iOS開發中的裝逼技術 – RunTime(二)
2019-03-04
iOS
Java併發之AQS原始碼分析（二）
2019-05-08
JavaAQS原始碼
Spring中AOP相關原始碼解析
2019-07-05
Spring原始碼
Spring原始碼系列(二)--bean元件的原始碼分析
2020-06-26
Spring原始碼Bean元件
IOS 逆向開發（二）密碼學 HASH
2020-04-05
iOS密碼學
Spring原始碼分析之AOP從解析到呼叫
2020-12-14
Spring原始碼
LinkedList原始碼分析（二）
2018-06-07
原始碼
MyBatis原始碼分析(二)
2020-07-08
MyBatis原始碼
原始碼分析二：LeakCanary
2018-03-02
原始碼
原始碼|jdk原始碼之HashMap分析(二)
2019-01-19
原始碼JDKHashMap
GitHub：原始碼管理的利器
2024-05-26
Github原始碼
1.17 另一個自定義的CVCalendar日曆 [iOS開發中的神兵利器]
2018-04-11
iOS
現有Android專案中整合Flutter/Flutter混合開發實戰（二）:FlutterActivity原始碼分析
2019-02-27
AndroidFlutter原始碼
Spring中AOP相關的API及原始碼解析
2020-07-02
SpringAPI原始碼
Kubernetes Deployment 原始碼分析（二）
2021-11-04
原始碼
2.15 自定義表單文字框內容的格式 [iOS開發中的神兵利器]
2018-04-12
iOS
Weex-iOS原始碼-CSS Layout 分析
2019-02-19
iOS原始碼CSS
Spring AOP 原始碼解析
2018-10-24
Spring原始碼
玩轉iOS開發：iOS中的NSOperation開發(一)
2019-02-20
iOS
Spring系列：基於Spring-AOP和Spring-Aspects實現AOP切面程式設計
2023-12-14
Spring程式設計
SpringCloudAlibaba註冊中心與配置中心之利器Nacos實戰與原始碼分析（中）
2022-04-11
SpringGCCloud原始碼
netty原始碼分析之pipeline(二)
2019-03-03
Netty原始碼