PL/SQL集合下标越界访问会触发ORA-06533、ORA-01403或ORA-06532异常，必须用EXISTS预判下标存在性；EXISTS零开销、无副作用，是唯一安全方式，不可用COUNT=0或IS NULL替代。
PL/SQL集合下标越界时直接访问会报错
在pl/sql中对varchar2索引的关联数组（index by varchar2）或嵌套表（nested table）、可变数组（varray）使用不存在的下标访问元素，会触发运行时异常：ora-06533: subscript beyond count（对嵌套表/可变数组）或ora-01403: no data found（某些关联数组场景），更常见的是ora-06532: subscript outside of limit。这些错误无法靠select ... into的no_data_found机制捕获，必须主动防御。
用EXISTS判断下标是否存在最安全
EXISTS是PL/SQL集合唯一的、专为下标存在性设计的布尔检查函数，它不访问元素值，只查内部哈希/结构是否记录了该下标，因此零开销、无副作用、不会触发任何异常。
实操建议：
- 对所有动态构造或外部传入下标的集合访问，必须先调用
collection.EXISTS(index) - 不要用
collection.COUNT = 0代替——空集合和缺失下标是两回事；COUNT只反映当前元素个数，不表示某一下标是否存在 - 对
INDEX BY VARCHAR2类型，EXISTS是唯一可靠方式；数值型下标（如INDEX BY PLS_INTEGER）也不能依赖LAST/FIRST范围，因为中间可能有空洞
示例：
DECLARE
TYPE t_map IS TABLE OF NUMBER INDEX BY VARCHAR2(10);
l_map t_map;
BEGIN
l_map('A') := 100;
l_map('C') := 300;
IF l_map.EXISTS('B') THEN
DBMS_OUTPUT.PUT_LINE(l_map('B'));
ELSE
DBMS_OUTPUT.PUT_LINE('Key B not present');
END IF;
END;
EXISTS与IS NULL不能混用
常见误区：以为“访问不到就是NULL”，于是写IF collection(idx) IS NULL THEN ...。这完全错误——下标不存在时根本不会执行到IS NULL判断，而是在collection(idx)求值阶段就抛出异常。
正确逻辑链必须是：
- 先
EXISTS→ 确认下标存在 - 再访问值 → 此时才可能为
NULL（合法值） - 若需区分“下标不存在”和“下标存在但值为
NULL”，必须用两个判断
比如：
IF l_map.EXISTS('X') THEN
IF l_map('X') IS NULL THEN
DBMS_OUTPUT.PUT_LINE('Key X exists, value is NULL');
ELSE
DBMS_OUTPUT.PUT_LINE('Key X exists, value is ' || l_map('X'));
END IF;
ELSE
DBMS_OUTPUT.PUT_LINE('Key X does not exist');
END IF;
嵌套表和VARRAY的EXISTS行为差异
嵌套表（NESTED TABLE）和可变数组（VARRAY）也支持EXISTS，但语义稍不同：
- 对嵌套表：
EXISTS(n)返回TRUE仅当第n个位置已被初始化（即调用过EXTEND并赋值），即使该位置值为NULL - 对
VARRAY：EXISTS(n)只在1 范围内返回<code>TRUE；超出COUNT但未超LIMIT的位置，EXISTS仍返回FALSE - 两者都不支持负数下标或非整数下标——这类访问直接报错，
EXISTS也无法挽救
所以，对数值下标集合，EXISTS仍是首选，但要清楚它的边界由COUNT（嵌套表）或显式EXTEND（VARRAY）控制，不是自动连续的。
真正容易被忽略的是：关联数组的下标比较区分大小写，且空格敏感；EXISTS('KEY') 和 EXISTS('key') 是两个独立检查——这点在拼接字符串生成下标时极易踩坑。
