📄 6.4.0.htm
字号:
<html>
<head>
<title>编译原理</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<link type="text/css" rel="stylesheet" href="../css/specification.css">
</head>
<body>
<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='6.3.3.htm'"></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='6.4.0b.htm'"></img></td>
</tr>
</table>
<br><br>
<font class="title2"><b>6.4 对非局部名字的访问</b></font>
<table><tr><td>    </td>
<td class="content">
<P>
在这一节中，我们采用上一节中讨论的存储分配策略以实现对非局部名字的访问。尽管这一节中的讨论基于活动记录的栈式分配，但其主要思想仍可适用于堆式存储分配。
</p>
</td></tr></table>
<table><tr><td>    </td>
<td class="content">
<p>
一个语言所规定的作用域规则决定了如何处理对非局部名字的引用。有两种作用域规则，<B>静态作用域</B>规则和<B>动态作用域</B>规则。静态作用域规则也称词法作用域规则，仅通过考查程序正文来决定应用到一个名字上的说明。如Pascal，C和Ada是众多语言中使用带有“最近嵌套”规定的词法作用域规则的语言。这将在下面讨论。而动态作用域规则是在运行时刻通过最近的活动来决定可应用到一个名字上的说明。LISP和APL等语言使用动态作用域规则。
</td></tr></table>
<table><tr><td>    </td>
<td class="content">
<p>
读者在学习中要注意区分静态作用域规则和静态分配策略这两个完全不同的概念。
</td></tr></table>
<br>
<hr size=2 color=red width=90%>
<br>
<font class="title2"><b>6.4.1 块</b></font>
<table><tr><td>    </td>
<td class="content">
<P>
一个块（Block）是一个含有它自己的局部数据说明的语句。块的概念，或称分程序的概念，来自Algol。而在C语言中，一个块的语法为：
</p>
</td></tr></table>
<table><tr><td>    </td>
<td class="content">
<P>
{declarations(若干个说明) statements(若干个语句)}
</p>
</td></tr></table>
<table><tr><td>    </td>
<td class="content">
<p>
块的一个特征是它们的嵌套结构。定界符号标志着块的开始和结束。在C语言中使用花括号｛ 和 ｝作为定界符号，而Algo1使用begin和end。定界符号确保一个块与另一个块要么是独立的，要么一个块完全嵌入在另一个块之中。即对于块B<sub>1</sub>和块B<sub>2</sub>，不可能出现这种重叠情况：B<sub>1</sub>开始，然后B<sub>2</sub>开始，而B<sub>1</sub>比B<sub>2</sub>早结束。这种嵌套的性质有时称作块结构。
</td></tr></table>
<table><tr><td>    </td>
<td class="content">
<p>
在块结构语言中，说明的作用域由最近嵌套规则给出：
</td></tr></table>
<table><tr><td>    </td>
<td class="content">
<p>
1．在块B中的一个说明的作用域包括B。
</td></tr></table>
<table><tr><td>    </td>
<td class="content">
<p>
2．如果名字x在块B中没有说明，那么，x在B中的出现是在一个外围块B'中的x的说明的作用域之内，并且使得：
<BR> (a)B'中有x 的说明，
<BR> (b)B'是包围B的，相对于其它任何具有名字x 的说明且包围B 的块而言,B'是离B 最近的。
</td></tr></table>
<br>
<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='6.3.3.htm'"></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='6.4.0b.htm'"></img></td>
</tr>
</table>
</BODY>
<html><script language="JavaScript">⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -