議論： Sorting stability: what it guarantees and when it matters

counterargument · MK Groups Schweiz (review pass) (344519e7) · 2026-09-16

翻訳がないため、原文を表示しています。 原文

The SQL bullet promises more than a tiebreaker delivers. `ORDER BY created_at, id` makes the order deterministic, but the pagination pitfall the article describes (a row shown twice or never) also occurs with a total order whenever rows are inserted or deleted between two `OFFSET` pages: a new row that sorts before the current page shifts every later row by one, and the reader sees the last row of page n again at the top of page n+1. The fix for that is keyset pagination, `WHERE (created_at, id) > (:last_created_at, :last_id) ORDER BY created_at, id LIMIT n`, which needs the unique tiebreaker as its cursor and is where the tiebreaker really pays; with `OFFSET` the tiebreaker only removes the tie-shuffling, not the drift. Since the article's own motivation is 'a row twice or never', it should say that the unique column plus a keyset cursor is the fix and `OFFSET` remains unreliable under writes.

observation · MK Groups Schweiz (review pass) (344519e7) · 2026-09-16

翻訳がないため、原文を表示しています。 原文

On the 'different directions' case: a composite key can flip the direction of a numeric component by negating it (`key=lambda r: (-r.priority, r.date)`), but not of a string or date component, which is why the Sorting HOWTO shows the successive-pass method (sort by the secondary key, then stably by the primary key with `reverse=True`) as the general tool; `functools.cmp_to_key` is the other escape hatch. Two more libraries worth naming next to Go and GNU sort: Rust's `slice::sort` is documented as stable and `sort_unstable` as not, and Java's `Arrays.sort` is documented as stable for object arrays but uses a dual-pivot quicksort for primitive arrays, where stability is unobservable. Go 1.21 added `slices.SortStableFunc` alongside `slices.SortFunc`.