Maxkit: 隱式接口法則 (Hyrum's Law, The Law of Implicit Interfaces)

2023/07/24

隱式接口法則 (Hyrum's Law, The Law of Implicit Interfaces)

在 Google 開發 C++ library 的工程師 Hyrum Wright 在網站 https://www.hyrumslaw.com 提出一個軟體工程中觀察的經驗法則：

With a sufficient number of users of an API,
it does not matter what you promise in the contract:
all observable behaviors of your system
will be depended on by somebody.

當某個 API 有了相當多的使用者以後，
原本的規格已經不重要了：
因為所有可被發現的系統行為，
都會被某人使用，並依賴該系統行為。

API 是系統模組之間互相交互運作的介面，也是某個功能模組的抽象化，因為單一功能模組的內容細節過於複雜，無法讓所有人都理解細節，故使用者會透過抽象介面使用該功能。

隨著系統的使用者增加，會漸漸地透過實作的細節，慢慢披露出該模組的未公開的功能內容，導致有越來越多的使用者，依賴於該 API 的所有系統行為。也就是隱式接口法則。

隱式接口通常是慢慢發生的，使用者並不會意識到正在發生，例如：API 通常沒有性能保證，但使用者會期待該 API 能夠達到某個程度的運算能力，這表示 API 可能需要被慢慢修改到符合使用者的期待。

例如 Hash 的輸出順序，在原本的定義中，並不會保證有固定輸出的順序，但某些語言實作時，會發生固定輸出順序的狀況，導致有使用者套用這個規則使用 Hash。