抽象漏洞定律

抽象漏洞定律 （ The Law of Leaky Abstractions ） 是一個有關程式的定律 。 最早是由Joel Spolsky在其部落格中提出 ， 其定義爲 「 所有非不證自明的抽象概念 ， 都有某種程度的疏漏 」 （ 原文 ： All non-trivial abstractions, to some degree, are leaky ） 。 抽象漏洞定律說明了爲什麼所有的程式都有Bug ， 同時也說明了 ， 電腦語言的進步 ， 雖然可以減少程式製作的時間 ， 但是相對來說 ， 程式設計師卻要付出更多的學習時間 。 抽象漏洞定律說明了軟體本質上的缺陷 ， 然而也提供了一個思考如何避免問題發生的方向 。