Laurenz Albe 讨论函数何时才算 leakproof RSS

leakproof 指函数没有副作用，除返回值外不泄露参数信息；行级安全和 security_barrier 视图靠它判断用户条件能否被推到安全条件之前执行。Laurenz Albe 指出 PostgreSQL 只标了约 345 个 leakproof 函数，基本都是基础类型的比较运算符，保守的代价是 RLS 下查询性能受损。他认为行级安全本就不该指望挡住能随意写 SQL 的用户，过严的定义牺牲了可用性。

发布于 2026-09-10T10:59:42.104596Z · Laurenz Albe · Cybertec

优化器 安全 行级安全

leakproof 指函数没有副作用，除返回值外不泄露参数信息；行级安全和 security_barrier 视图靠它判断用户条件能否被推到安全条件之前执行。Laurenz Albe 指出 PostgreSQL 只标了约 345 个 leakproof 函数，基本都是基础类型的比较运算符，保守的代价是 RLS 下查询性能受损。他认为行级安全本就不该指望挡住能随意写 SQL 的用户，过严的定义牺牲了可用性。

leakproof 指函数没有副作用，除返回值外不泄露参数信息；行级安全和 security_barrier 视图靠它判断用户条件能否被推到安全条件之前执行。Laurenz Albe 指出 PostgreSQL 只标了约 345 个 leakproof 函数，基本都是基础类型的比较运算符，保守的代价是 RLS 下查询性能受损。他认为行级安全本就不该指望挡住能随意写 SQL 的用户，过严的定义牺牲了可用性。

原始来源 ↗

来源记录

• center.info_item · 51014caeb06a4bb0 · 2026-10-03T04:08:35.169032Z
• pgweb.info_item · 51014caeb06a4bb0 · 2026-10-03T04:08:55.967155Z