关于C++对象作为参数详解

有时我们会将对象作为参数传入函数,其中有不少所谓的“陷阱”,大部分都与对象中申请的内存释放有关,到底是什么原因导致的这些问题呢?所谓的默认的拷贝构造函数又是什么呢?它又做了怎么样的工作,编译器又是怎么样调用它的呢?让我们一起走进C++的内部世界

当类所占用的空间很小时,比如只有几个int数据成员,编译器会选择直接将几个数据成员做压栈操作(先声明的数据后压栈,后声明的数据先压栈),以供调用函数使用

测试代码:

class UnitTest
{
public:
    int m_One;
    int m_Two;
};

void ShowUnitTest(UnitTest unit)
{
    printf("%d %d %s\n", unit.m_One, unit.m_Two);
}

int main(int argc, char *argv[])
{
    UnitTest test;

    test.m_One = 1;
    test.m_Two = 2;

    ShowUnitTest(test);

    system("pause");
    return 0;
}

看其反汇编的代码:

int main(int argc, char *argv[])
{
00BB1420  push        ebp  
00BB1421  mov         ebp,esp  
00BB1423  sub         esp,0D0h  
00BB1429  push        ebx  
00BB142A  push        esi  
00BB142B  push        edi  
00BB142C  lea         edi,[ebp-0D0h]  
00BB1432  mov         ecx,34h  
00BB1437  mov         eax,0CCCCCCCCh  
00BB143C  rep stos    dword ptr es:[edi]  
    UnitTest test;

    test.m_One = 1;
00BB143E  mov         dword ptr [test],1  
    test.m_Two = 2;
00BB1445  mov         dword ptr [ebp-8],2  

    ShowUnitTest(test);
00BB144C  mov         eax,dword ptr [ebp-8]  
00BB144F  push        eax  
00BB1450  mov         ecx,dword ptr [test]  
00BB1453  push        ecx  
00BB1454  call        ShowUnitTest (0BB11E5h)  

可以看到00BB144C 的压栈顺序确实是先声明后压栈,后声明先压栈,直接使用push解决问题。


再下面我们看一下类的体积较大时编译器的处理过程

先看一段代码:

class UnitTest
{
public:
    int m_One;
    int m_Two;
    char m_sName[32];
};

void ShowUnitTest(UnitTest unit)
{
    printf("%d %d %s\n", unit.m_One, unit.m_Two, unit.m_sName);
}

int main(int argc, char *argv[])
{
    UnitTest test;
    test.m_One = 1;
    test.m_Two = 2;
    char tmp[] = "name";
    strncpy_s(test.m_sName, tmp, sizeof(tmp));

    ShowUnitTest(test);

    system("pause");
    return 0;
}

反汇编代码为:

int main(int argc, char *argv[])
{
00053D00  push        ebp  
00053D01  mov         ebp,esp  
00053D03  sub         esp,104h  
00053D09  push        ebx  
00053D0A  push        esi  
00053D0B  push        edi  
00053D0C  lea         edi,[ebp-104h]  
00053D12  mov         ecx,41h  
00053D17  mov         eax,0CCCCCCCCh  
00053D1C  rep stos    dword ptr es:[edi]  
00053D1E  mov         eax,dword ptr ds:[00058004h]  
00053D23  xor         eax,ebp  
00053D25  mov         dword ptr [ebp-4],eax  
    UnitTest test;
    test.m_One = 1;
00053D28  mov         dword ptr [test],1  
    test.m_Two = 2;
00053D2F  mov         dword ptr [ebp-2Ch],2  
    char tmp[] = "name";
00053D36  mov         eax,dword ptr ds:[00055864h]  
00053D3B  mov         dword ptr [tmp],eax  
00053D3E  mov         cl,byte ptr ds:[55868h]  
00053D44  mov         byte ptr [ebp-3Ch],cl  
    strncpy_s(test.m_sName, tmp, sizeof(tmp));
00053D47  push        5  
00053D49  lea         eax,[tmp]  
00053D4C  push        eax  
00053D4D  lea         ecx,[ebp-28h]  
00053D50  push        ecx  
00053D51  call        strncpy_s<32> (0511EFh)  
00053D56  add         esp,0Ch  

    ShowUnitTest(test);
00053D59  sub         esp,28h  
00053D5C  mov         ecx,0Ah  
00053D61  lea         esi,[test]  
00053D64  mov         edi,esp  
00053D66  rep movs    dword ptr es:[edi],dword ptr [esi]  
00053D68  call        ShowUnitTest (0511E5h)  

我们直接观察0x00053D59 开始调用ShowUnitTest处的汇编代码:
我们发现首先通过栈指着esp 开辟了0x28H(40)大小的空间,正好是UnitTest对象的大小。
然后通过rep movs 指令将对象test拷贝了一份到此处。

而这里的操作即是《C++ Primer》中所说的调用默认拷贝构造函数并创建的临时变量。

编译器在这里插入了申请栈空间及直接复制对象在栈上内存的内存数据的汇编指令(即浅拷贝

然后我们观察ShowUnitTest的内部实现:

ShowUnitTest:
00281420  push        ebp  
00281421  mov         ebp,esp  
00281423  sub         esp,0C0h  
00281429  push        ebx  
0028142A  push        esi  
0028142B  push        edi  
0028142C  lea         edi,[ebp-0C0h]  
00281432  mov         ecx,30h  
00281437  mov         eax,0CCCCCCCCh  
0028143C  rep stos    dword ptr es:[edi]  
    printf("%d %d %s\n", unit.m_One, unit.m_Two, unit.m_sName);
0028143E  mov         esi,esp  
00281440  lea         eax,[ebp+10h]  
00281443  push        eax  
00281444  mov         ecx,dword ptr [ebp+0Ch]  
00281447  push        ecx  
00281448  mov         edx,dword ptr [unit]  
0028144B  push        edx  
0028144C  push        2859DCh  
00281451  call        dword ptr ds:[289118h]  
00281457  add         esp,10h  
0028145A  cmp         esi,esp  
0028145C  call        __RTC_CheckEsp (028113Bh)  
}

从00281440这里可以看出,程序在向ebp的下方(即更高的地址位置)进行寻址操作,而操作的位置就是该函数的调用函数的栈帧,而 ebp + 10h 对应的就是临时变量的m_sName的首地址,ebp+0Ch 即临时对象m_Two的首地址, [unit] 即ebp+08 ,即临时对象的首地址,也就是对象m_One的位置。

结论

当对象作为参数传入时(非引用或指针传入时),编译器会在调用该函数前插入拷贝汇编代码,以用来在当前栈帧中生成临时变量,进入被调用的函数后,向搞地址寻址,对临时对象进行读写操作,与原对象彻底无关。
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 159,117评论 4 362
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 67,328评论 1 293
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 108,839评论 0 243
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 44,007评论 0 206
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,384评论 3 287
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,629评论 1 219
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,880评论 2 313
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,593评论 0 198
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,313评论 1 243
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,575评论 2 246
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,066评论 1 260
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,392评论 2 253
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,052评论 3 236
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,082评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,844评论 0 195
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,662评论 2 274
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,575评论 2 270

推荐阅读更多精彩内容