PL/SQL静态条件WHERE子句合并写法是否存在未覆盖场景？

结论 #

在你给出的前置条件「所有关联字段均为非空」、xx_func仅返回Y/N两个值的前提下，改写后的代码逻辑和原IF分支写法完全等价，不存在无法覆盖的场景。

逻辑等价性验证 #

我们可以分两种场景对比新旧写法的过滤规则：

• 当l_optin = 'Y'时：
  原写法过滤规则：仅校验xx1.t_col2 = xx2.t_col2
  改写后OR条件中的l_optin = 'Y'分支为真，整个括号内的条件整体为真，最终过滤规则和原写法完全一致
• 当l_optin = 'N'时：
  原写法过滤规则：需要同时校验xx1.t_col2 = xx2.t_col2和xx1.t_col3 = xx2.t_col3
  改写后OR条件中的l_optin = 'Y'分支为假，必须满足xx1.t_col3 = xx2.t_col3 and l_optin = 'N'子句为真，也就是必须满足xx1.t_col3 = xx2.t_col3，最终过滤规则和原写法完全一致

常见顾虑说明 #

你同事的担忧大概率来自这类OR条件的常见坑点，但在你的场景下都不成立：

1. 空值问题：如果t_col3允许空值，xx1.t_col3 = xx2.t_col3在两边均为空时会返回假，导致匹配结果不符，但你已经明确涉及字段均为非空，所以该问题不存在
2. 变量值超出预期：如果l_optin可能返回Y/N之外的值，会导致OR两个分支都不成立，过滤规则失效，但从xx_func的定义来看，要么查询到结果返回Y，要么触发NO_DATA_FOUND返回N，不会返回其他值，所以该问题也不存在

可选优化写法 #

如果希望进一步提升可读性，也可以改写为CASE WHEN的形式，逻辑完全等价：

AND xx1.t_col3 = CASE WHEN l_optin = 'N' THEN xx2.t_col3 ELSE xx1.t_col3 END

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