Haxe允许捕获值，使用 try/catch 语法： > Haxe allows catching values using its try/catch syntax: ~~~ try try-expr catch(varName1:Type1) catch-expr-1 catch(varName2:Type2) catch-expr-2 ~~~ 如果在运行时try表达式引发一个 throw（第5.22节），它可以被任何后续的 catch块捕捉到。这些块由下面部分组成： > If during runtime the evaluation of try-expression causes a throw(5.22),it can be caught by any subsequent catch block. These blocks consist of * 一个变量名用来保存被抛出的值 * 一个显式的类型注释，决定捕捉哪种类型的值 * 这种情况下要执行的表达式 > * a variable name which holds the thrown value, > * an explicit type annotation which determines which types of values to catch, and > * the expression to execute in that case. Haxe 允许抛出和捕捉任何类型的值，它不限于继承自一个特定的异常或者错误类的类型。catch块从上至下检查，第一个和抛出的值类型兼容的被采用。 > Haxe allows throwing and catching any kind of value, it is not limited to types inheriting from a specific exception or error class. Catch blocks are checked from top to bottom with the first one whose type is compatible with the thrown value being picked. 这个过程有许多和编译时的合一（第3.5节）行为的相似之处。然而，因为检查必须在运行时进行，所以有几个限制： > This process has many similarities to the compile-time unification (3.5) behavior. However, since the check has to be done at runtime there are several restrictions: * 类型必须在运行时存在：类实例（第2.3节），enum实例（第2.4节），抽象核心类型（第2.8.7节）和 动态类型（第2.7节）。 * 类型参数必须只能为 Dynamic（第2.7节）。 > * The type must exist at runtime: Class instances (2.3), enum instances (2.4), abstract core types (2.8.7) and Dynamic (2.7). > * Type parameters can only be Dynamic (2.7).