PL/pgSQL中是否存在类似C# finally块的异常处理功能？

PL/pgSQL 没有提供原生的finally关键字，但完全可以通过自带的异常捕获机制实现相同效果：无论代码执行过程中是否抛出异常，指定的逻辑段必定执行。

基础写法 #

PL/pgSQL 原生支持BEGIN ... EXCEPTION ... END结构的异常捕获，对应C#里的try-catch能力。要实现finally效果，只需要把必须执行的逻辑，分别放在「正常执行流的末尾」和「异常处理分支内部」即可，语义和C#的try-catch-finally完全对齐：

DO $$
BEGIN
    -- 对应C# try块：写核心业务代码
    RAISE NOTICE '执行核心业务操作';

    -- 没有异常抛出时会顺序走到这里，执行固定逻辑
    RAISE NOTICE '执行finally逻辑：无论是否报错都要跑';

EXCEPTION WHEN OTHERS THEN
    -- 对应C# catch块：写错误处理逻辑
    RAISE NOTICE '捕获到异常，执行错误处理';
    RAISE NOTICE '异常详情：%', SQLERRM;

    -- 异常场景下同样执行这段固定逻辑
    RAISE NOTICE '执行finally逻辑：无论是否报错都要跑';
END $$;

避免重复代码的优化方案 #

如果finally段的逻辑比较复杂，没必要重复写两份，直接把这段逻辑抽成独立函数，在两个执行点直接调用就行，维护起来也方便：

-- 把必须执行的逻辑（比如释放游标、清理临时表、上报日志）封装成独立函数
CREATE OR REPLACE FUNCTION do_final_cleanup()
RETURNS VOID AS $$
BEGIN
    RAISE NOTICE '执行finally固定逻辑：释放资源、清理临时数据、记录执行结果';
END $$ LANGUAGE plpgsql;

-- 业务代码块里直接调用
DO $$
BEGIN
    -- try块核心业务逻辑
    RAISE NOTICE '执行核心业务操作';

    PERFORM do_final_cleanup(); -- 正常流程下执行固定逻辑
EXCEPTION WHEN OTHERS THEN
    -- catch块错误处理
    RAISE NOTICE '捕获到异常，错误信息：%', SQLERRM;

    PERFORM do_final_cleanup(); -- 异常流程下先执行固定逻辑
    RAISE; -- 如果不需要吞掉异常，执行完固定逻辑后可以继续把异常向上抛，不影响原有异常传递
END $$;

提前返回场景的处理 #

如果业务逻辑里存在提前RETURN退出的分支，只需要在每个RETURN语句前调用一次封装好的finally逻辑函数，就能覆盖所有退出路径，和C# finally的执行行为完全一致。

内容的提问来源于stack exchange，提问作者Arie