第十五章 疯狂Caché 错误处理（一）

第十五章 Caché 错误处理

在发生错误时管理Caché 的行为称为错误处理或错误处理。错误处理执行以下一个或多个功能：

• 更正导致错误的条件
• 执行某些操作，允许在出现错误的情况下继续执行
• 转移执行流程
• 记录有关错误的信息

重要提示：CachéObjectScript错误处理的首选机制是try-catch机制。如果要使用传统的错误处理，则首选ETRAP。

/// d ##class(PHA.TEST.ObjectScript).TestCatch()
ClassMethod TestCatch(b)
{
    s t1 = $p($zts,",",2)
    
    f i = 1:1:100000 d
    .d ..TestCatch1()
    s t2= $p($zts,",",2)
    w t2-t1,!
    
    
    s t1 = $p($zts,",",2)
    
    f i = 1:1:100000 d
    .d ..TestCatch2()
    s t3= $p($zts,",",2)
    w t3-t1,!
}

/// d ##class(PHA.TEST.ObjectScript).TestCatch1()
ClassMethod TestCatch1()
{
    try{
        s a =a/0
    }catch{
        s a= "异常！"
    }
}

/// d ##class(PHA.TEST.ObjectScript).TestCatch2()
ClassMethod TestCatch2()
{
    s $zt="ErrTestCatch2"
    s a =a/0
ErrTestCatch2
    s a= "异常！"
}

经过测试$zt和try-catch机制差别不大。

DHC-APP>d ##class(PHA.TEST.ObjectScript).TestCatch()
7.393
7.577

TRY-CATCH机制

Caché支持用于处理错误的try-catch机制。使用此机制，可以建立分隔的代码块，每个代码块称为一个try块；如果在try块期间发生错误，控制权将传递给try块的关联catch块，该块包含用于处理异常的代码。TRY块还可以包括抛出命令；这些命令中的每个命令都显式地从TRY块内发出异常，并将执行转移到CATCH块。

要以最基本的形式使用此机制，请在ObjectScript代码中包括一个try块。如果此块内发生异常，则执行关联CATCH块内的代码。try-catch块的形式为：

 TRY {
      protected statements
 } CATCH [ErrorHandle] {
      error statements
 }
 further statements

• 其中：try命令标识用大括号括起来的ObjectScript代码语句块。Try不接受任何参数。此代码块是用于结构化异常处理的受保护代码。如果try块内发生异常，则Caché设置异常属性(oref.Name、oref.Code、oref.Data和oref.Location)、$ZERROR和$ECODE，然后将执行转移到由catch命令标识的异常处理程序。这称为抛出异常。
• 受保护的语句是属于正常执行的ObjectScript语句。(这些可以包括对抛出命令的调用。此方案将在下一节中介绍。)
• catch命令定义异常处理程序，该异常处理程序是当try块中发生异常时要执行的代码块
• ErrorHandle变量是异常对象的句柄。这可以是Caché为响应运行时错误而生成的异常对象，也可以是通过调用Throw命令显式发出的异常对象(将在下一节中介绍)。
• 错误语句是在出现异常时调用的ObjectScript语句。
• 其他语句是ObjectScript语句，如果没有异常，则跟随受保护语句的执行；如果存在异常且控制传递到CATCH块之外，则跟随错误语句的执行。

根据受保护语句执行期间的事件，会发生以下事件之一：

• 如果没有发生错误，则继续执行出现在CATCH块之外的其他语句。
• 如果确实发生错误，则控制传递到CATCH块并执行ERROR语句。然后，执行取决于CATCH块的内容：
  • 如果CATCH块包含THROW或GOTO命令，则控制直接转到指定位置。
  • 如果CATCH块不包含THROW或GOTO命令，则控制从CATCH块传出，并继续执行其他语句。

使用 THROW 和 TRY-CATCH

当发生运行时错误时，Caché会发出隐式异常。要发出显式异常，可以使用Throw命令。Throw命令将执行从TRY块转移到CATCH异常处理程序。

Throw命令的语法为：

THROW expression

其中，expression 是从%Exception.AbstractException类继承的类的实例，Caché提供该类用于异常处理。

带有抛出的try/catch块的形式为：

 TRY {
      protected statements
      THROW expression
      protected statements
 }
 CATCH exception {
      error statements
 }
 further statements

其中，Throw命令显式地发出异常。try-catch块的其他元素如上一节所述。

抛出的效果取决于抛出发生的位置和抛出的参数：

• TRY块内的引发会将控制权传递给CATCH块。
• CATCH块内的抛出将控制向上传递到执行堆栈到下一个错误处理程序。如果异常是%Exception.SystemException对象，则下一个错误处理程序可以是任何类型(Catch或传统型)；否则必须有一个Catch来处理异常，否则将抛出错误。

如果由于带有参数的引发而将控制传递到CATCH块，则ErrorHandle将包含该参数的值。如果由于系统错误而将控制传递到CATCH块，则ErrorHandle是%Exception.SystemException对象。如果未指定ErrorHandle，则不会指示控制传递到CATCH块的原因。

例如，假设有将两个数字相除的代码：

div(num,div) public {   //d div^PHA.MOB.TEST(1,2)
 TRY {
  SET ans=num/div
  w ans,!
 } CATCH errobj {
     b
  IF errobj.Name="" { SET ans=0 }
  ELSE { THROW errobj }
 }
 QUIT ans

DHC-APP>d div^PHA.MOB.TEST(1,0)
 
  b
  ^
div+5^PHA.MOB.TEST
DHC-APP 2d1>w errobj
1@%Exception.SystemException
DHC-APP 2d1>zw errobj
errobj=