二十三源武、iOS底層原理-block底層原理

block分類

1. __NSGlobalBlock__
    void(^globalBlock)(void) = ^ {
        NSLog(@"1111111");
    };
    NSLog(@"%@",globalBlock);
.......................
<__NSGlobalBlock__: 0x108fb70b8>

聲明一個block腕巡,沒有對外界變量持有為 __NSGlobalBlock__

  • 位于全局區(qū)
  • 在Block內(nèi)部不使用外部變量胳搞,或者只適用靜態(tài)變量和全局變量会前。
2. __NSMallocBlock__
    int a = 10;
    void (^ malloBlock)(void) = ^{
        NSLog(@"Cooci - %d",a);
    };

    NSLog(@"%@",malloBlock);
.......................
<__NSMallocBlock__: 0x6000010ec840>
  • 位于堆區(qū)
  • 在Block內(nèi)部使用局部變量或者OC屬性拨黔,并且賦值給強引用或者Copy修飾蛔溃。
    當block對外界變量持有是,就會從 __NSStackBlock__copy成 __NSMallocBlock__篱蝇,具體情況下文分析
3. __NSStackBlock__
    int a = 10;
    void (^ malloBlock)(void) = ^{
        NSLog(@"Cooci - %d",a);
    };

    NSLog(@"%@",malloBlock);
.......................
<__NSStackBlock__: 0x7ffee6c473f8>

當block出棧就會銷毀的時候為 __NSStackBlock__贺待,block為函數(shù)參數(shù)是也是 __NSStackBlock__

  • 位于棧區(qū)
  • 與MallocBlock一樣零截,可以在Block內(nèi)部使用局部變量或者OC屬性麸塞,但是不能賦值給強引用或者Copy修飾。

block的循環(huán)引用

互相持有.png

對象A持有對象B涧衙,對象B又持有對象A哪工,相互持有奥此,最終導致兩個對象都不能釋放。


@interface ViewController ()
@property(nonatomic,copy)void(^blockA)(void);
@property (nonatomic, copy) NSString *name;
@end

@implementation ViewController

- (void)viewDidLoad {
    [super viewDidLoad];
    // 循環(huán)引用
    self.name = @"AAA";
    self.blockA = ^{
        NSLog(@"%@",self.name);
    };
    self.blockA();
}
@end

- (void)dealloc{
    NSLog(@"dealloc 來了");
}

在這里雁比,self持有block稚虎,block里又對self進行了持有,導致循環(huán)引用偎捎,dealloc不會打印蠢终。

循環(huán)引用的解決方案
  1. __weak__strong
    __weak typeof(self) weakSelf = self;
    self.blockA = ^{
        NSLog(@"%@",weakSelf.name);
    };
    self.blockA();

原來是self->block->self,現(xiàn)在變成了self->block->weakSelf->self茴她,
將block中的self交給weakSelf,weakSelf在block結束時就會釋放,我們可以通過CFGetRetainCount((__bridge CFTypeRef)(self))打印當前引用計數(shù)寻拂,發(fā)現(xiàn)self引用計數(shù)并沒有增加。
但是只用 __weak還會存在問題

    __weak typeof(self) weakSelf = self;
    self.block = ^(void){
        // 時間 - 精力
        // self 的生命周期
        __strong __typeof(weakSelf)strongSelf = weakSelf; // 可以釋放 when
        dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
            NSLog(@"%@",strongSelf.name);
        });
    };
    self.block();

當存在延時運行的時候丈牢,block結束時weakSelf還沒調用就被釋放了祭钉。self的生命周期沒有得到保存。這個時候就需要__strong對其進行強引用己沛,strongSelf是臨時變量慌核,在除了作用空間就會被釋放掉。weak-strong 強弱共舞

  1. __block
    __block ViewController *vc = self;
    self.block = ^(void){
        dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
            NSLog(@"%@",vc.name);
            vc = nil;
        });
    };
    self.block();

我們除了__weak自動釋放還可以通過__block手動釋放泛粹,通過__block 修飾之后可以在block中修改值遂铡,通過手動的方式銷毀,但這里有個問題晶姊,如果block沒有調用的話扒接,就不會釋放,因為self被block捕獲了们衙,沒有調用所以無法釋放钾怔。

3.修改通信模式
因為當前self是被持有的,但我們可以通過通知蒙挑、代理宗侦、傳參的方式將self傳入。

    self.block = ^(ViewController *vc){
        dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
            NSLog(@"%@",vc.name);
        });
    };
    self.block(self);

當前self就會當做臨時變量壓棧進來忆蚀。

block編譯

1.block的基本實現(xiàn)
新建一個文件矾利,實現(xiàn)以下代碼

#include "stdio.h"

int main(){

    __block int a = 11;
    void(^block)(void) = ^{
        a++;
        printf("LG_Cooci - %d",a);
    };
    
    // block();
    return 0;
}

通過xclang -arch x86_64 -rewrite-objc block.c將其編譯成cpp文件


struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {

        printf("aaaa");
    }


int main(){

    void(*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));

     ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
    return 0;
}

可以看到block被轉換成了__main_block_impl_0結構體。通過構造方法馋袜,block函數(shù)被編譯成函數(shù)男旗,作為參數(shù)參入impl.FuncPtr = fp,后面通過block->FuncPtr(block)調用block欣鳖。block作為參數(shù)傳入當前函數(shù)中察皇,和oc方法一樣,作為隱藏參數(shù)泽台,可以更好地操作block什荣,可以對block對其進行操作矾缓。

  1. __block
    我們先傳入一個普通的參數(shù)a
#include "stdio.h"
int main(){
    int a = 10;
    void(^block)(void) = ^{
        printf("aaaa-%d",a);
    };
     block();
    return 0;
}

clang編譯一下


struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  int a;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _a, int flags=0) : a(_a) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  int a = __cself->a; // bound by copy

        printf("aaaa-%d",a);
    }

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
int main(){
    int a = 10;
    void(*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, a));

     ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
    return 0;
}

可以看到在編譯時就在block中自動生成了相應的變量a,通過構造方法賦值稻爬。isa指向為_NSConcreteStackBlock嗜闻。在方法中直接出去a的值來操作,但是由于是賦值拷貝因篇,所以無法修改外部變量泞辐,會造成代碼歧義笔横。
現(xiàn)在我們加入__block

int main(){
    __block int a = 10;
    void(^block)(void) = ^{
        a++;
        printf("aaaa-%d",a);
    };
     block();
    return 0;
}

clang編譯一下

struct __Block_byref_a_0 {
  void *__isa;
__Block_byref_a_0 *__forwarding;
 int __flags;
 int __size;
 int a;
};

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __Block_byref_a_0 *a; // by ref
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_a_0 *_a, int flags=0) : a(_a->__forwarding) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  __Block_byref_a_0 *a = __cself->a; // bound by ref

        (a->__forwarding->a)++;
        printf("aaaa-%d",(a->__forwarding->a));
    }
static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {_Block_object_assign((void*)&dst->a, (void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

static void __main_block_dispose_0(struct __main_block_impl_0*src) {_Block_object_dispose((void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
  void (*copy)(struct __main_block_impl_0*, struct __main_block_impl_0*);
  void (*dispose)(struct __main_block_impl_0*);
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0), __main_block_copy_0, __main_block_dispose_0};
int main(){
    __attribute__((__blocks__(byref))) __Block_byref_a_0 a = {
(void*)0,
(__Block_byref_a_0 *)&a, 
0,
 sizeof(__Block_byref_a_0), 
10};
    void(*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_a_0 *)&a, 570425344));
     ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
    return 0;
}

在這里生成了一個__Block_byref_a_0結構體

struct __Block_byref_a_0 {
  void *__isa;
__Block_byref_a_0 *__forwarding;
 int __flags;
 int __size;
 int a;
};

將a封裝成相應的對象竞滓,通過地址拷貝傳遞到block函數(shù)中去,對其進行操作吹缔。

block底層原理

block源碼調試
我們現(xiàn)在block聲明的地方打上斷點商佑,然后Debug Workflow -> Alaways Show Diassembly查看匯編。

block斷點調試.png

加他條件斷點厢塘,可以看到libsystem_blocks.dylib _Block_copy
我們就可以找到block源碼進行查看
我們通過源碼可以看到所有的參數(shù)都來源于Block_layout

struct Block_layout {
    void *isa;
    volatile int32_t flags; // contains ref count
    int32_t reserved;
    BlockInvokeFunction invoke;
    struct Block_descriptor_1 *descriptor; //
    // imported variables
};

flags作為標識碼標識了當前的一些標志

// Values for Block_layout->flags to describe block objects
enum {
    BLOCK_DEALLOCATING =      (0x0001),  // runtime 是否正在析構
    BLOCK_REFCOUNT_MASK =     (0xfffe),  // runtime 引用計數(shù)的MASK
    BLOCK_NEEDS_FREE =        (1 << 24), // runtime 是否需要釋放
    BLOCK_HAS_COPY_DISPOSE =  (1 << 25), // compiler
    BLOCK_HAS_CTOR =          (1 << 26), // compiler: helpers have C++ code
    BLOCK_IS_GC =             (1 << 27), // runtime
    BLOCK_IS_GLOBAL =         (1 << 28), // compiler  是否為全局GLOBAL
    BLOCK_USE_STRET =         (1 << 29), // compiler: undefined if !BLOCK_HAS_SIGNATURE
    BLOCK_HAS_SIGNATURE  =    (1 << 30), // compiler 是否有簽名
    BLOCK_HAS_EXTENDED_LAYOUT=(1 << 31)  // compiler
};

Block_descriptor 除了Block_descriptor_1還有Block_descriptor_2茶没、Block_descriptor_3


#define BLOCK_DESCRIPTOR_1 1
struct Block_descriptor_1 {
    uintptr_t reserved;
    uintptr_t size;
};

// 可選
#define BLOCK_DESCRIPTOR_2 1
struct Block_descriptor_2 {
    // requires BLOCK_HAS_COPY_DISPOSE
    BlockCopyFunction copy;
    BlockDisposeFunction dispose;
};

#define BLOCK_DESCRIPTOR_3 1
struct Block_descriptor_3 {
    // requires BLOCK_HAS_SIGNATURE
    const char *signature;
    const char *layout;     // contents depend on BLOCK_HAS_EXTENDED_LAYOUT
};

Block_descriptor_1是一直存在的,而Block_descriptor_2晚碾、Block_descriptor_3就是通過flags來決定是否存在

#if 0
static struct Block_descriptor_1 * _Block_descriptor_1(struct Block_layout *aBlock)
{
    return aBlock->descriptor;
}
#endif

static struct Block_descriptor_2 * _Block_descriptor_2(struct Block_layout *aBlock)
{
    if (! (aBlock->flags & BLOCK_HAS_COPY_DISPOSE)) return NULL;
    uint8_t *desc = (uint8_t *)aBlock->descriptor;
    desc += sizeof(struct Block_descriptor_1);
    return (struct Block_descriptor_2 *)desc;
}

static struct Block_descriptor_3 * _Block_descriptor_3(struct Block_layout *aBlock)
{
    if (! (aBlock->flags & BLOCK_HAS_SIGNATURE)) return NULL;
    uint8_t *desc = (uint8_t *)aBlock->descriptor;
    desc += sizeof(struct Block_descriptor_1);
    if (aBlock->flags & BLOCK_HAS_COPY_DISPOSE) {
        desc += sizeof(struct Block_descriptor_2);
    }
    return (struct Block_descriptor_3 *)desc;
}

如果flags顯示存在抓半,就找到aBlock->descriptor 通過內(nèi)存平移去找到Block_descriptor_2Block_descriptor_3格嘁。

通過讀取內(nèi)存查看當前block.png

我們可以通過lldb register read查看x0地址變化笛求,發(fā)現(xiàn)在_Block_copy __NSStackBlock__ 變?yōu)榱?code>__NSMallocBlock__

// Copy, or bump refcount, of a block.  If really copying, call the copy helper if present.
// 棧 -> 堆 研究拷貝
void *_Block_copy(const void *arg) {
    struct Block_layout *aBlock;

    if (!arg) return NULL;
    
    // The following would be better done as a switch statement
    //拷貝當前的block防止對外層的影響
    aBlock = (struct Block_layout *)arg;
    if (aBlock->flags & BLOCK_NEEDS_FREE) {
        // latches on high
        latching_incr_int(&aBlock->flags);
        return aBlock;
    }
    else if (aBlock->flags & BLOCK_IS_GLOBAL) {
        return aBlock; // 不需要改變,直接返回
    }
    else { // 棧
        // Its a stack block.  Make a copy.
        struct Block_layout *result =
            (struct Block_layout *)malloc(aBlock->descriptor->size);
        if (!result) return NULL;
        //內(nèi)存拷貝
        memmove(result, aBlock, aBlock->descriptor->size); // bitcopy first
#if __has_feature(ptrauth_calls)
        // Resign the invoke pointer as it uses address authentication.
        result->invoke = aBlock->invoke;
#endif
        // reset refcount
        result->flags &= ~(BLOCK_REFCOUNT_MASK|BLOCK_DEALLOCATING);    // XXX not needed
        result->flags |= BLOCK_NEEDS_FREE | 2;  // logical refcount 1
        _Block_call_copy_helper(result, aBlock);
        // Set isa last so memory analysis tools see a fully-initialized object.
        result->isa = _NSConcreteMallocBlock;
        return result;
    }
}
block 是怎么對外界變量進行操作的
int main(int argc, char * argv[]) {
    @autoreleasepool {
        __block NSString *a = [NSString stringWithFormat:@"aaa"];
        void(^block)(void) = ^{
            a = @"xxx";
            printf("aaaa-%@",a);
        };
         block();
        
    }
    return UIApplicationMain(argc, argv, nil, NSStringFromClass([AppDelegate class]));
}

clang -x objective-c -rewrite-objc -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulator.sdk main.m


struct __Block_byref_a_0 {
  void *__isa;
__Block_byref_a_0 *__forwarding;
 int __flags;
 int __size;
 void (*__Block_byref_id_object_copy)(void*, void*);
 void (*__Block_byref_id_object_dispose)(void*);
 NSString *a;
};

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __Block_byref_a_0 *a; // by ref
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_a_0 *_a, int flags=0) : a(_a->__forwarding) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  __Block_byref_a_0 *a = __cself->a; // bound by ref

            (a->__forwarding->a) = (NSString *)&__NSConstantStringImpl__var_folders__2_948tyv6520110qy_phw9x4fw0000gn_T_main_076a95_mi_1;
            printf("aaaa-%@",(a->__forwarding->a));
        }
static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {_Block_object_assign((void*)&dst->a, (void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

static void __main_block_dispose_0(struct __main_block_impl_0*src) {_Block_object_dispose((void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
  void (*copy)(struct __main_block_impl_0*, struct __main_block_impl_0*);
  void (*dispose)(struct __main_block_impl_0*);
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0), __main_block_copy_0, __main_block_dispose_0};
int main(int argc, char * argv[]) {
    /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool; 
        __attribute__((__blocks__(byref))) __Block_byref_a_0 a = {(void*)0,(__Block_byref_a_0 *)&a, 33554432, sizeof(__Block_byref_a_0), __Block_byref_id_object_copy_131, __Block_byref_id_object_dispose_131, ((NSString * _Nonnull (*)(id, SEL, NSString * _Nonnull, ...))(void *)objc_msgSend)((id)objc_getClass("NSString"), sel_registerName("stringWithFormat:"), (NSString *)&__NSConstantStringImpl__var_folders__2_948tyv6520110qy_phw9x4fw0000gn_T_main_076a95_mi_0)};
        void(*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_a_0 *)&a, 570425344));
         ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);

    }
    return UIApplicationMain(argc, argv, __null, NSStringFromClass(((Class (*)(id, SEL))(void *)objc_msgSend)((id)objc_getClass("AppDelegate"), sel_registerName("class"))));
}





static __NSConstantStringImpl __NSConstantStringImpl__var_folders__2_948tyv6520110qy_phw9x4fw0000gn_T_main_076a95_mi_0 __attribute__ ((section ("__DATA, __cfstring"))) = {__CFConstantStringClassReference,0x000007c8,"aaa",3};
static void __Block_byref_id_object_copy_131(void *dst, void *src) {
 _Block_object_assign((char*)dst + 40, *(void * *) ((char*)src + 40), 131);
}
static void __Block_byref_id_object_dispose_131(void *src) {
 _Block_object_dispose(*(void * *) ((char*)src + 40), 131);
}
static __NSConstantStringImpl __NSConstantStringImpl__var_folders__2_948tyv6520110qy_phw9x4fw0000gn_T_main_076a95_mi_1 __attribute__ ((section ("__DATA, __cfstring"))) = {__CFConstantStringClassReference,0x000007c8,"xxx",3};


這是生成的descriptor的糕簿,我們在descriptor_2可以看到

static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {_Block_object_assign((void*)&dst->a, (void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

我們?nèi)ゲ榭?code>_Block_object_assign源碼

void _Block_object_assign(void *destArg, const void *object, const int flags) {
    const void **dest = (const void **)destArg;
   
    switch (os_assumes(flags & BLOCK_ALL_COPY_DISPOSE_FLAGS)) {
     
        case BLOCK_FIELD_IS_OBJECT:
        /*******
        id object = ...;
        [^{ object; } copy];
        ********/
        // objc 指針地址 weakSelf (self)
            // arc 進行處理
        _Block_retain_object(object);
            // 持有
        *dest = object;
        break;

      case BLOCK_FIELD_IS_BLOCK:
        /*******
        void (^object)(void) = ...;
        [^{ object; } copy];
        ********/
            
            // block 被一個 block 捕獲

        *dest = _Block_copy(object);
        break;
    
      case BLOCK_FIELD_IS_BYREF | BLOCK_FIELD_IS_WEAK:
      case BLOCK_FIELD_IS_BYREF:
        /*******
         // copy the onstack __block container to the heap
         // Note this __weak is old GC-weak/MRC-unretained.
         // ARC-style __weak is handled by the copy helper directly.
         __block ... x;
         __weak __block ... x;
         [^{ x; } copy];
         ********/
            
        *dest = _Block_byref_copy(object);
        break;
        
      case BLOCK_BYREF_CALLER | BLOCK_FIELD_IS_OBJECT:
      case BLOCK_BYREF_CALLER | BLOCK_FIELD_IS_BLOCK:
        /*******
         // copy the actual field held in the __block container
         // Note this is MRC unretained __block only. 
         // ARC retained __block is handled by the copy helper directly.
         __block id object;
         __block void (^object)(void);
         [^{ object; } copy];
         ********/

        *dest = object;
        break;

      case BLOCK_BYREF_CALLER | BLOCK_FIELD_IS_OBJECT | BLOCK_FIELD_IS_WEAK:
      case BLOCK_BYREF_CALLER | BLOCK_FIELD_IS_BLOCK  | BLOCK_FIELD_IS_WEAK:
        /*******
         // copy the actual field held in the __block container
         // Note this __weak is old GC-weak/MRC-unretained.
         // ARC-style __weak is handled by the copy helper directly.
         __weak __block id object;
         __weak __block void (^object)(void);
         [^{ object; } copy];
         ********/

        *dest = object;
        break;

      default:
        break;
    }
}

通過flag分為以下幾種類型

enum {
    // see function implementation for a more complete description of these fields and combinations
    BLOCK_FIELD_IS_OBJECT   =  3,  // id, NSObject, __attribute__((NSObject)), block, ...
    BLOCK_FIELD_IS_BLOCK    =  7,  // a block variable
    BLOCK_FIELD_IS_BYREF    =  8,  // the on stack structure holding the __block variable
    BLOCK_FIELD_IS_WEAK     = 16,  // declared __weak, only used in byref copy helpers
    BLOCK_BYREF_CALLER      = 128, // called from __block (byref) copy/dispose support routines.
};

我們常用的為BLOCK_FIELD_IS_OBJECTBLOCK_FIELD_IS_BYREF探入。

  • BLOCK_FIELD_IS_OBJECT時什么都沒做,交給ARC進行處理懂诗。
  • BLOCK_FIELD_IS_BYREF
static struct Block_byref *_Block_byref_copy(const void *arg) {
    
    // Block_byref  結構體
    // 保存一份
    struct Block_byref *src = (struct Block_byref *)arg;

    if ((src->forwarding->flags & BLOCK_REFCOUNT_MASK) == 0) {
        // src points to stack
        struct Block_byref *copy = (struct Block_byref *)malloc(src->size);
        copy->isa = NULL;
        // byref value 4 is logical refcount of 2: one for caller, one for stack
        copy->flags = src->flags | BLOCK_BYREF_NEEDS_FREE | 4;
        
        // 問題 - block 內(nèi)部 持有的 Block_byref 所持有的對象 同一個
        //拷貝的對象和原有的對象修改的是同一個內(nèi)存地址
        copy->forwarding = copy; // patch heap copy to point to itself
        src->forwarding = copy;  // patch stack to point to heap copy
        
        copy->size = src->size;

        if (src->flags & BLOCK_BYREF_HAS_COPY_DISPOSE) {
            // Trust copy helper to copy everything of interest
            // If more than one field shows up in a byref block this is wrong XXX
            struct Block_byref_2 *src2 = (struct Block_byref_2 *)(src+1);
            struct Block_byref_2 *copy2 = (struct Block_byref_2 *)(copy+1);
            copy2->byref_keep = src2->byref_keep;
            copy2->byref_destroy = src2->byref_destroy;

            if (src->flags & BLOCK_BYREF_LAYOUT_EXTENDED) {
                struct Block_byref_3 *src3 = (struct Block_byref_3 *)(src2+1);
                struct Block_byref_3 *copy3 = (struct Block_byref_3*)(copy2+1);
                copy3->layout = src3->layout;
            }

            (*src2->byref_keep)(copy, src);
        }
        else {
            // Bitwise copy.
            // This copy includes Block_byref_3, if any.
            memmove(copy+1, src+1, src->size - sizeof(*src));
        }
    }
    // already copied to heap
    else if ((src->forwarding->flags & BLOCK_BYREF_NEEDS_FREE) == BLOCK_BYREF_NEEDS_FREE) {
        latching_incr_int(&src->forwarding->flags);
    }
    
    return src->forwarding;
}

一開始就對當前參數(shù)進行拷貝蜂嗽,將拷貝的和原來的forwarding指向同一個地址,這里的byref_keep就是__Block_byref_id_object_copy_131

static void __Block_byref_id_object_copy_131(void *dst, void *src) {
 _Block_object_assign((char*)dst + 40, *(void * *) ((char*)src + 40), 131);
}

dst + 40指向的就是__Block_byref_a_0種的a

struct __Block_byref_a_0 {
  void *__isa;
__Block_byref_a_0 *__forwarding;
 int __flags;
 int __size;
 void (*__Block_byref_id_object_copy)(void*, void*);
 void (*__Block_byref_id_object_dispose)(void*);
 NSString *a;
};

這只_Block_object_assign指向的就是BLOCK_FIELD_IS_OBJECT,對NSObject進行copy殃恒。

  1. 通過_Block_copy對block進行copy
  2. __block byref 對結構體進行拷貝 _Block_object_assign
  3. 對結構體中的對象進行_Block_object_assign

如果參數(shù)是block會一層層拷貝下去

最后編輯于
?著作權歸作者所有,轉載或內(nèi)容合作請聯(lián)系作者
  • 序言:七十年代末植旧,一起剝皮案震驚了整個濱河市,隨后出現(xiàn)的幾起案子离唐,更是在濱河造成了極大的恐慌病附,老刑警劉巖,帶你破解...
    沈念sama閱讀 216,402評論 6 499
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件侯繁,死亡現(xiàn)場離奇詭異胖喳,居然都是意外死亡,警方通過查閱死者的電腦和手機贮竟,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 92,377評論 3 392
  • 文/潘曉璐 我一進店門丽焊,熙熙樓的掌柜王于貴愁眉苦臉地迎上來较剃,“玉大人,你說我怎么就攤上這事技健⌒囱ǎ” “怎么了?”我有些...
    開封第一講書人閱讀 162,483評論 0 353
  • 文/不壞的土叔 我叫張陵雌贱,是天一觀的道長啊送。 經(jīng)常有香客問我,道長欣孤,這世上最難降的妖魔是什么馋没? 我笑而不...
    開封第一講書人閱讀 58,165評論 1 292
  • 正文 為了忘掉前任,我火速辦了婚禮降传,結果婚禮上篷朵,老公的妹妹穿的比我還像新娘。我一直安慰自己婆排,他們只是感情好声旺,可當我...
    茶點故事閱讀 67,176評論 6 388
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著段只,像睡著了一般腮猖。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發(fā)上赞枕,一...
    開封第一講書人閱讀 51,146評論 1 297
  • 那天澈缺,我揣著相機與錄音,去河邊找鬼鹦赎。 笑死谍椅,一個胖子當著我的面吹牛,可吹牛的內(nèi)容都是我干的古话。 我是一名探鬼主播雏吭,決...
    沈念sama閱讀 40,032評論 3 417
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼陪踩!你這毒婦竟也來了杖们?” 一聲冷哼從身側響起,我...
    開封第一講書人閱讀 38,896評論 0 274
  • 序言:老撾萬榮一對情侶失蹤肩狂,失蹤者是張志新(化名)和其女友劉穎摘完,沒想到半個月后,有當?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體傻谁,經(jīng)...
    沈念sama閱讀 45,311評論 1 310
  • 正文 獨居荒郊野嶺守林人離奇死亡孝治,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 37,536評論 2 332
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發(fā)現(xiàn)自己被綠了。 大學時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片谈飒。...
    茶點故事閱讀 39,696評論 1 348
  • 序言:一個原本活蹦亂跳的男人離奇死亡岂座,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出杭措,到底是詐尸還是另有隱情费什,我是刑警寧澤,帶...
    沈念sama閱讀 35,413評論 5 343
  • 正文 年R本政府宣布手素,位于F島的核電站鸳址,受9級特大地震影響,放射性物質發(fā)生泄漏泉懦。R本人自食惡果不足惜稿黍,卻給世界環(huán)境...
    茶點故事閱讀 41,008評論 3 325
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望祠斧。 院中可真熱鬧闻察,春花似錦、人聲如沸琢锋。這莊子的主人今日做“春日...
    開封第一講書人閱讀 31,659評論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽吴超。三九已至,卻和暖如春鸯乃,著一層夾襖步出監(jiān)牢的瞬間鲸阻,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 32,815評論 1 269
  • 我被黑心中介騙來泰國打工缨睡, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留鸟悴,地道東北人。 一個月前我還...
    沈念sama閱讀 47,698評論 2 368
  • 正文 我出身青樓奖年,卻偏偏與公主長得像细诸,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子陋守,可洞房花燭夜當晚...
    茶點故事閱讀 44,592評論 2 353

推薦閱讀更多精彩內(nèi)容

  • 手動目錄循環(huán)引用block的類Block的相關信息block本質block如何捕獲外界變量震贵?__block修飾的本...
    Engandend閱讀 375評論 0 1
  • 前言 block的類型 從一段代碼開始 看下打印信息: 首先我們可以看到,block有3中類型水评,分別為:NSGlo...
    澤澤伐木類閱讀 318評論 0 0
  • 1.Block的類型 全局Block(NSGlobalBlock) block 內(nèi)部沒有引用外部變量的 Block...
    MonKey_Money閱讀 348評論 0 4
  • Block的分類 Block一共有6種類猩系,常見的有三種。 上面這種block的打印結果為<__NSGlobalBl...
    半邊楓葉閱讀 479評論 0 2
  • 久違的晴天中燥,家長會寇甸。 家長大會開好到教室時,離放學已經(jīng)沒多少時間了。班主任說已經(jīng)安排了三個家長分享經(jīng)驗拿霉。 放學鈴聲...
    飄雪兒5閱讀 7,520評論 16 22