Firebird 2.5.9表与可选择存储过程关联时传空参数报错原因问询

问题原因 #

你遇到的报错是Firebird 2.5.x版本的查询优化器执行逻辑导致的，核心是过滤条件的执行顺序落后于存储过程参数的计算顺序：

• 常规认知的执行顺序是：先读取T1表数据 → 应用WHERE T1.STARTDATE IS NOT NULL过滤掉空值行 → 用剩下行的STARTDATE作为参数调用存储过程做关联。
• 但Firebird 2.5的优化器在处理带表字段参数的关联存储过程时，会优先计算JOIN侧的存储过程入参，此时还没有应用WHERE子句的过滤规则，T1中STARTDATE为NULL的行也会被传入存储过程，而你声明的存储过程入参是非空的，直接触发参数校验约束报错。

不同写法的差异说明 #

1. 第二种常量传参的写法无报错
   因为存储过程的入参是写死的固定日期值，不需要从T1表读取字段值，全程不会出现NULL入参，所以不会触发校验错误。
2. 第三种子查询写法可正常执行
   Firebird 2.5的优化器不会将子查询内的过滤条件下推到外层关联逻辑中，会优先执行子查询拿到所有STARTDATE非空的行，再用这些行的字段值调用存储过程，自然不会传入NULL值。

补充说明 #

这个优化逻辑的问题在Firebird 3.0及以上版本已经被修复，高版本中优化器会自动判断过滤条件可以减少入参范围，会先执行过滤再计算存储过程参数，你的第一种写法在高版本中可以正常执行。
如果不想使用子查询，Firebird 2.5环境下也可以把非空判断挪到JOIN的关联条件中，写法如下：

SELECT *
FROM T1
LEFT JOIN STORED_PROC(T1.STARTDATE) ON 1=1 AND T1.STARTDATE IS NOT NULL
WHERE T1.STARTDATE IS NOT NULL

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