Oracle PL/SQL空值比较异常：为何输出ABC而非预期的Not ABC？

核心原因：Oracle的三值逻辑特性 #

在PL/SQL（以及SQL）中，布尔判断遵循三值逻辑：除了TRUE和FALSE，还有第三种状态UNKNOWN。当比较操作中涉及NULL时，结果必然是UNKNOWN——因为NULL代表“未知的、不存在的值”，数据库无法判定一个未知值是否等于/不等于某个确定值。

你的代码里，l_tmp变量未赋值，默认值为NULL。执行l_tmp <> 'ABC'时，这个条件的结果是UNKNOWN，而非你预期的TRUE。

IF语句的执行规则 #

PL/SQL的IF语句仅会在条件结果为**TRUE**时执行THEN分支；如果条件结果是FALSE或UNKNOWN，都会进入ELSE分支。这就是为什么代码最终输出了ABC。

修正方案 #

如果你想实现“当l_tmp不是ABC（包括NULL情况）时输出Not ABC”，可以用以下两种方式调整：

方案1：明确判断NULL状态

DECLARE
    l_tmp VARCHAR2(3);
BEGIN
    IF l_tmp IS NOT NULL AND l_tmp <> 'ABC' THEN
        dbms_output.put_line('Not ABC');
    ELSE
        dbms_output.put_line('ABC');
    END IF;
END;

方案2：用NVL函数替换NULL为确定值

DECLARE
    l_tmp VARCHAR2(3);
BEGIN
    IF NVL(l_tmp, '') <> 'ABC' THEN
        dbms_output.put_line('Not ABC');
    ELSE
        dbms_output.put_line('ABC');
    END IF;
END;

内容的提问来源于stack exchange，提问作者PTK