CockroachDB 中统计信息构建器处理虚拟列时的断言失败问题分析

在 CockroachDB 24.1.11 版本中，SQL 优化器在处理包含虚拟列（computed column）的查询时，统计信息构建器（statistics builder）模块出现了一个断言失败的问题。这个问题主要发生在构建查询执行计划的过程中，特别是当优化器尝试为包含虚拟列的表计算统计信息时。

问题的核心在于统计信息构建器无法找到虚拟列的计算表达式。在 CockroachDB 的实现中，统计信息构建器会遍历查询中涉及的所有列，对于虚拟列，它需要获取这些列的计算表达式以便正确估算统计信息。当系统无法找到某个虚拟列的计算表达式时，就会触发断言失败。

从技术实现角度来看，这个问题出现在 statistics_builder.go 文件的第 5146 行，具体是在 factorOutVirtualCols 方法中。该方法负责处理虚拟列，将它们从统计信息计算中分离出来。当方法遍历列集合时，对于每个虚拟列，都会尝试获取其计算表达式。如果表达式不存在，就会抛出错误。

这个问题已经被确认为重复问题，并在 CockroachDB 24.1.17 版本中通过相关修复得到了解决。修复的核心思路是确保在处理虚拟列时，统计信息构建器能够正确获取所有必要的计算表达式信息，或者在表达式缺失时能够优雅地处理而不是直接断言失败。

对于数据库使用者来说，这类问题通常表现为查询执行时的内部错误，特别是在涉及包含计算列的表操作时。虽然最终用户不会直接看到统计信息构建器的内部错误，但这种问题会影响查询优化器的决策质量，可能导致生成次优的执行计划。

从数据库内核开发的角度来看，这个案例展示了统计信息模块与查询优化器其他组件之间的紧密耦合关系。统计信息的准确性直接影响到查询计划的生成质量，因此这类基础组件的稳定性至关重要。同时，这也体现了在数据库系统中处理虚拟列这类高级特性时的复杂性，需要各个组件协同工作才能确保功能的正确性。