本节描述了一些比之前文章中描述的语言结构更不基础的构造。它们可以在 stdlib.fc 中定义,但这样会减少 FunC 优化器的操作空间。
抛出异常
可以通过条件原语 throw_if
、throw_unless
和无条件的 throw
来抛出异常。第一个参数是错误代码;第二个是条件(throw
只有一个参数)。这些原语有参数化版本 throw_arg_if
、throw_arg_unless
和 throw_arg
。第一个参数是任何类型的异常参数;第二个是错误代码;第三个是条件(throw_arg
只有两个参数)。