3.9.指针与函数传参
3.9.1、普通变量作为函数形参
(1)函数传参时,普通变量作为参数时,形参和实参名字可以相同也可以不同,实际上都是用实参来替代相对应的形参的。
(2)在子函数内部,形参的值等于实参。原因是函数调用时把实参的值赋值给了形参。
(3)这就是很多书上写的“传值调用”(相当于实参做右值,形参做左值)
#include<stdio.h>
//&a和&b不同,说明a和b不是同一个变量(在内存中a和b是独立的2个内存空间)
//但是a和b是有关联的,实际上b是a赋值得到的
void func1(int b)
{
//在函数内部,形参b的值等于实参a
printf("b = %d\n", b);
printf("in func1, &b = %p\n", &b);
return;
}
int main(void)
{
int a = 5;
printf("in main, &a = %p\n", &a);
func1(a);
return 0;
}
3.9.2、数组作为函数形参
(1)数组名作为形参传参时,实际传递是不是整个数组,而是数组的首元素的首地址(也就是整个数组的首地址。因为传参时是传值,所以这两个没区别)。所以在子函数内部,传进来的数组名就等于是一个指向数组首元素首地址的指针。所以sizeof得到的是4.
(2)在子函数内传参得到的数组首元素首地址,和外面得到的数组首元素首地址的值是相同的。很多人把这种特性叫做“传址调用”(所谓的传址调用就是调用子函数时传了地址(也就是指针),此时可以通过传进去的地址来访问实参。)
(3)数组作为函数形参时,[]里的数字是可有可无的。为什么?因为数组名做形参传递的实际只是个指针,根本没有数组长度这个信息。
#include<stdio.h>
void func2(int b[])
{
printf("sizeof(b) = %ld\n", sizeof(b));
printf("in func2, b = %p\n", b);
return;
}
int main(void)
{
int a[5] = {0};
printf("in main, a = %p\n", a);
func2(a);
return 0;
}
3.9.3、指针作为函数形参
(1)只有一句话:和数组作为函数形参是一样的.这就好像指针方式访问数组元素和数组方式访问数组元素的结果一样是一样的。
#include<stdio.h>
//数组名作为形参和指针作为形参是一模一样的,没有任何区别
//void func3(int b[])
void func3(int *b)
{
printf("sizeof(b) = %ld\n", sizeof(b));
printf("in func2, b = %p\n", b);
return;
}
int main(void)
{
int a[5] = {0};
printf("in main, a = %p\n", a);
func3(a);
return 0;
}
3.9.4、结构体变量作为函数形参
(1)结构体变量作为函数形参的时候,实际上和普通变量(类似于int之类的)传参时表现是一模一样的。所以说结构体变量其实也是普通变量而已。
#include<stdio.h>
struct test
{
char a;
int b;
char c;
}; //结构体变量对齐问题,因为要对齐存放,所以大小是12
void func4(struct test sta)
{
printf("sizeof(sta) = %ld\n", sizeof(sta));
printf("adress of sta = %p\n", &sta);
printf("adress of sta.a = %p\n", &sta.a);
printf("adress of sta.b = %p\n", &sta.b);
printf("adress of sta.a = %d\n", sta.a);
printf("adress of sta.b = %d\n", sta.b);
return;
}
int main(void)
{
// struct test stu; //定义结构体变量
//定义结构体变量,并给结构体变量赋值(linux内核用的多)
struct test stu =
{
.a = 5,
.b = 123,
.c = 5
};
printf("sizeof(stu) = %ld\n", sizeof(stu));
printf("adress of stu = %p\n", &stu);
printf("adress of stu.a = %p\n", &stu.a);
printf("adress of stu.b = %p\n", &stu.b);
printf("adress of stu.a = %d\n", stu.a);
printf("adress of stu.b = %d\n", stu.b);
func4(stu);
return 0;
}
(2)因为结构体一般都很大,所以如果直接用结构体变量进行传参,那么函数调用效率就会很低。(因为在函数传参的时候需要将实参赋值给形参,所以当传参的变量越大调用效率就会越低)。怎么解决?思路只有一个那就是不要传变量了,改传变量的指针(地址)进去。
#include<stdio.h>
struct test
{
char a;
int b;
char c;
};//结构体变量对齐问题,因为要对齐存放,所以大小是12
void func5(struct test *psta)
{
printf("sizeof(psta) = %ld\n", sizeof(psta));
printf("psta = %p\n", psta);
printf("&psta = %p\n", &psta);
printf("psta->a = %d\n", psta->a);
printf("psta->b = %d\n", psta->b);
}
int main(void)
{
struct test stu =
{
.a = 5,
.b = 123,
.c = 5
};
printf("sizeof(stu) = %ld\n", sizeof(stu));
// printf("psta = %p\n", psta);
printf("---\n");
printf("&stu = %p\n", &stu);
printf("stu.a = %d\n", stu.a);
printf("stu.b = %d\n", stu.b);
printf("------------------\n");
func5(&stu);
}
(3)结构体因为自身太大,所以传参应该用指针来传(但是程序员可以自己决定,你非要传结构体变量过去C语言也是允许的,只是效率低了);回想一下数组,为什么C语言设计的时候数组传参默认是传的数组首元素首地址而不是整个数组?
3.9.5、传值调用与传址调用
(1)传值调用描述的是这样一种现象:x和y作为实参,自己并没有真身进入swap1函数内部,而只是拷贝了一份自己的副本(副本具有和自己一样的值,但是是不同的变量)进入子函数swap1,然后我们在子函数swap1中交换的实际是副本而不是x、y真身。所以在swap1内部确实是交换了,但是到外部的x和y根本没有受影响。
#include<stdio.h>
void swap1(int a, int b)
{
int tmp = 0;
tmp = a;
a = b;
b = tmp;
printf("in swap1, a = %d, b = %d\n", a, b);
}
int main(void)
{
int x = 3;
int y = 5;
swap1(x, y);
printf("in main, x = %d, y = %d\n", x, y);
return 0;
}
(2)在swap2中x和y真的被改变了(但是x和y真身还是没有进入swap2函数内,而是swap2函数内部跑出来把外面的x和y真身改了)。实际上实参x和y永远无法真身进入子函数内部(进去的只能是一份拷贝),但是在swap2我们把x和y的地址传进去给子函数了,于是乎在子函数内可以通过指针解引用方式从函数内部访问到外部的x和y真身,从而改变x和y。
#include<stdio.h>
void swap2(int *a, int *b)
{
int tmp = 0;
tmp = *a;
*a = *b;
*b = tmp;
printf("in swap1, *a = %d, *b = %d\n", *a, *b);
}
int main(void)
{
int x = 3;
int y = 5;
swap2(&x, &y);
printf("in main, x = %d, y = %d\n", x, y);
return 0;
}
(3)结论:这个世界上根本没有传值和传址这两种方式,C语言本身函数调用时一直是传值的,只不过传的值可以是变量名,也可以是变量的指针。
返回:C语言指针系列目录