编译原理参数传递的4种方式

‘壹’ 参数传递的方式

楼主说的是C++么？
参数传递有三种：
传值(value)，传址(address)，和传引用(reference)

传值时子函数（被调用者）复制父函数（调用者）传递的值，这样子函数无法改变父函数变量的值

传址时父函数将变量的地址传递给子函数，这样子函数可以能过改写地址里的内容改变父函数中的变量

传引用则是一种看起来像传值调用，而实际上功能同传址一样的传递方式。子函数可以改写父函数的变量值。

‘贰’ c语言函数参数传递的是值还是拷贝

一 参数
1 所有的参数传递，都是传递值的拷贝。（如果想知道为什么，去学习编译原理的函数调用的参数压栈和出栈对应内容）。
2 C传指针进去，其实也是把这个指针值按拷贝传送进去。但是因为指针值指向一块外部内存空间（其实更多是堆空间，或外层栈变量空间），所以感觉可以在函数里改变外部变量。其实本质还是按拷贝传递，只是传递进去的是一个访问变量的渠道。
因此，如果我们希望函数内能改变外部的指针值，往往传进去的是指针变量的指针。呵呵，很多初学C的程序员，对**非常难理解。

二 返回值
返回值是按拷贝传递，函数出栈后，会传出一个值，该值在调用函数的代码段的生命周期里一直有效。相当与调用点形成一个匿名的栈变量。

变量a = function(); 而a并不等于函数里return的那个值。
其实function()执行结果自身就是一个匿名变量。(其实编译器会检查语法，如上面a=function这样的语法，匿名变量不会生成，直接使用a变量拷贝返回值）
例如： function（）返回int值。 完全可以 int x = function() + 6;//注意:+运算时，函数已经执行完毕，所有函数出栈操作已经结束。
很明显function()必须有一个变量或常量参与计算,而函数里return的值会随函数调用结束出栈而被删除,所以必须拷贝构造传递出来。

‘叁’ 编译原理 四元式

四元式是一种比较普遍采用的中间代码形式。

代码段的四元式表达式：

101 T:=0 （表达式为假的出口）

103 T:=1 （表达式为真的出口）

因为用户的表达式只有一个A<B，因此A<B的真假出口就是表达式的真假出口，所以

100: if a<b goto 103 （a<b为真，跳到真出口103）

101: T:=0（否则，进入假出口）

102: goto 104 （要跳过真出口，否则T的值不就又进入真出口了，为真）

103: T:=1

104:（程序继续执行）

(3)编译原理参数传递的4种方式扩展阅读：

四元式是一种更接近目标代码的中间代码形式。由于这种形式的中间代码便于优化处理，因此，在目前许多编译程序中得到了广泛的应用。

四元式实际上是一种“三地址语句”的等价表示。它的一般形式为：

(op,arg1,arg2,result)

其中， op为一个二元 (也可是一元或零元)运算符；arg1,arg2分别为它的两个运算 (或操作)对象，它们可以是变量、常数或系统定义的临时变量名；运算的结果将放入result中。四元式还可写为类似于PASCAL语言赋值语句的形式：

result ∶= arg1 op arg2

需要指出的是，每个四元式只能有一个运算符，所以，一个复杂的表达式须由多个四元式构成的序列来表示。例如，表达式A+B*C可写为序列

T1∶=B*C

T2∶=A+T1

其中，T1，T2是编译系统所产生的临时变量名。当op为一元、零元运算符 (如无条件转移)时，arg2甚至arg1应缺省，即result∶=op arg1或 op result ；对应的一般形式为：

(op,arg1,,result)

或

(op,,,result)

‘肆’ 四种文法的类型(编译原理)

乔姆斯基（Chomsky）按产生式的类型把文法分为四种类型：0、1、2、3型文法。

*在下文中的产生式中，箭头左边的大写字母为严格的非终结符，而其左边的小写字母不严格要求为非终结符，如[0型文法]中的第2条产生式。

【0型文法】

产生式形式：α→β

要求：箭头左边的α 至少 含有 一个非终结符 ， 其余 不加任何限制

    例如，G：C→AaB

                     aA→a

                     B→b|Bb

【1型文法】

产生式形式：α→β

要求： |α|≤|β| (产生式左端的长度<=右端的长度)，S→ε除外。

例如G： C→aAB

               aA→aBa

               B→b|Bb 

【2型文法】(上下文无关文法)

产生式形式：A→β，A∈VN(终结符) ，β∈V *(VN∪VT，即可为终结符也可为非终结符) 

说明：当以β替换A时，与A的上下文环境无关；

          大部分程序设计语言近似于2型文法。

【3型文法】(正规文法 / 右线性文法)

产生式形式：A→a，A→aB，

说明：a∈VT(终结符) ，  A，B∈VN(非终结符)，即产生式右端的第一个符号必须为 终结符

例如 G：A→aB

              B→b|bB

【其他说明】对于这四种类型的文法：

*包含关系：0 > 1 > 2 > 3 (以'>'代替包含符，'A>B'译为A包含B)

*严格程度：3 > 2 > 1 > 0

*判断文法所属类型的顺序：3 → 2 → 1 → 0

‘伍’ 编译原理四——代码优化

1、基本块的划分方法：

3、DAG图实现基本块的优化

1、程序流图与循环
控制流程图就是有唯一首节点的有向图，用三元组G=（N，E，n ₀ ）表示（节点集，边集，首节点）节点集就是基本块集，有向边表示如下：基本块i出口语句不是转向语句或停语句，i与紧随其后的基本块j有有向边。或者i出口转向j入口语句。
2、循环：程序流图里的一个节点序列强连通，任意两个节点都有至少一条通路，它们中有且只有一个入口节点。（从序列外某节点有一条有向边引导它，或他是程序流图的首节点。
3、找循环：
必经节点集：从流图首节点出发，到n的任意通路都要经过m，m是n的必经节点，记为mDOMn；流图中结点n的所有必经节点的集合称为节点n的必经结点集，极为D(n)。
DOM的性质：自反性：流图中任意节点a，都有aDOMa。传递性：aDOMb，bDOMc则aDOMc。反对称性：aDOMb,bDOMa,a=b。DOM是一个偏序关系，任何节点n的必经节点集是一个有序集。
必经节点的求法：一定包括自己好吧。。。。。。必经节点集就是前驱节点必经节点集的交集加自己没准。
找回边：假设a b是流图中的一条有向边，如果bDOMa，则a b是流图中的一条回边。已知有向边n d是一条回边，则由它组成的循环就是由结点d、结点n以及有通路到达n但该通路不经过d的所有结点组成的。
4、可规约流图：当且仅当一个流图除去回边后，其余边构成一个无环路流图。性质：1. 图中任何直观环路都是循环。2. 找到所有回边可以对应找出所有循环。3. 循环或嵌套或不相交（可能有公共入口节点），goto语句不可跳入循环。

5、循环优化

‘陆’ 如何区分传值与传址

区别：对形参的影响不同

1、在誉改传值中函数参数压栈的是参数的副本，任何的修改是在副本上作用，没有作用在原来的变量上。

2、传址中压栈的是指针变量的副本，当你对指针解指针操作时，其值是指向原来的那个变量，所以对原来变量操作。

(6)编译原理参数传递的4种方式扩展阅读

函数传参有三种传参方式：传值、传址、传引用。

1、按值传递

（1）形参和实参各占一个独立的存储空间。

（2）形参的存储空间是函数被调用时才分配的，调用开始戚虚歼，系统为形参开辟高冲一个临时的存储区，然后将各实参传递给形参，这是形参就得到了实参的值。

2、地址传递

地址传递与值传递的不同在于，它把实参的存储地址传送给形参，使得形参指针和实参指针指向同一块地址。因此，被调用函数中对形参指针所指向的地址中内容的任何改变都会影响到实参。

3、引用传递

引用传递是以引用为参数，则既可以使得对形参的任何操作都能改变相应数据，又使函数调用方便。引用传递是在形参调用前加入引用运算符“&”。

引用为实参的别名，和实参是同一个变量，则他们的值也相同，该引用改变则它的实参也改变。

‘柒’ c语言 为什么主函数调用函数average的实参是数组名score，而不是整个数组

如果一个函数以一维数组为参数，我们可以这样声明这个函数
void func(int* a) ;void func(int a[]) ;void func(int a[3]) ;

实际上，这三种形式是等价的，在使用数组做参数时，编译器会自动将数组名转换为指向数组第一个元素的指针，为什么呢？这要从参数的传递方式说起，参数有三种传递方式，按值传递，按指针传递，按引用传递，分别如下
void Test(int a) ;void Test(int* a) ;void Test(int& a) ;

第一种方式传递的是a的一个副本
第二种方式传递的是指向a的指针的一个副本
第三种方式传递的是指向a的引用的一个副本
既然都是副本,那么就存在拷贝到过程，但是，数组是不能直接拷贝的，也就是不能像下面这样
int a[3] = {1, 2, 3} ;int b[](a) ; // errorint b[3] ;b = a ; // error
不能用一个数组初始化另一个数组，也不能将一个数组直接赋值给另外一个数组，如果想复制数组，唯一的办法就是逐个元素复制。int a[3] = {1, 2, 3} ;int b[3] ;for (int i = 0; i < 3; ++i){ b[i] = a[i] ;}

既然数组不能拷贝，那么参数该如何传递呢？于是编译器就将数组名转换成了指向第一个元素的指针，指凯迹和针是可以拷贝的。但是这也引发了另外一个问题。我们无法只通过数组名得知数组元素的个数。看下面的代码
void Test(int a[3]){ for (int i = 0; i < 5; ++i) { cout << a[i] << endl ; }}

明明只传递了三个元素的数组，为什么输出5个元素？前面已经说了，数组被转换成了指向第一个元素的指针，所以上面的代码和下面的相同
void Test(int* a) //我只知道a是个指针，跟本不知道a指向多少个元素{ for (int i = 0; i < 5; ++i) { cout << a[i] << endl ; }}

编译器根本不知奥数组a有多少个元素，它甚至不知道a是数组！如何解决呢，一种办法是再加一个参数，指定元素个数
void Test(int* a, int n){ for (int i = 0; i < n; ++i) { cout << a[i] << endl ; }}

另外一种办法是州祥传递数组的引用，这才是本文的重点，唉，前面这么多废话：（
void Test(int (&a)[3]){ for (int i = 0; i < 3; ++i) { cout << a[i] << endl ; }}

这样写数组a就不会被转换为指针了，而且有了元素个数的信息，调用的时候，也必须传递一个含有3个元素的数组
int a[3] = {1, 2, 3} ;Test(a) ; // okint b[1] = {1} ;Test(b) ; // error, can not convert parameter a from int[1] to int(&)[3]

1、对于一维数组来说，数组作为函数参数传递，实际上传递了一个指向数组的指针，在c编译器中，当数组名作为函盯盯数参数时，在函数体内数组名自动退化为指针。此时调用函数时，相当于传址，而不是传值，会改变数组元素的值。
例如：void fun(int a[]); 若在fun函数中有a[i]++;等语句，那么对应的数组元素会被修改，调用时直接用fun(a);即可。
2、对于高维数组来说，可以用二维数组名作为实参或者形参，在被调用函数中对形参数组定义时可以指定所有维数的大小，也可以省略第一维的大小说明，如：
void fun(int array[3][10]);
void fun(int array[][10]);
二者都是合法而且等价，但是不能把第二维或者更高维的大小省略，如下面的定义是不合法的：
void fun(int array[][]);
因为从实参传递来的是数组的起始地址，在内存中按数组排列规则存放(按行存放)，而并不区分行和列，如果在形参中不说明列数，则系统无法决定应为多少行多少列，不能只指定一维而不指定第二维，下面写法是错误的：
void fun(int array[3][]);
实参数组维数可以大于形参数组，例如形参数组定义为：
void fun(int array[3][10]);
而实参数组定义为：
int array[5][10];
这时形参数组只取实参数组的一部分，其余部分不起作用。
可以看到，将二维数组当作参数的时候，必须指明所有维数大小或者省略第一维的，但是不能省略第二维或者更高维的大小，这是由编译器原理限制的。学编译原理的时候应该 知道编译器是这样处理数组的：
对于数组 int p[m][n];
如果要取p[i][j]的值(i>=0 && i<m && 0<=j && j < n)，编译器是这样寻址的，它的地址为：
p + i*n + j;
从以上可以看出，如果我们省略了第二维或者更高维的大小，编译器将不知道如何正确的寻址，即这里的n值是在形参定义的时候就要明确知道的。但是我们在编写程序的时候却需要用到各个维数都不固定的二维数组 作为参数，这就难办了，编译器不能识别阿，怎么办呢？不要着急，编译器虽然不能识别，但是我们完全可以不把它当作一个二维数组，而是把它当作一个普通的指针，再另外加上两个参数指明各个维数，然后我们为二维数组手工寻址，这样就达到了将二维数组作为函数的参数传递的目的，根据这个思想，我们可以把维数固定 的参数变为维数随即的参数，例如：
void fun(int array[3][10]);
void fun(int array[][10]);
变为：
void fun(int **array, int m, int n);
在转变后的函数中，array[i][j]这样的式子是不对的(不信，大家可以试一下)，因为编译器不能正确的为它寻址，所以我们需要模仿编译器的行为把array[i][j]这样的式子手工转变为：
*(*array + n*i + j);
在调用这样的函数的时候，需要注意一下，如下面的例子：
int a[3][3] = { {1, 1, 1}, {2, 2, 2}, {3, 3, 3}};
fun(a, 3, 3);
根据不同编译器不同的设置，可能出现warning 或者error,可以进行强制转换如下调用：
fun((int**)a, 3, 3);

‘捌’ C语言编译原理是什么

编译共分为四个阶段：预处理阶段、编译阶段、汇编阶段、链接阶段。

1、预处理阶段：

主要工作是将头文件插入到所写的代码中，生成扩展名为“.i”的文件替换原来的扩展名为“.c”的文件，但是原来的文件仍然保留，只是执行过程中的实际文件发生了改变。（这里所说的替换并不是指原来的文件被删除）

2、汇编阶段：

插入汇编语言程序，将代码翻译成汇编语言。编译器首先要检查代码的规范性、是否有语法错误等，以确定代码的实际要做的工作，在检查无误后，编译器把代码翻译成汇编语言，同时将扩展名为“.i”的文件翻译成扩展名为“.s”的文件。

3、编译阶段：

将汇编语言翻译成机器语言指令，并将指令打包封存成可重定位目标程序的格式,将扩展名为“.s”的文件翻译成扩展名为“.o”的二进制文件。

4、链接阶段：

在示例代码中，改代码文件调用了标准库中printf函数。而printf函数的实际存储位置是一个单独编译的目标文件（编译的结果也是扩展名为“.o”的文件），所以此时主函数调用的时候，需要将该文件（即printf函数所在的编译文件）与hello world文件整合到一起，此时链接器就可以大显神通了，将两个文件合并后生成一个可执行目标文件。

‘玖’ 编译原理传地址问题

传址的话，这么讲你应该更明白，因为y（A）：=x+y（1），y（1）=x+y（2），这时的y（2）才等于A，所以y：=x+x+y