MyBatis 的动态 SQL 是一种强大的功能，允许开发者根据条件动态生成 SQL 语句。它的执行原理主要涉及以下几个步骤：

### **1. 解析映射文件**
当 MyBatis 启动时，会加载并解析映射文件（`Mapper.xml`），提取其中的 SQL 语句和动态标签（如 `<if>`、`<foreach>` 等）。

- MyBatis 使用 XML 解析器（如 DOM 解析器）读取映射文件，并将 SQL 语句和动态标签解析为 **抽象语法树（AST）**。
- 每个动态标签（如 `<if>`、`<choose>` 等）会被解析为一个节点，并存储在 AST 中。

### **2. 构建动态 SQL**
当执行一个动态 SQL 查询时，MyBatis 会根据传入的参数（如方法的输入参数）动态构建最终的 SQL 语句。

#### **步骤：**
1. **参数绑定**：MyBatis 将方法的输入参数传递给动态 SQL 处理器。
2. **遍历 AST**：动态 SQL 处理器遍历抽象语法树，根据每个节点的类型（如 `<if>`、`<foreach>`）和条件判断，动态生成 SQL 片段。
3. **拼接 SQL**：将生成的 SQL 片段拼接成完整的 SQL 语句。

### **3. 示例解析**
假设有一个动态 SQL 查询：
```xml
<select id="findUsers" parameterType="map" resultType="User">
    SELECT * FROM users
    WHERE 1=1
    <if test="name != null">
        AND name = #{name}
    </if>
    <if test="age != null">
        AND age = #{age}
    </if>
</select>
```

#### **执行过程：**
1. **解析映射文件**：
   - MyBatis 将 `<if>` 标签解析为节点，并存储在 AST 中。
   - SQL 模板被解析为一个基础结构。

2. **参数绑定**：
   - 假设传入的参数是 `{name: "Alice", age: null}`。

3. **遍历 AST**：
   - 遍历第一个 `<if>` 标签，判断 `name != null` 是否成立。因为 `name` 不为 `null`，所以生成 SQL 片段 `AND name = #{name}`。
   - 遍历第二个 `<if>` 标签，判断 `age != null` 是否成立。因为 `age` 为 `null`，所以跳过该片段。

4. **拼接 SQL**：
   - 最终生成的 SQL 语句为：
     ```sql
     SELECT * FROM users WHERE 1=1 AND name = #{name}
     ```

5. **预编译和执行**：
   - MyBatis 使用 `PreparedStatement` 预编译生成的 SQL 语句，并绑定参数值（如 `name = "Alice"`）。
   - 执行 SQL 语句并返回结果。

### **4. 动态 SQL 的执行原理总结**
- **解析阶段**：MyBatis 在启动时解析映射文件，将动态 SQL 语句转换为抽象语法树（AST）。
- **运行时构建**：在执行 SQL 时，根据传入的参数动态遍历 AST，生成 SQL 片段并拼接成完整的 SQL 语句。
- **预编译和执行**：生成的 SQL 语句通过 `PreparedStatement` 预编译并执行，确保性能和安全性。

### **5. 动态 SQL 的优势**
- **灵活性**：可以根据条件动态生成 SQL，满足复杂的业务需求。
- **性能优化**：避免了不必要的 SQL 片段拼接，减少了数据库的负担。
- **安全性**：通过预编译和参数绑定，避免了 SQL 注入风险。

通过动态 SQL，MyBatis 提供了一种强大且灵活的方式来处理复杂的 SQL 查询，同时保持代码的简洁性和可维护性。