当调用对象方法时，编译器都会默认传入一个指向本对象的指针。所以不同的对象都会调用到正确的成员变量。这个指针就是self，它的值就是new时在堆中分配内存的首地址。那么这个self在方法调用时是存储在栈中么？上代码调试来看一下

1. #import <Foundation/Foundation.h>
   
2. 
   
3. @interface Person : NSObject
   
4. {
   
5.     int _age;
   
6. }
   
7. 
   
8. - (void)setAge:(int)age;
   
9. - (int)age;
   
10. 
    
11. - (void)test:(int)age;
    
12. @end
    
13. 
    
14. 
    
15. 
    
16. int main(int argc, const char * argv[])
    
17. {
    
18.    
    
19.     Person *p = [Person new];
    
20.    
    
21.     NSLog(@" p = %p", p);
    
22.    
    
23.     [p setAge:10];
    
24.    
    
25.     [p test:20];
    
26.    
    
27.     return 0;
    
28. }
    
29. 
    
30. 
    
31. 
    
32. @implementation Person
    
33. 
    
34. - (void)setAge:(int)age
    
35. {
    
36.     _age = age;
    
37. }
    
38. 
    
39. - (int)age
    
40. {
    
41.     return _age;
    
42. }
    
43. 
    
44. - (void)test:(int)age
    
45. {
    
46.     int _age = 20;
    
47.     NSLog(@"局部变量_age = %d", _age);
    
48.     NSLog(@"年龄：%d", self->_age);
    
49. }
    
50. 
    
51. @end

复制代码

通过输出p中的地址值和调试窗口观察 self中的值和p中的值是一样。也就是self指向的对象在堆中内存空间的首地址



在运行到_age=age;语句时断下。观察反汇编代码和相关寄存器值 我们发现
寄存器rsi中的值和self中的值 是一样的。 edx = 10（也就是rdx寄存器的低32位）;  rsi = 8;

movl   %edx, (%rsi,%rdi) //这条汇编语句的意思就是把 edx中的值复制到 rsi + rdi 的地址所指向的内存中去。并且操作数据长度为4字节。

单步下向执行一条汇编语句。断在popq   %rbp处。此时movl   %edx, (%rsi,%rdi) 已经执行完毕。而断点所指向的语句是将要执行但还未执行的语句
打开self所指向的内存窗口再次观察


我们发现self + 8地址处4字节空间已经被赋值为 00 00 00 0A；所以_age最终被设置为10；也就是说成员变量的地址是在self+8处开始的。前8字节的作用还不得而知。

能过以上观察调用对象方法时传入的self参数是存储在CPU 寄存器当中的。寄存器传参要比栈传参效率一些。

fantacyleo 发表于 2014-8-16 17:42
前8个字节应该是isa指针，64位机器上的指针恰好是8个字节。
参数压入栈中还是寄存器中，一是要看有没有特殊 ...

嗯，谢谢，刚看到isa这块视频。这8字节应该就是isa指针。NSObject.h头文件中声明

@interface NSObject <NSObject> {

    Class isa  OBJC_ISA_AVAILABILITY;

}

而Class在objc.h中是这样声明的

typedef struct objc_class *Class;

我们声明的类都是继承自NSObject类， 所以自然也就拥有了isa指针。其后就是我们类中自己声明的成员变量了

不知道oc中对象方法调用是什么调用约定哦。在C++中是thiscall调用约定，就是this指针压入ecx寄存器（vc++编译器）中的。

前8个字节应该是isa指针，64位机器上的指针恰好是8个字节。
参数压入栈中还是寄存器中，一是要看有没有特殊约定，比如linux的sys call的参数是一定放到寄存器中的。二是要看通用寄存器够用不够用。现在macbook全是64位cpu，16个通用寄存器，没特殊情况的话，所有参数都可以放到寄存器中（从反汇编的代码来看，setAge的参数10也放到寄存器了）。单从你这个程序的编译结果看不出self到底是约定放到寄存器中还是寄存器够用所以放寄存器

不明觉历