PostgreSQL 分组最新行：使 row_number 排序确定性
使用显式 tie-breaker 和针对缺失时间戳的明确策略，为每个账户选择一个完整事件。
本文内容
简明答案
使用 row_number 按 PARTITION BY 标识符分区，并按事件时间戳以及一个稳定的唯一 tie-breaker 排序，然后在外层查询中筛选 rn=1。如果缺失的时间戳应劣于已知时间戳，则使用 NULLS LAST。窗口排序用于选出组内胜者，而单独的外层 ORDER BY 控制所选行的显示顺序。
定义最新含义
指定用于选择的事件时间戳，并明确缺失值是否具备资格。摄入时间、业务事件时间和数值标识符可以代表不同的最新概念。在此示例中，较高的标识符是一个方便的确定性 tie-breaker，并不证明事件发生得更晚。在编写查询之前务必先约定该规则，尤其是当事件可能乱序到达时。
保留完整的获胜行
诸如 max(event_time) 之类的聚合可以找到一个时间戳，但本身无法从对应行中选出其他列。将该最大值重新连接回表格时，若时间戳并列，可能会返回多行。窗口排名则在保留其载荷和标识符的同时，为每个候选分配一个位置。如果业务希望得到所有并列的最新事件而不仅仅一个，仍需要显式策略。
独立分区和排序
PARTITION BY account_id 为每个账户创建单独的排名。窗口 ORDER BY event_time DESC NULLS LAST, id DESC 将已知最近的时间戳排在最前，并使用标识符打破时间戳相等的情况。若要使该排序具有确定性，标识符必须能够区分候选行。如果源数据不提供此类键，应选择另一个稳定的唯一 tie-breaker，而不是依赖物理行存储顺序。
跟随小型查询示例
构造的账户 7 拥有事件 10 和 11，且时间戳相同，因此 id DESC 选择 11。账户 8 只有事件 12，因此即使其时间戳缺失，也会选择 12。NULLS LAST 并不会移除缺失值，而是在每个组内将它们置于已知值之后。这些是查询的预期结果，并非针对本项目执行查询的输出。
WITH events (id, account_id, event_time, payload) AS (
VALUES
(10, 7, TIMESTAMP '2026-09-30 10:00:00', 'first'),
(11, 7, TIMESTAMP '2026-09-30 10:00:00', 'second'),
(12, 8, NULL::timestamp, 'unknown time')
), ranked AS (
SELECT events.*,
row_number() OVER (
PARTITION BY account_id
ORDER BY event_time DESC NULLS LAST, id DESC
) AS rn
FROM events
)
SELECT id, account_id, event_time, payload
FROM ranked
WHERE rn = 1
ORDER BY account_id;
在正确的查询层筛选
窗口结果是在该查询层已选出输入行之后计算的。CTE 提供了一个层，其中 rn 作为列存在，外层查询对其进行筛选。同时需将排名前筛选候选与排名后筛选选中胜者区分开。例如，最新的成功事件与恰好是成功的最新事件回答的是不同问题，可能在输出中产生不同的账户。
为缺失组标识符设定策略
如果 account_id 可能为空，则这些行会形成一个分区，而不是自动成为独立账户。需决定是在排名前排除它们，还是将它们视为显式定义的组。同样，NULLS LAST 允许全为空时间戳的分区产生一个胜者。如果未知时间戳绝不能被选中，应从候选输入中排除它们，而不是指望排序子句移除它们。
检查输出顺序和并发变更
外层 ORDER BY account_id 提供显示顺序，但不会改变哪个事件胜出。若没有外层排序子句，应用程序不应假设行会以稳定的展示顺序到达。查询读其快照后插入的新事件可能改变后续查询结果。确定性 tie-breaking 使所考虑的行范围内的选择定义明确，但不能在不同查询间冻结变化的数据集。
检查真实工作负载下的性能
在选择索引之前，使用真实的组大小和选中的列评估查询计划。涉及分区和排序列的索引可能对某些工作负载有帮助，但不能普遍保证排序消失或所有载荷都被覆盖。应首先保证正确的选择语义。如果考虑使用其他 PostgreSQL 技术（如 DISTINCT ON），在比较结果时需保留相同的空值和 tie 规则。
检查清单
- 定义时间戳和空值策略。
- 使用稳定的唯一 tie-breaker。
- 在外层筛选窗口结果。
- 将候选筛选与胜者筛选分开。
- 使用外层 ORDER BY 控制展示顺序。
适用范围
该查询按照指定排序在每个分区中选择一个胜者。它不会返回所有并列项，不会从标识符推断事件时间，不会自动排除全为空的组，也不能保证索引计划。示例行是假设的。