解析順序一被引入就涉及到不受限制的標識符 。如 foo()，foo=1，foo.field等這些是表達式（第5章）。特別是最后一個包括類似 haxe.ds.StringMap的模塊路徑，haxe是一個絕對的標識符。 > Resolution order comes into play as soon as unquali?ed identi?ers are involved. These are expressions(5)intheformoffoo(),foo = 1andfoo.field. The last one in particular includes module paths such as haxe.ds.StringMap, where haxe is an unquali?ed identi?er. 我們描述解析順序的算法，取決于以下的狀態： > We describe the resolution order algorithm here, which depends on the following state: * 聲明的局部變量（第5.10節）（包括函數參數） * 導入（第3.7.2節）的模塊，類型和靜態字段 * 可用的靜態擴展（第6.3節） * 當前字段的種類（static或者成員） * 當前類及其父類聲明的成員字段 * 當前類聲明的靜態字段 * 預期的類型（第3.6.1節） * untyped或者不是untyped的表達式 > * the declared local variables (5.10) (including function arguments) > * the imported (3.7.2) modules, types and statics > * the available static extensions (6.3) > * the kind (static or member) of the current ?eld > * the declared member ?elds on the current class and its parent classes > * the declared static ?elds on the current class > * the expected type (3.6.1) > * the expression being untyped or not 給定一個標識符 i ，算法規則如下： > Given an identi?er i, the algorithm is as follows: 1. 如果i 是true，false，this，super或者null，解析到匹配的 常量并停止 2. 如果一個局部變量命名為 i為可訪問的，解析它并停止 3. 如果當前的字段是靜態的，跳到6 4. 如果當前的類或者任何它的父類有一個字段命名為 i，解析到它并停止 5. 如果一個靜態擴展帶有第一個當前類類型的參數可用，解析到它并停止 6. 如果當前的類有一個靜態字段命名為 i，解析到它并停止 7. 如果一個枚舉構造函數命名為i聲明在一個導入的枚舉，解析到它并停止 8. 如果一個靜態方法 i 被顯式導入，解析到它并停止 9. 如果i通過一個小寫字母開始，跳到11 10. 如果類型名為 i 是可用的，解析到它并停止 11. 如果表達式不是 untyped模式，跳到14 12. 如果i和這個相等，解析到這個常量并停止 13. 產生一個局部變量命名為 i，解析到它并停止 14. 失敗 > 1. If i is true, false, this, super or null, resolve to the matching constant and halt. > 2. If a local variable named i is accessible, resolve to it and halt. > 3. If the current ?eld is static, go to 6. > 4. If the current class or any of its parent classes has a ?eld named i, resolve to it and halt. > 5. If a static extension with a ?rst argument of the type of the current class is available,resolve to it and halt. > 6. If the current class has a static ?eld named i, resolve to it and halt. > 7. If an enum constructor named i is declared on an imported enum, resolve to it and halt. > 8. If a static named i is explicitly imported, resolve to it and halt. > 9. If i starts with a lower-case character, go to 11. > 10. If a type named i is available, resolve to it and halt. > 11. If the expression is not in untyped mode, go to 14 > 12. If i equals __this__, resolve to the this constant and halt. > 13. Generate a local variable named i, resolve to it and halt. > 14. Fail 對于第10步，也需要定義類型的解析順序： > For step 10, it is also necessary to de?ne the resolution order of types: 1. 如果一個類型名為 i 被導入（直接或者作為模塊的部分導入），解析到它并停止 2. 如果當前的包包含一個模塊名為 i和類型名為i，解析到它并停止 3. 如果一個類型名為i在頂層可用，解析到它并停止 4. 失敗 > 1. If a type named i is imported (directly or as part of a module), resolve to it and halt. > 2. If the current package contains a module named i with a type named i, resolve to it and halt. > 3. If a type named i is available at top-level, resolve to it and halt. > 4. Fail 對于這個算法的第一步，和之前的第5部第7步，導入決議的順序很重要： > For step 1 of this algorithm as well as steps 5 and 7 of the previous one, the order of import resolution is important: * 導入的模塊和靜態擴展從底部到頭部檢查，第一個匹配的被采用 * 在一個給定模塊，類型從頭至尾檢查 * 對于導入，如果名字相同則為匹配 * 對于靜態擴展（第6.3節），如果名字相同并且第一個參數統一（第3.5節）則為匹配。在一個給定類型中被用作靜態擴展的字段從頭至尾進行檢查。 > * Imported modules and static extensions are checked from bottom to top with the ?rst match being picked. > * Within a given module, types are checked from top to bottom. > * For imports, a match is made if the name equals. > * For static extensions (6.3), a match is made if the name equals and the ?rst argument uni?es (3.5). Within a given type being used as static extension, the ?elds are checked from top to bottom.