Chapel编译器报符号先于定义使用类型未知错误的含义及解决方法

原始报错信息：

myProgram.chpl:42: error: use of 'symbol' before encountering its definition, type unknown

错误核心含义 #

Chapel编译器按从上到下的顺序扫描代码，当处理到第42行时，发现该行使用了某个标识符（报错信息里的symbol会替换成实际代码里用到的变量、函数、类型、模块成员名称），但在当前扫描位置之前，编译器没有找到这个标识符的任何定义，无法确定它的类型、调用规则、内存占用等编译必需信息，因此终止编译抛出该错误。
该错误本质是编程语言通用的「先定义后使用」规则校验，不允许对未声明的标识符做无前置声明的前置引用。

常见触发场景与对应修复方案 #

• 变量/常量定义顺序颠倒
  比如第42行写了writeln(totalScore);，但const totalScore = 98;的定义语句写在了第42行之后。
  修复：把变量、常量的定义语句移动到第一次使用它的代码行之前即可。
• 函数/方法调用早于定义，且无前置声明
  比如第42行调用了自定义函数getUserInput()，但这个函数的实现代码写在了调用点的后面。
  修复：两种方案可选，一是直接把函数的完整定义移动到调用点之前；二是在调用点之前添加函数前置声明，比如写proc getUserInput(): string;提前告知编译器该函数的签名，函数的具体实现可以放在后面任意位置。
• 模块导入语句位置靠后或导入不全
  比如第42行用到了自定义模块MyUtils里的工具函数，但use MyUtils;或者import MyUtils;的导入语句写在了第42行之后，或者导入时没有引入需要用到的成员。
  修复：把模块导入语句移动到使用该模块成员的代码之前，检查导入语句是否覆盖了要使用的成员。
• 标识符拼写错误
  比如实际定义的变量名是fileSize，第42行误写为filesize（大小写不匹配）、fileSzie（字母顺序写错），编译器找不到对应定义，也会抛出该错误。
  修复：逐字核对第42行用到的自定义标识符，和之前定义的名称是否完全一致，修正拼写错误。
• 递归/互引用类型未做前置声明
  比如定义类时，类的成员字段用到了类自身的类型，或者两个类互相持有对方类型的字段，但没有提前声明类型存在，编译器读到字段定义时还没拿到类型信息。
  修复：在类型的具体定义之前添加前置声明，比如两个互引用的类可以先写class User; class Order;提前告知编译器这两个类型存在，后续再补全两个类的具体字段、方法实现。

快速排查步骤 #

• 直接跳转到代码第42行，把该行用到的所有非Chapel内置关键字、内置函数的自定义标识符全部列出来
• 逐个搜索每个标识符的定义位置，确认定义是否出现在第42行之前
• 如果定义确实在第42行之后，根据标识符类型选择移动定义位置或者添加前置声明；如果全局搜不到对应定义，优先检查拼写、大小写错误。

内容的提问来源于stack exchange，提问作者Brad