C++指针解读(3)-- 指针变量作为函数参数

函数执行是通过系统栈来实现的,系统栈分为若干个栈帧。栈帧就是函数运行的环境,每个函数在被调用时都会在系统栈区形成一个叫栈帧的结构。一次函数调用相关的数据保存在栈帧中,比如函数参数、函数的局部变量、函数执行完后的返回地址等数据。栈帧里的数据是先进后出的。

当一个函数被调用时,一个新的函数栈帧就会被创建在栈(stack)上,此时函数的参数会被压入栈中,并且执行流会跳转到被调用函数的入口。当被调用函数的执行完成后,函数栈帧会被销毁,栈指针会恢复到调用该函数之前的位置,继续执行原有函数的代码。函数栈帧的创建和销毁过程遵循"先进后出"的原则。

在传递参数时,传递的是它们的值(传递指针时也一样)。也就是说,在函数被调用时,函数中传递的形参其实是实参的一个副本。这样当传递的参数是一个比较大的对象时,就需要复制对象的所有字节,这会导致栈帧占用过多内存。而传递指针就不用复制这个对象,对提高系统性能有非常大的帮助。

1、用指针传递数据

1.1 在函数内部修改指针变量所指向的值

我们先来看一个用指针变量作参数的函数:

void swap(int *p1, int *p2) {
    int tmp;
    tmp = *p1;
    *p1 = *p2;
    *p2 = tmp;
}

int main()
{
    int i1 = 5;
    int i2 = 7;
    swap(&i1, &i2);

    std::cout << "i1 = " << i1 << ", i2 = " << i2 << endl;

    return 0;
}

从执行结果看,调用swap()函数后,i1和i2的值进行了交换。

1.2 形参的指针是实参指针的一个拷贝

现在,我们把swap函数修改一下,改成直接对指针变量进行交换:

void swap(int *p1, int *p2) {
    int *tmp;
    tmp = p1;
    p1 = p2;
    p2 = tmp;
}

执行结果发现swap()函数没有起到交换作用。为什么呢?

因为在C语言中,函数参数的传递是单向的"值传递"。也就是说函数参数里的p1, p2传递的是一份指针变量的拷贝。

我们可以分别在main()和swap()函数中加入下面的代码验证p1、p2自身的地址。

void swap(int* p1, int* p2) {
    printf("swap():指针变量自身地址 p1:%p, p2:%p\n", &p1, &p2);
    ... ...
}

int main() {
    ... ...
    printf("main():指针变量自身地址 p1:%p, p2:%p\n", &p1, &p2);
    ... ...
}

从执行结果看,main()函数中的p1, p2地址和swap()中的p1, p2地址不同。也就是说swap()函数中的p1, p2跟main()中的p1, p2是不同的指针,虽然它们指向的地址相同。

2、指针的指针

将指针传递给函数时,传递的是值。如果我们想修改原指针,就需要传递指针的指针。因为形参是一份拷贝,但不管有多少份拷贝,它永远指向原指针。

用代码表示指针的指针:

int a = 12;
int *p1 = &a;
int **p2 = &p1;

指针的指针的含义:

|--------|---------------|
| 表达式 | 相当的表达式 |
| p2 | &p1 即指针p1的地址 |
| *p2 | p1, &a 即指针p1 |
| **p2 | *p1, a 即对象a |

例子1:

void swap(int** p1, int** p2) {
    int* tmp;
    tmp = *p1;
    *p1 = *p2;
    *p2 = tmp;
}

int main()
{
    int i1 = 5;
    int i2 = 7;

    int* p1 = &i1;
    int* p2 = &i2;
    swap(&p1, &p2);
    printf( " *p1 = %d, *p2 = %d\n", *p1, *p2);

    return 0;
}

例子2:

void buildArr(int **arr, int size) {
    *arr = (int*)malloc(size * sizeof(int));
    if (*arr != NULL) {
        for (int i = 0; i < size; i++) {
            *(*arr + i) = 1;
        }
    }
}
int main()
{
    int* arr = NULL;
    buildArr(&arr, 3);

    for (int i = 0; i < 3; i++) {
        printf("%d ", arr[i]);
    }

    free(arr);

    return 0;
}

3、用常量指针作形参

用常量指针作形参,在实际应用中还是比较多的。一是传递指针效率比传递对象值高,二是原始数据不会被修改。传递常量指针的形式如下:

void test(const int* pci){}
相关推荐
大胆飞猪32 分钟前
C++9--前置++和后置++重载,const,日期类的实现(对前几篇知识点的应用)
c++
1 9 J34 分钟前
数据结构 C/C++(实验五:图)
c语言·数据结构·c++·学习·算法
夕泠爱吃糖37 分钟前
C++中如何实现序列化和反序列化?
服务器·数据库·c++
小老鼠不吃猫38 分钟前
力学笃行(二)Qt 示例程序运行
开发语言·qt
长潇若雪40 分钟前
《类和对象:基础原理全解析(上篇)》
开发语言·c++·经验分享·类和对象
数据小小爬虫2 小时前
如何利用Python爬虫获取商品历史价格信息
开发语言·爬虫·python
Gao_xu_sheng2 小时前
Java程序打包成exe,无Java环境也能运行
java·开发语言
NiNg_1_2342 小时前
Python的sklearn中的RandomForestRegressor使用详解
开发语言·python·sklearn
谢家小布柔2 小时前
java中的继承
java·开发语言
黑色叉腰丶大魔王2 小时前
《基于 Python 的网页爬虫详细教程》
开发语言·爬虫·python