跳到主要内容

编译指令

这些是以 # 开始的关键字，指示编译器执行某些动作、检查或更改参数。

这些指令只能在最外层使用（不在任何函数定义内部）。

#include​

#include 指令允许包含另一个 FunC 源代码文件，该文件将代替 include 处进行解析。

语法为 #include "filename.fc";。文件会自动检查是否重复包含，且默认情况下，尝试多次包含同一文件将被忽略，并在详细级别不低于 2 时发出警告。

如果在解析包含的文件期间发生错误，此外，将打印包含的堆栈，其中包含链中每个包含的文件的位置。

#pragma​

#pragma 指令用于向编译器提供超出语言本身所传达的附加信息。

#pragma version​

版本编译指令用于在编译文件时强制使用特定版本的 FunC 编译器。

版本以 semver 格式指定，即 a.b.c，其中 a 是主版本号，b 是次版本号，c 是修订号。

开发者可用的比较运算符有几种：

  • a.b.c 或 =a.b.c — 要求编译器版本正好为 a.b.c
  • >a.b.c — 要求编译器版本高于 a.b.c
    • >=a.b.c — 要求编译器版本高于或等于 a.b.c
  • <a.b.c — 要求编译器版本低于 a.b.c
    • <=a.b.c — 要求编译器版本低于或等于 a.b.c
  • ^a.b.c — 要求主编译器版本等于 'a' 部分且次版本不低于 'b' 部分
    • ^a.b — 要求主编译器版本等于 a 部分且次版本不低于 b 部分
    • ^a — 要求主编译器版本不低于 a 部分

对于其他比较运算符（=, >, >=, <, <=）简略格式假定省略部分为零，即：

  • >a.b 等同于 >a.b.0（因此不匹配 a.b.0 版本）
  • <=a 等同于 <=a.0.0（因此不匹配 a.0.1 版本）
  • ^a.b.0 不 等同于 ^a.b

例如，^a.1.2 匹配 a.1.3 但不匹配 a.2.3 或 a.1.0，然而，^a.1 匹配它们所有。

可以多次使用此指令；编译器版本必须满足所有提供的条件。

#pragma not-version​

此编译指令的语法与版本编译指令相同，但如果条件满足则会失败。

例如，它可以用于将已知有问题的特定版本列入黑名单。

#pragma allow-post-modification​

funC v0.4.1

默认情况下，禁止在同一表达式中先使用变量后修改它。换句话说，表达式 (x, y) = (ds, ds~load_uint(8)) 无法编译，而 (x, y) = (ds~load_uint(8), ds) 是有效的。

可以通过 #pragma allow-post-modification 覆盖此规则，允许在批量赋值和函数调用中在使用后修改变量；如常规，子表达式将从左到右计算：(x, y) = (ds, ds~load_bits(8)) 将导致 x 包含初始 ds；f(ds, ds~load_bits(8)) f 的第一个参数将包含初始 ds，第二个参数 - ds 的 8 位。

#pragma allow-post-modification 仅适用于编译指令之后的代码。

#pragma compute-asm-ltr​

funC v0.4.1

Asm 声明可以覆盖参数的顺序，例如在以下表达式中

idict_set_ref(ds~load_dict(), ds~load_uint(8), ds~load_uint(256), ds~load_ref())

解析顺序将是：load_ref()、load_uint(256)、load_dict() 和 load_uint(8)，由于以下 asm 声明（注意 asm(value index dict key_len)）：

cell idict_set_ref(cell dict, int key_len, int index, cell value) asm(value index dict key_len) "DICTISETREF";

可以通过 #pragma compute-asm-ltr 更改为严格的从左到右的计算顺序

因此，在

#pragma compute-asm-ltr
...
idict_set_ref(ds~load_dict(), ds~load_uint(8), ds~load_uint(256), ds~load_ref());

中解析顺序将是 load_dict()、load_uint(8)、load_uint(256)、load_ref()，所有 asm 排列将在计算之后发生。

#pragma compute-asm-ltr 仅适用于编译指令之后的代码。