形参的本质

形参的本质

删除线删除的内容和正文无关，每次写博客时常用的一些内容，都会放在1级标题下
缩进方法：  半缩进  全缩进(一个汉字)
本文仅限于在优快云以及FishC.com两个网站发表，如果在其他地方看到与本文相同的内容均为抄袭或盗版，版权music_boyi所有，盗版必究

序言

   谈到形参，大家包括笔者的第一个反应是，这什么嘛，不就是形参吗，有什么呀，多简单。后来在递归中出了问题，典型问题是递归的梵天梵塔的问题。怎么就用简单的几行代码就能把梵塔的整个过程描述出来呢？明白这其中的道理后，发现根本知识，函数的形参的知识，我没有掌握本质。后来经过长时间的学习，实践，有了眉目，现在把笔者浅薄的分析写下来，作为第一个原创博客。

形参为何物？

  查看了由张淑华，朱建辉两位老师主编的C语言程序设计（第二版）中关于形式参数与实际参数的定义，形参是指在函数定义时的一个变量名。¹对于形参的知识，大多数老师都说形参的处理仅限于函数体内，除非是全局变量，对于形参的变化不会影响到实参。
  确实没错，用这个知识可以解决大多数的函数相关的问题。现在要处理的是那一小部分的的函数的问题。
  形参是一个占位符，使用函数的时候，系统会为形参分配一个内存空间，函数结束后，形参的空间会立即释放。所以可以认为形参是一个临时变量，用完就扔。

变量？

  变量是什么，变量由变量名，变量值，变量类型构成，有些编程语言可能不会涉及到变量的类型²。
  变量类型不提，单说变量名，一般来讲，变量名的起名规则尽量要让它好记，长点也没关系。而且一般要用驼峰命名法³为变量命名，还是那句话，因为它好记。
  所以一个变量要有这个变量特有的一些功能，或者我们说，意义。就像注释3里面写的arrayOfLines它的意义就是各行的数组。否则也没有必要好记，也没有必要弄什么驼峰命名法。变量如此，形参亦如此。

形参？（到底想说什么？)

  又回来了，再看形参，设计形参的时候一般的也要用驼峰命名法命名，所以形参是有他自己的意义的，形参的意义在函数设计之初就已经定死了。就像变量一样
  记住这句话，形参的本质是其意义在设计之初就定死了，只要这个函数形参不重新定义，在函数体内，无论怎样调用，都不会改变形参的意义。
  下面举一个例子，我用Python和C语言两个语言写下这个令很多人头疼不已的梵塔以及它的变体。大家体会一下。本博客到此结束，感谢大家的支持与订正，不喜勿喷。

e.g.??

#python 语言下
def hanoi0 (numb, a, b, c):#我令起始柱为a，中介柱为b，结尾柱为c
	if (numb == 1):
		print (a,'->',c)
	else:
		hanoi(numb-1, a, c, b)
		print(a, '->', c)
		hanoi(numb-1, b, a, c)
def hanoi1 (numb,a, b, c):#我令起始柱为c，中介柱为a，目标柱为b
	if (numb == 1):
		print(c, '->', b)
	else:
		hanoi1(numb-1, b, a, c)
		print(c, '->', b)
		hanoi1(numb-1, c, b, a)
	'''
	when you call the function to solve the problem,take care of the parameters.
	e.g. if I have the question from a to c, I need to call like this:
	hanoi(numb-1, 'b', 'c', 'a')
	'''
	

C语言下

# include <stdio.h>
void hanoi(int,char,char,char);
void hanoi1(int,char,char,char);
void hanoi(n, a, b, c)
int n, char a,b,c;
{
	if (n == 1)
	{
 		printf("%c -> %c",a,c);
 	
	}
	else
	{
		hanoi(n-1,a,c,b);
		printf("%c -> %c",a,c);
		hanoi(n-1,b,a,c);
	}
}
void hanoi1(n,a,b,c)
int n,char a,b,c;
{
	if (n == 1)
	{
	printf("%c -> %c",c,b);
	}
	else
	{
	hanoi1(n-1, b, a, c);
	print("%c -> %c",c,b);
	hanoi1(n-1,c,b,a);
	}
	
}
int main (void)
{
	
	//test hanoi(3,'a','b','c');
	//test hanoi1(3,'b','c','a');

	return 0;
}

---

1. 原文来自《C语言程序设计》（第二版，科学出版社）第192页 8.3.1第一段:在调用函数时，大多数情况下，主调函数和被调函数之间有数据传递关系，根据参数所在位置不同可将函数参数分为形式参数和实际参数。形式参数（简称形参）是指在函数定义时函数名后面括号中的变量名。实际参数（简称实参）是指在函数调用时，函数名后面括号中的表达式。 ↩︎

2. 据笔者所知而言,不需要变量类型的好像只有汇编语言了，有人说Python也没有，Python的变量类型是自动分配的。 ↩︎

3. 驼峰命名法：一种对变量命名的方法，当变量名由多个单词共同构成时，为了使单词区分方便，除变量首字母不必大写，每一个单词的首字母大写。例如，一个欲起名为array of lines的变量应用驼峰法应写成：arrayOfLines ↩︎