SQLite中OR与NULL运算的不对称结果逻辑咨询

这是SQLite的短路求值规则与非布尔值的布尔转换规则共同作用的结果，具体拆解如下：

1. 短路求值（Short-Circuit Evaluation） #

SQLite的OR运算严格遵循短路逻辑：

• 当左侧表达式的布尔判定结果为true时，直接返回左侧的求值结果，不会再计算右侧的NULL
• 只有左侧表达式布尔判定为false时，才会继续计算右侧表达式，此时右侧是NULL，最终结果自然为NULL

2. 非布尔值的布尔转换规则 #

SQLite没有原生布尔类型，会自动将数值、字符串等类型转换为布尔逻辑值：

• 数值类型：0被视为false，所有非0数值（正数、负数均包含）都视为true
• 字符串类型：仅当字符串可被解析为数值0时（比如'0'、'000abc'这类以连续0开头的字符串，SQLite会尝试转换为数值0），才判定为false；其余字符串（比如'789abc'转换后为非0数值）都视为true

对应示例的具体分析 #

数值运算场景 #

SELECT 1 OR NULL; -- 结果：1

1被判定为true，触发短路求值，直接返回1，不再处理右侧的NULL

SELECT 0 OR NULL; -- 结果：NULL

0被判定为false，继续计算右侧的NULL，最终返回NULL

字符串运算场景 #

SELECT '789abc' OR NULL; -- 结果：1

'789abc'被转换为数值789（非0），判定为true，触发短路返回1

SELECT '000abc' OR NULL; -- 结果：NULL

'000abc'被转换为数值0，判定为false，继续计算右侧NULL，最终返回NULL

额外说明 #

无论表达式顺序（如NULL OR 1结果仍为1，NULL OR 0结果仍为NULL），还是叠加同类表达式（如1 OR NULL OR NULL结果还是1），本质都是短路求值和类型转换规则的一致性在起作用。

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