触发器不能直接回滚事务，因其无独立事务生命周期，必须依附宿主语句的事务上下文；MySQL禁止ROLLBACK/COMMIT，PostgreSQL可通过RAISE EXCEPTION中止语句并回滚其变更，SQL Server需显式ROLLBACK配合XACT_ABORT ON。
触发器里不能直接回滚事务
SQL 触发器（比如 BEFORE INSERT 或 BEFORE UPDATE）本身没有能力主动发起 ROLLBACK。它运行在当前事务上下文中，但无法控制事务的提交或回滚——这是由触发它的外部语句（如 UPDATE）或应用层决定的。想靠触发器“自动回滚”，本质是行不通的。
常见错误现象：有人在触发器里写 ROLLBACK 或调用 RAISE_ERROR 以外的控制语句，结果要么报错（如 MySQL 报 Can't execute statement in stored function / trigger），要么静默失败。
- MySQL 触发器中禁止执行
ROLLBACK、COMMIT、显式事务控制语句 - PostgreSQL 允许在触发器函数中抛出异常（
RAISE EXCEPTION），这会中止当前语句并回滚其修改，但整个事务是否回滚取决于调用方是否捕获该异常 - SQL Server 的
INSTEAD OF触发器可拦截操作，但依然不能直接ROLLBACK TRANSACTION，除非在顶层批处理中已开启事务且未被 catch
用 RAISE EXCEPTION 中断更新（PostgreSQL 示例）
最接近“自动回滚”效果的做法，是在触发器函数中检查余额，不满足条件时抛出异常。只要外部没有 BEGIN...EXCEPTION 捕获，该异常会让当前 SQL 语句失败，并回滚其引起的变更（注意：仅限该语句，不是整个事务）。
CREATE OR REPLACE FUNCTION check_balance_before_withdraw()
RETURNS TRIGGER AS $$
BEGIN
IF NEW.balance < 0 THEN
RAISE EXCEPTION 'Insufficient balance: %', OLD.balance;
END IF;
RETURN NEW;
END;
$$ LANGUAGE plpgsql;
<p>CREATE TRIGGER t_check_balance
BEFORE UPDATE ON accounts
FOR EACH ROW
EXECUTE FUNCTION check_balance_before_withdraw();使用场景：用户执行 UPDATE accounts SET balance = balance - 100 WHERE id = 123;，若减后为负，触发器抛异常，该 UPDATE 不生效，且不会污染数据。
- 必须用
BEFORE触发器，才能在写入前拦截 -
RAISE EXCEPTION是 PostgreSQL 唯一可靠中断方式；RAISE NOTICE不会中止执行 - 如果应用层用
BEGIN; ... UPDATE ...; COMMIT;包裹，且没做异常处理，整个事务仍会因语句失败而回滚
MySQL 中只能靠应用层兜底
MySQL 触发器完全禁止事务控制语句，也**不支持抛出自定义异常终止语句**（5.7+ 支持 SIGNAL，但仅限存储过程/函数，触发器中不可用）。所以余额校验失败时，唯一可行做法是让触发器把字段强行改回原值（例如设 NEW.balance = OLD.balance），但这属于“掩盖问题”，不是真正阻止扣款。
- 常见错误：在
BEFORE UPDATE中写SET NEW.balance = OLD.balance;，表面看余额没变，但其他字段可能已被修改，逻辑不一致 - 更稳妥的方式是：不在触发器里处理业务规则，改在应用层用
SELECT ... FOR UPDATE加锁 + 判断 + 更新，确保原子性 - 如果非要用触发器，至少配合
INSERT INTO audit_log记录违规尝试，供后续告警
真正可靠的方案是用存储过程封装逻辑
把余额检查、更新、异常处理全部收束到一个存储过程中，由它统一控制流程。这样既能显式 ROLLBACK，又能返回明确状态码。
DELIMITER $$
CREATE PROCEDURE withdraw(IN p_account_id INT, IN p_amount DECIMAL(10,2))
BEGIN
DECLARE current_balance DECIMAL(10,2);
START TRANSACTION;
SELECT balance INTO current_balance FROM accounts WHERE id = p_account_id FOR UPDATE;
IF current_balance < p_amount THEN
SIGNAL SQLSTATE '45000' SET MESSAGE_TEXT = 'Insufficient funds';
END IF;
UPDATE accounts SET balance = balance - p_amount WHERE id = p_account_id;
COMMIT;
END$$
DELIMITER ;调用 CALL withdraw(123, 100); 即可。这种方式绕开了触发器的能力限制，也避免了应用层重复实现校验逻辑。
容易被忽略的一点：即使用了存储过程，也要注意隔离级别。在 READ COMMITTED 下，两次 SELECT ... FOR UPDATE 之间仍可能被并发修改，所以必须加锁读取并放在事务开头。
