深入理解 MySQL 8 C++ 源码：SELECT MOD(MONTH(NOW()), 2) 的函数执行过程

MySQL 作为最流行的关系型数据库之一，其内部实现机制一直是开发者探索的热点。本文将以一条简单的 SQL 查询 SELECT MOD(MONTH(NOW()), 2) 为例，深入分析 MySQL 8 源码中内置函数 MOD、MONTH 和 NOW 的执行过程，揭示其底层实现逻辑。

一、SQL 语句的解析与表达式树构建

当 MySQL 接收到 SQL 查询时，首先会通过 解析器 将文本转化为内部的表达式树结构。对于 MOD(MONTH(NOW()), 2)，解析过程如下：

NOW()：
被解析为 Item_func_now 类的实例，负责返回当前时间（datetime 类型）。
MONTH(NOW())：
被解析为 Item_func_month 类的实例，接受 NOW() 的结果作为输入，提取月份值（整数类型）。
MOD(month_value, 2)：
被解析为 Item_func_mod 类的实例，对 MONTH() 的结果和常量 2 进行取模运算。

最终，这三个函数会形成一个嵌套的表达式树：
Item_func_mod(Item_func_month(Item_func_now()), 2)。

二、关键源码文件与类定义

1. `NOW()` 函数的实现

声明文件：sql/item_timefunc.h
类名：Item_func_now（或其派生类 Item_func_now_local/Item_func_now_utc）。
实现文件：sql/item_timefunc.cc
核心方法 Item_func_now::val_datetime() 负责获取当前时间。

2. `MONTH()` 函数的实现

声明文件：sql/item_timefunc.h
类名：Item_func_month。

实现文件：sql/item_timefunc.cc
核心方法 Item_func_month::val_int() 从日期中提取月份：

longlong Item_func_month::val_int() {
  MYSQL_TIME ltime;
  if (get_arg0_date(&ltime, TIME_FUZZY_DATE)) return 0;
  return ltime.month; // 返回月份（1-12）
}

3. `MOD()` 函数的实现

声明文件：sql/item_func.h
类名：Item_func_mod。

实现文件：sql/item_func.cc
核心方法 Item_func_mod::int_op() 处理整数取模运算：

longlong Item_func_mod::int_op() {
  longlong val1 = args[0]->val_int(); // 计算 MONTH(NOW())
  longlong val2 = args[1]->val_int(); // 常量 2
  if (val2 == 0) return 0; // 避免除零错误
  return val1 % val2;
}

三、执行流程详解

1. 解析阶段

语法解析器（sql/sql_yacc.yy）将 SQL 字符串转换为表达式树。
优化器确定表达式类型（例如 Item::INT_RESULT）。

2. 执行阶段

调用 NOW()：
Item_func_now::val_datetime() 获取当前时间（例如 2023-10-05 12:34:56）。
调用 MONTH()：
Item_func_month::val_int() 从 NOW() 的结果中提取月份值（例如 10）。
调用 MOD()：
Item_func_mod::int_op() 对月份值 10 和 2 取模，最终结果为 0。

四、源码定位技巧

由于代码行号可能随版本变化，建议通过以下方式快速定位关键代码：

GitHub 搜索：
访问 MySQL 8.0 源码仓库，搜索 Item_func_mod 或 Item_func_month。

本地代码搜索：

# 在 MySQL 源码根目录执行：
grep -rn 'Item_func_mod' sql/
grep -rn 'Item_func_month' sql/

五、关键设计思想

表达式树模型：
MySQL 通过嵌套的 Item 类对象（如 Item_func_mod）表示复杂表达式，支持递归求值。
类型推导与优化：
优化器在预处理阶段确定表达式的结果类型（如整数、浮点数），避免运行时类型转换开销。
错误处理：
内置函数需处理边界条件（如 MOD 的除零错误），返回合理默认值而非抛出异常，确保查询稳定性。

六、总结

通过分析 SELECT MOD(MONTH(NOW()), 2) 的执行过程，我们可以深入理解 MySQL 的以下机制：

内置函数的实现：通过 Item_func_* 类封装逻辑。
表达式求值：递归调用 val_int() 或 val_datetime() 方法。
源码结构：时间函数在 item_timefunc.*，数学函数在 item_func.*。

掌握这些底层细节，不仅能帮助开发者调试复杂 SQL，还能为贡献 MySQL 源码或定制内置函数奠定基础。

##MOD函数 gdb调试堆栈

#0  Item_func_mod::int_op (this=0x746cd800e280) at /home/yym/mysql8/mysql-8.1.0/sql/item_func.cc:2616
#1  0x00005591538eda46 in Item_func_numhybrid::val_int (this=0x746cd800e280) at /home/yym/mysql8/mysql-8.1.0/sql/item_func.cc:1740
#2  0x00005591538600cb in Item::send (this=0x746cd800e280, protocol=0x746cd80052c0, buffer=0x746de10f5e20) at /home/yym/mysql8/mysql-8.1.0/sql/item.cc:7483
#3  0x00005591532bf8a0 in THD::send_result_set_row (this=0x746cd8001050, row_items=...) at /home/yym/mysql8/mysql-8.1.0/sql/sql_class.cc:2881
#4  0x0000559153b1ce85 in Query_result_send::send_data (this=0x746cd8010498, thd=0x746cd8001050, items=...) at /home/yym/mysql8/mysql-8.1.0/sql/query_result.cc:102
#5  0x0000559153513ef0 in Query_expression::ExecuteIteratorQuery (this=0x746cd800db40, thd=0x746cd8001050) at /home/yym/mysql8/mysql-8.1.0/sql/sql_union.cc:1785
#6  0x0000559153514181 in Query_expression::execute (this=0x746cd800db40, thd=0x746cd8001050) at /home/yym/mysql8/mysql-8.1.0/sql/sql_union.cc:1823
#7  0x0000559153454cf6 in Sql_cmd_dml::execute_inner (this=0x746cd8010460, thd=0x746cd8001050) at /home/yym/mysql8/mysql-8.1.0/sql/sql_select.cc:1022
#8  0x0000559153454067 in Sql_cmd_dml::execute (this=0x746cd8010460, thd=0x746cd8001050) at /home/yym/mysql8/mysql-8.1.0/sql/sql_select.cc:793
#9  0x00005591533c6841 in mysql_execute_command (thd=0x746cd8001050, first_level=true) at /home/yym/mysql8/mysql-8.1.0/sql/sql_parse.cc:4797
#10 0x00005591533c8cb3 in dispatch_sql_command (thd=0x746cd8001050, parser_state=0x746de10f79f0) at /home/yym/mysql8/mysql-8.1.0/sql/sql_parse.cc:5447
#11 0x00005591533be0d7 in dispatch_command (thd=0x746cd8001050, com_data=0x746de10f8340, command=COM_QUERY) at /home/yym/mysql8/mysql-8.1.0/sql/sql_parse.cc:2112
#12 0x00005591533bbf77 in do_command (thd=0x746cd8001050) at /home/yym/mysql8/mysql-8.1.0/sql/sql_parse.cc:1459
#13 0x0000559153613835 in handle_connection (arg=0x559198b65f80) at /home/yym/mysql8/mysql-8.1.0/sql/conn_handler/connection_handler_per_thread.cc:303
#14 0x0000559155552bdc in pfs_spawn_thread (arg=0x559198b3ec30) at /home/yym/mysql8/mysql-8.1.0/storage/perfschema/pfs.cc:3043
#15 0x0000746df0e94ac3 in start_thread (arg=<optimized out>) at ./nptl/pthread_create.c:442
#16 0x0000746df0f26850 in clone3 () at ../sysdeps/unix/sysv/linux/x86_64/clone3.S:81

##MONTH函数 gdb调试堆栈

#0  Item_func_now::get_date (this=0x746cec01b6d0, res=0x746de13fbbd0) at /home/yym/mysql8/mysql-8.1.0/sql/item_timefunc.cc:2108
#1  0x00005591539bcb6d in Item_func::get_arg0_date (this=0x746cec01b7c8, ltime=0x746de13fbbd0, fuzzy_date=1) at /home/yym/mysql8/mysql-8.1.0/sql/item_func.h:510
#2  0x00005591539b1ea2 in Item_func_month::val_int (this=0x746cec01b7c8) at /home/yym/mysql8/mysql-8.1.0/sql/item_timefunc.cc:1268
#3  0x00005591538f1fe0 in Item_func_mod::int_op (this=0x746cec01b990) at /home/yym/mysql8/mysql-8.1.0/sql/item_func.cc:2585
#4  0x00005591538eda46 in Item_func_numhybrid::val_int (this=0x746cec01b990) at /home/yym/mysql8/mysql-8.1.0/sql/item_func.cc:1740
#5  0x00005591538600cb in Item::send (this=0x746cec01b990, protocol=0x746cec012d80, buffer=0x746de13fbe20) at /home/yym/mysql8/mysql-8.1.0/sql/item.cc:7483
#6  0x00005591532bf8a0 in THD::send_result_set_row (this=0x746cec000b90, row_items=...) at /home/yym/mysql8/mysql-8.1.0/sql/sql_class.cc:2881
#7  0x0000559153b1ce85 in Query_result_send::send_data (this=0x746cec01dba8, thd=0x746cec000b90, items=...) at /home/yym/mysql8/mysql-8.1.0/sql/query_result.cc:102
#8  0x0000559153513ef0 in Query_expression::ExecuteIteratorQuery (this=0x746cec01b250, thd=0x746cec000b90) at /home/yym/mysql8/mysql-8.1.0/sql/sql_union.cc:1785
#9  0x0000559153514181 in Query_expression::execute (this=0x746cec01b250, thd=0x746cec000b90) at /home/yym/mysql8/mysql-8.1.0/sql/sql_union.cc:1823
#10 0x0000559153454cf6 in Sql_cmd_dml::execute_inner (this=0x746cec01db70, thd=0x746cec000b90) at /home/yym/mysql8/mysql-8.1.0/sql/sql_select.cc:1022
#11 0x0000559153454067 in Sql_cmd_dml::execute (this=0x746cec01db70, thd=0x746cec000b90) at /home/yym/mysql8/mysql-8.1.0/sql/sql_select.cc:793
#12 0x00005591533c6841 in mysql_execute_command (thd=0x746cec000b90, first_level=true) at /home/yym/mysql8/mysql-8.1.0/sql/sql_parse.cc:4797
#13 0x00005591533c8cb3 in dispatch_sql_command (thd=0x746cec000b90, parser_state=0x746de13fd9f0) at /home/yym/mysql8/mysql-8.1.0/sql/sql_parse.cc:5447
#14 0x00005591533be0d7 in dispatch_command (thd=0x746cec000b90, com_data=0x746de13fe340, command=COM_QUERY) at /home/yym/mysql8/mysql-8.1.0/sql/sql_parse.cc:2112
#15 0x00005591533bbf77 in do_command (thd=0x746cec000b90) at /home/yym/mysql8/mysql-8.1.0/sql/sql_parse.cc:1459
#16 0x0000559153613835 in handle_connection (arg=0x559198b68010) at /home/yym/mysql8/mysql-8.1.0/sql/conn_handler/connection_handler_per_thread.cc:303
#17 0x0000559155552bdc in pfs_spawn_thread (arg=0x559198b689e0) at /home/yym/mysql8/mysql-8.1.0/storage/perfschema/pfs.cc:3043
#18 0x0000746df0e94ac3 in start_thread (arg=<optimized out>) at ./nptl/pthread_create.c:442
#19 0x0000746df0f26850 in clone3 () at ../sysdeps/unix/sysv/linux/x86_64/clone3.S:81