Question

将一个子类变量赋值给层次树中较高的类变量是合法的。将一个超类变量直接赋值给一个子类变量则是非法的。然而，如果超类句柄引用了指定子类的句柄，那么将一个超类句柄赋值给一个子类变量则是合法的。

为了检查赋值是否合法，需要使用动态强制类型转换函数$cast（参见3.15节）。

$cast()的语法如下：

task $cast(singular dest_handle, singular source_handle);

或者

function int $cast(singular dest_handle, singular source_handle);

当与对象句柄一起使用的时候，$cast()检查source_expr的层次树（super和子类）以便确定它是否包含了dest_handle的类。如果包含的话，$cast()进行赋值。否则会引起错误，有关错误的处理参见3.15节。