djb又来拷问程序员：你的子程序真的写对了吗？

你上次逐行审查过自己写的排序子程序是什么时候？djb这篇PDF不讲抽象理论，拿一个4×3的排序案例，把子程序的正确性边界摊开给你看：一个看起来无懈可击的实现，藏着能悄悄颠覆整个算法的隐藏缺陷。他没有用"注意边界条件"这类废话来糊弄，而是硬生生把每一层调用关系、每一条分支逻辑拆到肉眼可见，让你自己发现错在哪、为什么会错。读完最大的触动是——多数程序员以为搞懂的事，其实只摸到了皮毛。子程序从来不是"能跑就行"，它的正确性远比直觉薄得多。

原文：Getting a subroutine right: a case study [pdf] · 来源：Hacker News