C程序设计——再说说函数参数的值传递

上一篇的最后，我强调了C语言里，所有函数参数的传递，都是值传递，即形参值改变，不影响实参的值。

指针作为函数参数

我们知道，指针也是C语言的一个类型，所以指针，也可以作为函数参数，请看源代码：

int TestParam(int* ipA, int* ipB)
{
    printf("aa.  ipA == %x, ipB == %x\r\n", ipA, ipB);

    ipA = 0;
    ipB = 0;
    printf("ab.  ipA == %x, ipB == %x\r\n", ipA, ipB);
    return 0;
}

int main(void)
{
    int y, z ;
    int *ipa, *ipb;

    y = 0x10;
    z = 0x15;

    ipa = &y;
    ipb = &z;

    printf("a.   ipa == %x, ipb == %x\r\n", ipa, ipb);
    printf("b.   y == %x,   z == %x\r\n", y, z);

    TestParam(ipa, ipb);

    printf("c.   ipa == %x, ipb == %x\r\n", ipa, ipb);
    printf("e.   y == %x,   z == %x\r\n", y, z);
}

我们可以看到，上面的源码中，有六行打印，分别是 a,b,c,e, aa, ab ，从源码上看，main函数调用 TestParam 时，ipa 和 ipb 时实参，因此，aa行打印的ipA 和ipB的值，应该跟第a行是一样的。到打印 ab行之前，因为 ipA 和ipB 都被赋值为0了，因此，ab行打印的值应该是两个0。打印第c行时，因为形参改变，不影响实参，因此第c 行打印的值，应该跟a行是一样的。至于变量y 和 z的值，它俩在这个代码里，就是打酱油的，所以赋值之后就没有变化，一直是0x10 和0x15。所以代码执行结果如下：

如果我们把源码做一个小小的修改， 注意看注释：

int TestParam(int* ipA, int* ipB)
{
    printf("aa.  ipA == %x, ipB == %x\r\n", ipA, ipB);
/*******************************
    注意下面这两行，跟刚才不一样
*******************************/
    *ipA = 0; //注意这里跟刚才不一样
    *ipB = 0; //注意这里跟刚才不一样
    printf("ab.  ipA == %x, ipB == %x\r\n", ipA, ipB);
    return 0;
}

int main(void)
{
    int y, z ;
    int *ipa, *ipb;

    y = 0x10;
    z = 0x15;

    ipa = &y;
    ipb = &z;

    printf("a.   ipa == %x, ipb == %x\r\n", ipa, ipb);
    printf("b.   y == %x,   z == %x\r\n", y, z);

    TestParam(ipa, ipb);

    printf("c.   ipa == %x, ipb == %x\r\n", ipa, ipb);
    printf("e.   y == %x,   z == %x\r\n", y, z);
}

TestParam函数里，我没有改变形参的值，而是改变了形参指向的变量的值，我们知道ipA 和ipB的值分别是 ipa 和 ipb的值，而 ipa 和 ipb 又分别指向 x 和 y，因此下面这两行源码，改变的应该是x 和 y的值：

/*******************************
    注意下面这两行，跟刚才不一样
*******************************/
    *ipA = 0; //注意这里跟刚才不一样
    *ipB = 0; //注意这里跟刚才不一样

因此，主函数中，b行和 e行打印的值应该不一样，执行结果如下：

再次强调：C语言里，所有函数参数的传递，都是值传递，即形参值改变，不影响实参的值。上述代码里，TestParam的参数，是指针，而不是指针指向的值。因此TestParam函数里，只是通过形参指针改变了实参指针指向的值，并没有改变实参本身，因此再强调一遍：形参值改变，不影响实参的值。

形参和实参是两个不同的变量

请看源码，虽然形参变量名和实参变量名是一样的，但是他们是不同的变量，即形参改变不影响实参的值。

/*********************************************
    注意函数的形参变量名
*********************************************/
int TestParam(int x, int y)
{
    printf("aa.  x == %x, y == %x\r\n", x, y);

    x = 0;
    y = 0;
    printf("ab.  x == %x, y == %x\r\n", x, y);
    return 0;
}

int main(void)
{
    int x, y ;

    x = 0x10;
    y = 0x15;

    printf("b.   x == %x,   y == %x\r\n", x, y);

/*********************************************
    注意看实参的变量名
*********************************************/
    TestParam(x, y);

    printf("e.   x == %x,   y == %x\r\n", x, y);
}

所以上述代码，执行结果如下：

虽然形参变量名和实参变量名一样，但是他们是不同的变量，再强调一遍：形参值改变，不影响实参的值。

常数作为函数实参 

常数也可以作为函数参数：

比如下面的源码：

int TestParam(int x, int y)
{
    printf("aa.  x == %x, y == %x\r\n", x, y);

    x = 0;
    y = 0;
    printf("ab.  x == %x, y == %x\r\n", x, y);
    return 0;
}

int main(void)
{

/*********************************************
    此处实参为常数
*********************************************/
    TestParam(0x12, 0x32);

}

实参是常量，我们前面强调了，C语言的函数参数传递，是值传递，所以调用函数后，形参变量x 和 y的值，就是实参常量的值。虽然实参是常量，C语言的函数参数传递，是值传递，所以不会传递类型，因此 x 和 y还是变量，它们的值是可以改变的。

上述代码运行结果如下：