ABAP 里的 IS BOUND, IS NOT INITIAL 和 IS ASSIGNED 这组关键字，如果平时不留心，很容易理解地似是而非。今天我们就来说一说它们的区别。

IS BOUND

It checks whether a reference variable contains a valid reference. A data reference variable that contains a stack reference, on the other hand, can become invalid even if the reference data object is removed from the stack.

IS INITIAL

checks whether the operand operand is initial. The expression is true, if the operand contains its type-friendly initial value.

IS ASSIGNED

checks whether a memory area is assigned to a field symbol. The expression is true if the field symbol points to a memory area.

简单翻译成中文：

IS BOUND：用于检查一个引用变量是否指向了一个有效的引用。帮助文档特意提到，如果一个引用指向的是一个栈上申请的变量，那么这个变量会随栈的销毁而被销毁，因此指向其的引用不再有效。

IS INITIAL: 用于检查一个变量的值是否为其数据类型对应的初始值。

比如我定义一个引用变量但不对其赋值，则 IS INITIAL 判断一定为 abap_true.

IS ASSIGNED: 对于检测的 field symbol，该关键字判断该 field symbol 是否分配有内存区域。

这三个关键字交织在一起，就形成了一些有趣的排列组合。

比如，是否存在 NOT INITIAL, 但同时也 NOT BOUND 的变量？是否存在同时满足 IS INITIAL, NOT BOUND 和 IS ASSIGNED 的 field symbol? 下面我们用一个简单的 ABAP 报表来研究这些排列组合。

完整的测试代码：

同时满足 NOT INITIAL 和 NOT BOUND 的引用变量

下图 main 方法里，第 15 行在栈上定义了一个整型变量 number，将其引用赋给类的成员变量 dref. 待 main 方法执行之后，number 所生存的栈帧被销毁，因此 dref 指向的引用不再有效，调试器里显示为：FREED STACK.

现在 dref 并不是未指向任何引用，而是指向一个无效的引用，因此 dref 同时满足 IS NOT INITIAL 和 IS NOT BOUND.

IS ASSIGNED

一个 field symbol 定义之后，如果不为其分配内存区域，则 IS ASSIGNED 返回 abap_false.

下面的代码，如果注释掉第 27 行的 IF 条件：

运行时会抛出 GETWA_NOT_ASSIGNED 错误：Field symbol has not yet been assigned.

也就是说，无论是读取 field symbol 具体的内容，还是检测其内容是否为初始值，为了避免 GETWA_NOT_ASSIGNED 错误，我们必须在 IS INITIAL 判断之前，使用 IS ASSIGNED 判断 field symbol 是否被分配了内存区域。

是否存在一个 NOT BOUND, IS INITIAL 但是却 IS ASSIGNED 的 field symbol？

答案是肯定的。

上面代码第 37 行定义的名为<any2>的 field symbol，在第 45 行的 CLEAR 操作完成之后，就同时满足这三个条件。这个 field symbol 被分配的内存区域，内容并不是整型数本身，而是一个指向整型变量的引用。

该报表打印输出如下：

第 40 行代码通过 ASSIGN 分配给<any2>的内存区域并未通过 UNASSIGN 释放，因此<any2> IS ASSIGNED 始终返回 abap_true. 另一方面，这块内存区域虽然还未释放，但里面存放的引用变量已经不再指向任何一个有效的变量了，因此 IS BOUND 返回 abap_false. 最后，因为<any2>施加了 CLEAR 操作, 又回到了初始化状态，所以 IS INITIAL 返回 abap_true.

一句话总结，就是：判断引用变量是否有效，用 IS BOUND; 判断变量是否处于初始状态，用 IS INITIAL; 判断 field symbol 是否分配有内存区域，用 IS ASSIGNED. 在对 field symbol 进行各种操作之前，先调用 IS ASSIGNED 进行判断，以避免 GETWA_NOT_ASSIGNED 错误。

感谢阅读。