对于函数名本质的一点思考

Posted 2020-08-12

自己在学习函数指针的时候对函数名的意义产生了一点疑惑，经过一些尝试和思考，感觉应该可以像下面这样理解，如果有啥不对的希望大家指正。

首先 我们对变量名的定义做一下回顾：

在C语言里面，我们声明一个变量的时候就会给这个变量名分配一个内存空间，也就是说变量名和内存空间相对应；同时每个内存空间都会有个地址。

int a;
a=5;

上面两句话说明了：变量a对应的内存空间存储了一个整型数5，并且我们还可以知道这个内存空间的地址是&a。

对于函数的调用我们一般是直接用函数名的，但是在汇编语言里面，调用函数（可能不太准确，汇编里面不叫函数）的时候是直接用跳转语句跳转到了函数的入口地址,因此可以假设函数名实际上就是一个存储了函数入口地址的变量。也就是说对于函数fun（i,j）,fun==&fun。

接下来用函数指针的例子验证一下：

#include <stdio.h>
#include <stdlib.h>

 int main()
{
    int max(int,int);
    int (*p)(int,int);
    int a,b,c;
    p =max;//让指针指向函数max（int,int）
     //p=&max;
   //p=*max;
    scanf("%d %d",&a,&b);
    c =(*p)(a,b);
    printf("a=%d,b=%d,max=%d\n",a,b,c);
    if(*p==p&&*p==max&&*p==&max&&*p==*max)
         printf("p *p max &max *max ALL SAME!\n");
    return 0;
}

int max(int x,int y)
{
    int z;
    if(x>y) z = x;
    else z = y;
    return(z);
}

 

在上面的例子中对于函数指针p的指向三句话都对，也就是说明了三个都相等，因此可以断定 函数名实际上和一个存储了自身地址的内存空间相对应。

同时指出在用函数指针调用函数的时候也可以有两种方式：

c = p(a,b);
c = (*p)(a,b);

因为对于函数指针来说p对应的内存存储的值就是函数max的入口地址，而max里面存的就是函数的入口地址，所以*p==max，可以用上面代码验证。