函数名与数组名

推测：函数名作函数参数时彻底演变成指针！

参考：http://bbs.youkuaiyun.com/topics/210062944

http://blog.youkuaiyun.com/goodlixueyong/article/details/6122356

http://www.cnblogs.com/ymy124/archive/2012/03/05/2380048.html

1. #include <iostream.h>
2. int main(int argc, char* argv[])
3. {
4. 　char str[10];
5. 　char *pStr = str;
6. 　cout << sizeof(str) << endl;
7. 　cout << sizeof(pStr) << endl;
8. 　return 0;
9. }

运行结果：10

                     4

由该程序我们可以得出以下结论：

1、数组名不是指针，因为指针大小为4，而上面数组名的大小为10      

2、数组名神似指针，程序的第5行将数组名直接赋值给指针，这显得数组名又的确是个指针！我们还可以发现数组名显得像指针的例子：
1. #include <string.h>
2. #include <iostream.h>
3. int main(int argc, char* argv[])
4. {
5. 　char str1[10] = "I Love U";
6. 　char str2[10];
7. 　strcpy(str2,str1);
8. 　cout << "string array 1: " << str1 << endl;
9. 　cout << "string array 2: " << str2 << endl;
10.　 return 0;
11. }
运行结果：string array 1: I Love U

                    string array 2: I Love U

标准C库函数strcpy的函数原形中能接纳的两个参数都为char型指针，而我们在调用中传给它的却是两个数组名！数组名再一次显得像指针！

　　既然数组名不是指针，而为什么到处都把数组名当指针用？

现在到揭露数组名本质的时候了，先给出三个结论：

一、数组名的内涵在于其指代实体是一种数据结构，这种数据结构就是数组；

二、数组名的外延在于其可以转换为指向其指代实体的指针，而且是一个指针常量；

三、指向数组的指针则是另外一种变量类型（在WIN32平台下，长度为4），仅仅意味着据的存放地址！

 

1、数组名指代一种数据结构：数组
　　现在可以解释为什么第1个程序第6行的输出为10的问题，根据结论1，数组名str的内涵为一种数据结构，即一个长度为10的char型数组，所以sizeof(str)的结果为这个数据结构占据的大小：10字节。再看：
1. int intArray[10];
2. cout << sizeof(intArray) ;
第2行的输出结果为40（整型数组占据的内存空间大小）。
　　2、数组名可作为指针常量
　　根据结论2，数组名可以转换为指向其指代实体的指针，所以程序1中的第5行数组名直接赋值给指针，程序2第7行直接将数组名作为指针形参都可成立。
　　下面的程序成立吗？
1. int intArray[10];
2. intArray++;
　　可以编译之，发现编译出错。原因在于，虽然数组名可以转换为指向其指代实体的指针，但是它只能被看作一个指针常量，不能被修改。
　　而指针，不管是指向结构体、数组还是基本数据类型的指针，都不包含原始数据结构的内涵，在WIN32平台下，sizeof操作的结果都是4。

顺便纠正一下许多程序员的另一个误解。许多程序员以为sizeof是一个函数，而实际上，它是一个操作符，不过其使用方式看起来的确太像一个函数了。语句sizeof(int)就可以说明sizeof的确不是一个函数，因为函数接纳形参（一个变量），世界上没有一个C/C++函数接纳一个数据类型（如 int）为"形参"。
　　3、数组名可能失去其数据结构内涵
　 请看下面一段程序：
1. #include <iostream.h>
2. void arrayTest(char str[])
3. {
4. 　cout << sizeof(str) << endl;
5. }
6. int main(int argc, char* argv[])
7. {
8. 　char str1[10] = "I Love U";
9. 　arrayTest(str1);
10.　return 0;
11. }
　　程序的输出结果为4。不可能吧？
　　一个可怕的数字，前面已经提到其为指针的长度!
　　结论1指出，数据名内涵为数组这种数据结构，在arrayTest函数体内，str是数组名，那为什么sizeof的结果却是指针的长度？这是因为：
　　(1)数组名作为函数形参时，在函数体内，其失去了本身的内涵，仅仅只是一个指针；
　　(2)很遗憾，在失去其内涵的同时，它还失去了其常量特性，可以作自增、自减等操作，可以被修改。
　　所以，数组名作为函数形参时，其全面沦落为一个普通指针！它的贵族身份被剥夺，成了一个地地道道的只拥有4个字节的平民。

 

 

以下是另一些说法:

1.数组名不可以作为左值，关于这一点，可以将数组名理解为指针常量 。
int a[10],*b;
b是一个指针型变量，a是一个数组。
b是左值，可以存在b=a;
a不是左值，不能出现在"="左边。
a相当于一个常量，类型为数组。

2.对数组名进行sizeof运算时，结果是整个数组占用空间的大小，而sizeof(指针)得到的值是编译器分配给指针(也就是一个地址)的内存空间。

 

3.对数组名作&(取地址)运算，得到的还是数组第一个元素的地址，对指针取地址时得到的结果是指针所在的地址，也就是指向这个指针的指针。

4 运算
一维数组和指针在"*"运算是都有访存操作。
多维数组在"*"运算只是类型改变，没有具体操作。
指针变量在"*"运算时先访存，获得地址，再取地址对应内存中的值。

指针变量在"&"运算时，得到指针变量的地址。
数组在"&"运算只是类型改变，没有具体操作。

5修改内容

char * p1 = "Hello World" ;     //分配字符串常量，然后赋给 p1  

char p2[ 20] = "Hello World" ; //分配一个数组，然后初始化为字符串  

//p1可以指向别的地方，但hello world不能更改，  

* p1 = 'h' ;   //error

//p2不能指向别的地方，但hello world可以更改  

p2[0] = 'h' ;  

//第一个字符串指针的操作等价于：

const char S[12] = "Hello World" ;  

char * p1;  

p1 = S;  

char p2[12] ;  

strcpy ( p2, S) ;  

http://www.cnblogs.com/this-543273659/archive/2011/09/03/2165748.html

函数名与函数指针

一 通常的函数调用
    一个通常的函数调用的例子：
//自行包含头文件
void MyFun(int x);    //此处的申明也可写成：void MyFun( int );

int main(int argc, char* argv[])
{
   MyFun(10);     //这里是调用MyFun(10);函数

      return 0;
}

void MyFun(int x)  //这里定义一个MyFun函数
{
   printf(“%d\n”,x);
}
    这个MyFun函数是一个无返回值的函数，它并不完成什么事情。这种调用函数的格式你应该是很熟悉的吧！看主函数中调用MyFun函数的书写格式：
MyFun(10);
    我们一开始只是从功能上或者说从数学意义上理解MyFun这个函数，知道MyFun函数名代表的是一个功能（或是说一段代码）。
    直到——
    学习到函数指针概念时。我才不得不在思考：函数名到底又是什么东西呢？
    （不要以为这是没有什么意义的事噢！呵呵，继续往下看你就知道了。）

二 函数指针变量的申明
    就象某一数据变量的内存地址可以存储在相应的指针变量中一样，函数的首地址也以存储在某个函数指针变量里的。这样，我就可以通过这个函数指针变量来调用所指向的函数了。
    在C系列语言中，任何一个变量，总是要先申明，之后才能使用的。那么，函数指针变量也应该要先申明吧？那又是如何来申明呢？以上面的例子为例，我来申明一个可以指向MyFun函数的函数指针变量FunP。下面就是申明FunP变量的方法：
void (*FunP)(int) ;   //也可写成void (*FunP)(int x);
    你看，整个函数指针变量的申明格式如同函数MyFun的申明处一样，只不过——我们把MyFun改成（*FunP）而已，这样就有了一个能指向MyFun函数的指针FunP了。（当然，这个FunP指针变量也可以指向所有其它具有相同参数及返回值的函数了。）

三 通过函数指针变量调用函数
    有了FunP指针变量后，我们就可以对它赋值指向MyFun，然后通过FunP来调用MyFun函数了。看我如何通过FunP指针变量来调用MyFun函数的：
//自行包含头文件
void MyFun(int x);    //这个申明也可写成：void MyFun( int );
void (*FunP)(int );   //也可申明成void(*FunP)(int x)，但习惯上一般不这样。

int main(int argc, char* argv[])
{
   MyFun(10);     //这是直接调用MyFun函数
   FunP=&MyFun;  //将MyFun函数的地址赋给FunP变量
   (*FunP)(20);    //这是通过函数指针变量FunP来调用MyFun函数的。
}

void MyFun(int x)  //这里定义一个MyFun函数
{
   printf(“%d\n”,x);
}
    请看黑体字部分的代码及注释。 
    运行看看。嗯，不错，程序运行得很好。
    哦，我的感觉是：MyFun与FunP的类型关系类似于int 与int *的关系。函数MyFun好像是一个如int的变量（或常量），而FunP则像一个如int *一样的指针变量。
int i,*pi;
pi=&i;    //与FunP=&MyFun比较。
    （你的感觉呢？）
    呵呵，其实不然——

四 调用函数的其它书写格式
函数指针也可如下使用，来完成同样的事情：
//自行包含头文件
void MyFun(int x);    
void (*FunP)(int );    //申明一个用以指向同样参数，返回值函数的指针变量。

int main(int argc, char* argv[])
{
   MyFun(10);     //这里是调用MyFun(10);函数
   FunP=MyFun;  //将MyFun函数的地址赋给FunP变量
   FunP(20);    //这是通过函数指针变量来调用MyFun函数的。

      return 0;
}

void MyFun(int x)  //这里定义一个MyFun函数
{
   printf(“%d\n”,x);
}
我改了黑体字部分（请自行与之前的代码比较一下）。
运行试试，啊！一样地成功。
咦？
FunP=MyFun;
可以这样将MyFun值同赋值给FunP，难道MyFun与FunP是同一数据类型（即如同的int 与int的关系），而不是如同int 与int*的关系了？（有没有一点点的糊涂了？）
看来与之前的代码有点矛盾了，是吧！所以我说嘛！
请容许我暂不给你解释，继续看以下几种情况（这些可都是可以正确运行的代码哟！）：
代码之三：
int main(int argc, char* argv[])
{
   MyFun(10);     //这里是调用MyFun(10);函数
   FunP=&MyFun;  //将MyFun函数的地址赋给FunP变量
   FunP(20);    //这是通过函数指针变量来调用MyFun函数的。

      return 0;
}
代码之四：
int main(int argc, char* argv[])
{
   MyFun(10);     //这里是调用MyFun(10);函数
   FunP=MyFun;  //将MyFun函数的地址赋给FunP变量
   (*FunP)(20);    //这是通过函数指针变量来调用MyFun函数的。

      return 0;
}
真的是可以这样的噢！
（哇！真是要晕倒了！）
还有呐！看——
int main(int argc, char* argv[])
{
   （*MyFun）(10);     //看，函数名MyFun也可以有这样的调用格式

      return 0;
}
你也许第一次见到吧：函数名调用也可以是这样写的啊！（只不过我们平常没有这样书写罢了。）
那么，这些又说明了什么呢？
呵呵！假使我是“福尔摩斯”，依据以往的知识和经验来推理本篇的“新发现”，必定会由此分析并推断出以下的结论：
1. 其实，MyFun的函数名与FunP函数指针都是一样的，即都是函数指针。MyFun函数名是一个函数指针常量，而FunP是一个函数数指针变量，这是它们的关系。
2. 但函数名调用如果都得如(*MyFun)(10)；这样，那书写与读起来都是不方便和不习惯的。所以C语言的设计者们才会设计成又可允许MyFun(10);这种形式地调用（这样方便多了并与数学中的函数形式一样，不是吗？）。
3. 为统一起见，FunP函数指针变量也可以FunP(10)的形式来调用。
4. 赋值时，即可FunP=&MyFun形式，也可FunP=MyFun。
上述代码的写法，随便你爱怎么着！
请这样理解吧！这可是有助于你对函数指针的应用喽！
最后——
补充说明一点：在函数的申明处：
void MyFun(int );    //不能写成void (*MyFun)(int )。
void (*FunP)(int );   //不能写成void FunP(int )。
（请看注释）这一点是要注意的。

五 定义某一函数的指针类型：
就像自定义数据类型一样，我们也可以先定义一个函数指针类型，然后再用这个类型来申明函数指针变量。
我先给你一个自定义数据类型的例子。
typedef int* PINT;    //为int* 类型定义了一个PINT的别名
int main()
{
  int x;
  PINT px=&x;   //与int * px=&x;是等价的。PINT类型其实就是int * 类型
  *px=10;       //px就是int*类型的变量  
  return 0;
}
根据注释，应该不难看懂吧！（虽然你可能很少这样定义使用，但以后学习Win32编程时会经常见到的。）
下面我们来看一下函数指针类型的定义及使用：（请与上对照！）
//自行包含头文件
void MyFun(int x);    //此处的申明也可写成：void MyFun( int );
typedef void (*FunType)(int );   //这样只是定义一个函数指针类型
FunType FunP;              //然后用FunType类型来申明全局FunP变量

int main(int argc, char* argv[])
{
//FunType FunP;    //函数指针变量当然也是可以是局部的 ，那就请在这里申明了。 
   MyFun(10);     
   FunP=&MyFun;  
   (*FunP)(20);    

      return 0;
}

void MyFun(int x)  
{
   printf(“%d\n”,x);
}

看黑体部分：
首先，在void (*FunType)(int ); 前加了一个typedef 。这样只是定义一个名为FunType函数指针类型，而不是一个FunType变量。
然后，FunType FunP;  这句就如PINT px;一样地申明一个FunP变量。
其它相同。整个程序完成了相同的事。
这样做法的好处是：
有了FunType类型后，我们就可以同样地、很方便地用FunType类型来申明多个同类型的函数指针变量了。如下：
FunType FunP2;
FunType FunP3;
//……

六 函数指针作为某个函数的参数
既然函数指针变量是一个变量，当然也可以作为某个函数的参数来使用的。所以，你还应知道函数指针是如何作为某个函数的参数来传递使用的。
给你一个实例：
要求：我要设计一个CallMyFun函数，这个函数可以通过参数中的函数指针值不同来分别调用MyFun1、MyFun2、MyFun3这三个函数（注：这三个函数的定义格式应相同）。
实现：代码如下：
//自行包含头文件 
void MyFun1(int x);  
void MyFun2(int x);  
void MyFun3(int x);  
typedef void (*FunType)(int ); //②. 定义一个函数指针类型FunType,与①函数类型一至
void CallMyFun(FunType fp,int x);

int main(int argc, char* argv[])
{
   CallMyFun(MyFun1,10);   //⑤. 通过CallMyFun函数分别调用三个不同的函数
   CallMyFun(MyFun2,20);   
   CallMyFun(MyFun3,30);   
}
void CallMyFun(FunType fp,int x) //③. 参数fp的类型是FunType。
{
  fp(x);//④. 通过fp的指针执行传递进来的函数，注意fp所指的函数是有一个参数的
}
void MyFun1(int x) // ①. 这是个有一个参数的函数，以下两个函数也相同
{
   printf(“函数MyFun1中输出：%d\n”,x);
}
void MyFun2(int x)  
{
   printf(“函数MyFun2中输出：%d\n”,x);
}
void MyFun3(int x)  
{
   printf(“函数MyFun3中输出：%d\n”,x);
}