定义

定义

Nim代码指定一个计算，该计算作用于由称为位置的组件组成的内存。变量基本上是位置的名称。每个变量和位置都是某种类型。变量类型叫做静态类型，位置的类型叫做动态类型。如果静态类型和动态类型不一样，它是动态类型的一个超类型或子类型。

标识符是声明为变量，类型，过程等的名称的符号。

声明适用的程序区域叫做作用域。作用域可以嵌套。标识符的含义由声明标识符的最小封闭范围确定，除非重载解析规则另有说明。

表达式指定生成值或位置的计算。产生位置的表达式叫左值。左值可以表示位置或位置包含的值，具体取决于上下文。

Nim 程序由一个或多个包含Nim代码的文本源文件构成。它由Nim 编译器处理成一个可执行文件。可执行文件的类型取决于编译器实现；例如它可以是原生二进制或JavaScript源代码。

在典型的Nim程序中，多数代码编译成可执行文件。但是，某些代码可以在编译期执行。这可以包括宏定义使用的常量表达式，宏定义，和Nim过程。编译期支持大部分Nim语言，但有一些限制 — 详见 Restrictions on Compile-Time Execution 。我们用术语进行时来涵盖可执行文件中的编译时执行和代码执行。

编译器把Nim源代码解析为称为抽象语法树 (AST) 的内部数据结构。然后，在执行代码或编译成可执行文件前，通过语义分析变换AST。这会添加语义信息，诸如表达式类型、标识符含义，以及某些情况下的表达式值。语义分析期间的错误叫做静态错误。未另行指定时，本手册中描述的错误是静态错误。

运行时检查错误是实现在运行时检查并报告的错误。报错此类错误的方法是通过 引发异常 或 以致命错误退出 。但是，该实现提供了禁用这些运行时检查的方法 . 有关详细信息，请参阅 pragmas 部分。

检查的运行时错误是导致异常还是致命错误取决于实现。因此以下程序无效；即使代码声称从越界数组访问中捕获 IndexError ，编译器也可以选择允许程序退出致命错误。

var a: array[0..1, char]
let i = 5
try:
  a[i] = 'N'
except IndexError:
  echo "invalid index"

未经检查的运行时错误是一个不能保证被检测到的错误，并且可能导致任意的计算后续行为。如果仅使用 safe 语言功能并且未禁用运行时检查，则不会发生未经检查的运行时错误。

常量表达式是一个表达式，其值可以在出现的代码的语义分析期间计算。它不是左值也没有副作用。常量表达式不仅限于语义分析的功能，例如常量折叠;他们可以使用编译时执行所支持的所有Nim语言功能。由于常量表达式可以用作语义分析的输入（例如用于定义数组边界），因此这种灵活性要求编译器交错语义分析和编译时代码执行。

在源代码中从上到下和从左到右进行图像语义分析是非常准确的，在必要时交错编译时代码执行以计算后续语义分析所需的值。我们将在本文档后面看到，宏调用不仅需要这种交错，而且还会产生语义分析不能完全从上到下，从左到右进行的情况。