关于函数调用时压栈操作的疑惑，恳请大家指教

allenlu1212

int test(char ch_a, short sh_a)
{
    char ch;
    short sh;

    printf("sh_a:  0x%x\n",&sh_a);
    printf("ch_a:  0x%x\n",&ch_a);
    printf("ch:    0x%x\n",&ch);
    printf("sh:    0x%x\n",&sh);

    return 0;
}

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

编译运行后结果如下：
sh_a:  0xbf8b1280
ch_a:  0xbf8b1284
ch:    0xbf8b1297
sh:    0xbf8b1294

按照之前的理解，对上述结果有几点疑惑恳求大家指教：
1. 函数调用时，实参应该在局部变量之前进栈，故实参的地址应该大于局部变量才对，但跟上述结果正好相反。
2. 对于实参的压栈，应该是从右到左才对，但跟上述结果正好相反。
3. 从字节对齐来看，实参和局部变量都应该是2字节对齐才对，但上述结果表明局部变量按2字节对齐，但实参却按4字节对齐。

zhuhefang2006

1. 函数调用时，实参应该在局部变量之前进栈，故实参的地址应该大于局部变量才对，但跟上述结果正好相反。

我在我的机器上测试过了，参数的地址大，局部变量的地址小
其实这个好像和机器架构和编译器有关的

63956372

1.  “ 实参应该在局部变量之前进栈，故实参的地址应该大于局部变量才对”  是不对的，，好像没有谁规定栈必须是从低地址到高地址的。也有从高地址到低地址的栈，还有双向栈（2头向中间，中间向2头）。
2.  函数体中的局部变量，可能像结构一样会被 编译器优化，做内存对齐操作，如何优化这部分要看具体的编译器实现了。
3.  实参的压栈  还跟进栈方式有关，有从右到左，也有从左到右的。明显 这里 是从右到左的。
4.  实参一般会被优化成 机器字长（32位）的整数倍。如果不进行这样统一的操作，那么给你一个函数，将无法调用，因为没法计算实参需要占用的栈空间大小（同编译器可能能算出来，但不同的编译器就没法了）

把这个小程序反汇编一下，看得很明显。

加一点 特征吗。在按命令序列查找 很快的。
__asm{
     add eax,0x1
     add eax,0x1
     add eax,0x1
}

xiexiecn

主要还是看cpu。

[ 本帖最后由 xiexiecn 于 2009-2-12 12:06 编辑 ]

langue

x86 是 top down stack.

pengjianbokobe

回复 1# allenlu1212


    楼主弄明白没？我也有一样的疑问，能不能告诉我答案谢谢。

思一克

不同CPU是不同的。
有的CPU栈从低到高增长。

huangwei0413

LZ，能否把机器信息和编译器信息贴出来

pengjianbokobe

回复 7# 思一克


    请问版主，那操作系统怎么为一个进程划分地址空间的？哪一块是栈？

思一克

回复 9# pengjianbokobe


和进程地址空间没有关系的。
进程一般是代码在前面（低地址），然后是数据（可变，不可变），然后是碓， 最后是栈。