学习的好地方 - 阿里数据库内核组月报站点-CSDN博客

隐式转换的话题，在关系型数据库中很常见，简单来讲，他是由于检索条件左右值类型的不同导致Oracle内部会自动做一些类型转换，以满足检索需求，他的潜在隐患，就是这些自动的转换，要么使用的是函数操作，要么有些特殊的逻辑处理，就有可能导致字段索引失效，进而影响性能。

关于Oracle的隐式转换，曾经写过的一个案例《一次有意思的错选执行计划问题定位》，结论就是应用程序中对查询条件变量使用了OracleDbType.NVarchar2的定义，但实际字段类型是VARCHAR2，即where VARCHAR2 = NVARCHAR2，针对这种情况，Oracle需要使用SYS_OP_C2C函数在NCHAR和CHAR类型之间做隐式转换，因此导致无法使用索引。

碰巧前段时间，看见了yangyidba公众号的一篇文章《聊聊隐式转换》，介绍了些MySQL中隐式转换的案例，朋友们可以参考。

从中除了学习案例之外，还有一点收获，就是发现了阿里云RDS-数据库内核组的月报站点，http://mysql.taobao.org/monthly/，其中按月归档记录了一些阿里同学在数据库方面的最佳实践、特性分析、应用案例等，曾经和阿里近在咫尺，虽然无缘牵手，但不妨碍向他们学习，这个站点，就是非常好的学习途径，相信感兴趣的朋友们，都会从中，学到一些知识。

下文为“MySQL隐式转换的案例”，言简意赅，从截图水印看，是阿里大名鼎鼎的“丁奇”，原文参考：

http://mysql.taobao.org/monthly/2017/12/06/

MySQL · 最佳实践 · 一个“异常”的索引选择

背景

在处理一个用户性能问题的时候, 发现有一个全表扫描语句, 上下文如下:

这是很奇怪的,

Tips: MySQL在执行条件判断时,若参数类型与字段类型不匹配, 则会作类型转换, 符合转换规则的, 转换完成后可以利用索引

而当参数为字符串,字段类型为整型时, 这个转换是成立的, 比如这个case.

因此我们有必要查一下是什么原因.

分析

在优化器执行流程中, 要选择索引, 需要先判断where的部分的条件操作能否使用索引.经典的有,

Tips: 在字段上作函数操作,是无法使用索引的. 比如 where c+1 = 10

因此怀疑是在判断过程出了什么岔子.

调用栈 mysql_select->mysql_execute_select->JOIN::optimize->get_quick_record_count->SQL_SELECT::test_quick_select->get_mm_tree->get_full_func_mm_tree->get_func_mm_tree

一路下来都是预期内调用,直到 get_func_mm_tree返回了 NULL, 表示这个语句无法使用索引.

然后我们发现了这样一段代码,

简单说,就是在IN的入口有一个判断, 如果in中的字段类型不兼容, 则认为不可使用索引. 而这个arg_types_compatible 的赋值逻辑是:if (type_cnt == 1) arg_types_compatible = TRUE; 也就是说,当IN列表中出现超过一个字段类型时, 就认为类型不兼容.

这个本来是一个优化操作, 提前判断避免额外的后续判断.

对照实验

至此,我们就清楚, 问题来自于IN和列表中的类型问题. 以下几个对照试验可以作为验证:

where id in ('1', '1') 可以使用索引

where id = '1' or id = 1 可以使用索引

是不是bug?

如果把他当作bug处理,只需要在get_func_mm_tree函数中去掉上述最后一个图中的判断逻辑即可, 有兴趣的读者可以自己注释后验证.

前面的用户场景使用的是5.6,作为验证,我们测试了5.7版本,结果发现,5.7中可以相同的语句序列使用此索引!

翻了代码发现果然是去掉了这个判断.

但有趣的是, 官方并不是为了解决这个问题而作的修改, 实际上是在支持(a,b) in (X, Y)这样的语法时,由于这个语句就不能要求XY必须相同类型,因此去掉了这个判断, “阴差阳错”把这个问题改过来了.

翻了下commit log, 发现在5.7.3修复的, 因5.7.3之后,文章开头的这个例子的优化器结果就变了.

所以我们看到, 实际上即使是小版本, 也是可能改变程序行为的.