关于MySQL事务中存储函数回滚机制的文档疑问及示例请求

嘿，我来帮你理清这个困惑，MySQL文档的描述其实是准确的，咱们先拆解清楚逻辑，再用实际例子验证。

首先先明确文档这段内容的核心意思：

If a SELECT statement within a transaction calls a stored function, and a statement within the stored function fails, that statement rolls back. If ROLLBACK is executed for the transaction subsequently, the entire transaction rolls back.

简单来说：存储函数里失败的单个语句会被回滚，但整个事务并不会立刻失败终止——事务依然处于活跃状态，直到你显式执行ROLLBACK，才会把整个事务里的所有操作（包括存储函数里成功执行的部分、事务里其他语句）一起回滚。你之前的误解是以为函数失败会直接导致整个事务失败，但其实不是，函数内的错误只会回滚那个出错的语句本身，事务还能继续操作，直到你主动触发全事务回滚。

实际示例验证 #

下面我给你一套可复现的示例步骤，你可以自己跑一遍就能明白：

1. 创建测试表

CREATE TABLE test_table (
    id INT PRIMARY KEY AUTO_INCREMENT,
    value INT NOT NULL
);

2. 创建带错误逻辑的存储函数
   这个函数里先执行一条合法的插入，再执行一条违反约束的插入（触发失败）：

DELIMITER //
CREATE FUNCTION test_func() RETURNS INT
BEGIN
    -- 第一步：合法插入，会成功执行
    INSERT INTO test_table(value) VALUES(100);
    -- 第二步：违反NOT NULL约束，会触发失败
    INSERT INTO test_table(value) VALUES(NULL);
    RETURN 1;
END //
DELIMITER ;

3. 开启事务并调用函数

START TRANSACTION;
-- 调用函数，这里会抛出错误（因为第二步插入失败）
SELECT test_func();
-- 查看表数据：此时第一步插入的100记录存在，但未提交（事务仍活跃）
SELECT * FROM test_table;

执行后你会发现，SELECT test_func()确实报错，但SELECT * FROM test_table能看到value=100的记录——这说明函数里失败的第二步被回滚了，但成功的第一步还留在事务中，整个事务并没有因为函数内的错误而自动回滚。

4. 执行全事务回滚

ROLLBACK;
-- 再次查看表，所有记录都被清空
SELECT * FROM test_table;

这一步执行后，整个事务的所有操作（包括事务启动后函数内成功的插入）都被回滚了，表回到初始空状态。

扩展验证：事务包含其他操作的情况 #

如果事务里在调用函数前后还有额外操作，结果也是一致的：

START TRANSACTION;
-- 事务内先插入一条独立记录
INSERT INTO test_table(value) VALUES(200);
-- 调用函数，依然报错
SELECT test_func();
-- 此时能看到200和100两条未提交的记录
SELECT * FROM test_table;
-- 执行全回滚
ROLLBACK;
-- 表再次清空
SELECT * FROM test_table;

这样就能完全对应文档的描述了：函数内失败的语句仅自身回滚，整个事务的所有变更需要显式执行ROLLBACK才会全部回滚，文档并没有错误哦。

备注：内容来源于stack exchange，提问作者gus