淺談C語(yǔ)言函數(shù)調(diào)用參數(shù)壓棧的相關(guān)問(wèn)題

來(lái)源：本站原創(chuàng)|時(shí)間：2020-01-10|欄目：C語(yǔ)言|點(diǎn)擊：次

參數(shù)入棧的順序

以前在面試中被人問(wèn)到這樣的問(wèn)題，函數(shù)調(diào)用的時(shí)候，參數(shù)入棧的順序是從左向右，還是從右向左。參數(shù)的入棧順序主要看調(diào)用方式，一般來(lái)說(shuō)，__cdecl 和__stdcall 都是參數(shù)從右到左入棧。

看下面的代碼：

#include <stdio.h>

int test(int a, int b)
{
  printf("address of a %x.\n", &a);
  printf("address of b %x.\n", &b);
  return 0;
}

int main()
{
  test(1, 2);
  return 0;
}

在64位Ubuntu的系統(tǒng)下的運(yùn)行結(jié)果是：

address of a 1ec62c. 
address of b 1ec628.

32位Ubuntu的結(jié)果是：

address of a bfd03290. 
address of b bfd03294.

可以看出，首先，不同的體系結(jié)構(gòu)，棧增長(zhǎng)的方向也不同，有的是從低地址向高地址方向增長(zhǎng)，有的是從高地址向低地址方向增長(zhǎng)。

可以用以下的代碼來(lái)判斷棧的增長(zhǎng)方向：

typedef enum {
  LOW_TO_HIGH,
  HIGH_TO_LOW,
  LEFT_TO_RIGHT,
  RIGHT_TO_LEFT,
}stack_direc_t;

int stack_grow_direc()
{
  static char *p = NULL;
  char c;

  if (p == NULL) {
    p = &c;
    stack_grow_direc();
  }
  else {
    printf("First in stack address is %x.\n", p);
    printf("Second in stack address is %x.\n", &c);
    if (&c > p) {
      printf("Stack grows from low address to high address!\n");
      return LOW_TO_HIGH;
    }
    else {
      printf("Stack grows from high address to low address!\n");
      return HIGH_TO_LOW;
    }
  }
}

函數(shù)調(diào)用時(shí)棧里都有什么

以參數(shù)從左到右入棧為例：

push arg0 -- High Address
push arg1
...
push argn
push eip
push ebp -- Low address

32位系統(tǒng)和64位系統(tǒng)函數(shù)調(diào)用時(shí)，參數(shù)入棧方式有不同么？

這個(gè)問(wèn)題在不久之前被人問(wèn)題，當(dāng)時(shí)傻了，我一直以來(lái)只關(guān)注過(guò)32位系統(tǒng)的參數(shù)入棧方式，一直以為64位系統(tǒng)也是一樣，沒(méi)有什么不同，現(xiàn)在歸納起來(lái)有兩點(diǎn)：

64位系統(tǒng)先把傳入?yún)?shù)放在寄存器里面，在被調(diào)函數(shù)的具體實(shí)現(xiàn)中把寄存器的值入棧，然后再去棧中取參數(shù)

64位系統(tǒng)棧中參數(shù)存放的順序是從左至右的（因?yàn)橄冉?jīng)歷了寄存器傳值）

看下面的反匯編：


C代碼同上面一樣
Ubuntu 32位反匯編：
int main()
{
 804846d:  55           push  %ebp
 804846e:  89 e5          mov  %esp,%ebp
 8048470:  83 e4 f0        and  $0xfffffff0,%esp
 8048473:  83 ec 10        sub  $0x10,%esp
  test(1, 2);
 8048476:  c7 44 24 04 02 00 00  movl  $0x2,0x4(%esp)
 804847d:  00 
 804847e:  c7 04 24 01 00 00 00  movl  $0x1,(%esp)
 8048485:  e8 8a ff ff ff     call  8048414 <test>
  return 0;
 804848a:  b8 00 00 00 00     mov  $0x0,%eax
}
int test(int a, int b)
{
 8048414:  55           push  %ebp
 8048415:  89 e5          mov  %esp,%ebp
 8048417:  83 ec 18        sub  $0x18,%esp
  printf("address of a %x.\n", &a);
 804841a:  b8 60 85 04 08     mov  $0x8048560,%eax
 804841f:  8d 55 08        lea  0x8(%ebp),%edx
 8048422:  89 54 24 04       mov  %edx,0x4(%esp)
 8048426:  89 04 24        mov  %eax,(%esp)
 8048429:  e8 12 ff ff ff     call  8048340 <printf@plt>

  return 0;
 8048466:  b8 00 00 00 00     mov  $0x0,%eax
}
Ubuntu 64位反匯編：
int main()
{
 40056e:  55           push  %rbp
 40056f:  48 89 e5        mov  %rsp,%rbp
  test(1, 2);
 400572:  be 02 00 00 00     mov  $0x2,%esi
 400577:  bf 01 00 00 00     mov  $0x1,%edi
 40057c:  e8 ac ff ff ff     callq 40052d <test>
  return 0;
 400581:  b8 00 00 00 00     mov  $0x0,%eax
}
int test(int a, int b)
{
 40052d:  55           push  %rbp
 40052e:  48 89 e5        mov  %rsp,%rbp
 400531:  48 83 ec 10       sub  $0x10,%rsp
 400535:  89 7d fc        mov  %edi,-0x4(%rbp)
 400538:  89 75 f8        mov  %esi,-0x8(%rbp)
  printf("address of a %x.\n", &a);
 40053b:  48 8d 45 fc       lea  -0x4(%rbp),%rax
 40053f:  48 89 c6        mov  %rax,%rsi
 400542:  bf 14 06 40 00     mov  $0x400614,%edi
 400547:  b8 00 00 00 00     mov  $0x0,%eax
 40054c:  e8 bf fe ff ff     callq 400410 <printf@plt>

  return 0;
 400567:  b8 00 00 00 00     mov  $0x0,%eax
}

看32位的ubuntu操作系統(tǒng), 8048476: 的確是把參數(shù)直接入棧，2先入棧，1后入棧。

 8048476:  c7 44 24 04 02 00 00  movl  $0x2,0x4(%esp)
 804847d:  00 
 804847e:  c7 04 24 01 00 00 00  movl  $0x1,(%esp)
 8048485:  e8 8a ff ff ff     call  8048414 <test>

再來(lái)看64位的ubuntu操作系統(tǒng)，2 和1根本就沒(méi)有放入到棧中，而是放到了寄存器esi和edi中。

 40056f:  48 89 e5        mov  %rsp,%rbp
 test(1, 2);
 400572:  be 02 00 00 00     mov  $0x2,%esi
 400577:  bf 01 00 00 00     mov  $0x1,%edi
 40057c:  e8 ac ff ff ff     callq 40052d <test>

再來(lái)看64位系統(tǒng)test的實(shí)現(xiàn)，先把edi入棧，再把esi入棧，這就是為什么函數(shù)看起來(lái)像是從左到右入棧的原因了。

40052d:  55           push  %rbp
40052e:  48 89 e5        mov  %rsp,%rbp
400531:  48 83 ec 10       sub  $0x10,%rsp
400535:  89 7d fc        mov  %edi,-0x4(%rbp)
400538:  89 75 f8        mov  %esi,-0x8(%rbp)

以上就是小編為大家?guī)?lái)的淺談C語(yǔ)言函數(shù)調(diào)用參數(shù)壓棧的相關(guān)問(wèn)題的全部?jī)?nèi)容了，希望對(duì)大家有所幫助，多多支持我們~

上一篇：C++指針詳細(xì)介紹及總結(jié)

欄目：C語(yǔ)言

下一篇：c語(yǔ)言實(shí)現(xiàn)詞頻統(tǒng)計(jì)的簡(jiǎn)單實(shí)例

本文標(biāo)題：淺談C語(yǔ)言函數(shù)調(diào)用參數(shù)壓棧的相關(guān)問(wèn)題

本文地址：http://mengdiqiu.com.cn/a1/Cyuyan/2045.html

更多C語(yǔ)言

欧美大屁股bbbbxxxx,狼人大香伊蕉国产www亚洲,男ji大巴进入女人的视频小说,男人把ji大巴放进女人免费视频,免费情侣作爱视频

C語(yǔ)言

淺談C語(yǔ)言函數(shù)調(diào)用參數(shù)壓棧的相關(guān)問(wèn)題

您可能感興趣的文章

閱讀排行

本欄相關(guān)

隨機(jī)閱讀