## 無限分類問題 實際應用中無限分類的場景有很多，下面就從各個角度詳細探討無限分類問題： 無限分類從表設計的關系來看，是一種一對多的關系，即一個人只有一個父親，但可能有多個孩子，這種上下級關系就像文件目錄的關系一樣，是一個樹狀圖。 * * * * * ### 無限分類需要考慮的 >[danger] 客戶端的數據是不可信的，嚴謹的后端需要對數據進行嚴格的校驗，包括數據格式，和數據的邏輯關系正確性。 - 上下拖動可改變排序，左右拖動可改變級別（系統限制最高不超過兩級——暫不超過一級） - 新添加的分類在列表的最后，需要注意的是：在未保存之前，無法為其設置子級 - 改變分類排序、分類級別和新建分類需點擊保存才能生效，但刪除和修改分類名稱是立即生效的 - 只能將一個分類拖動為另一個分類的子級，而不能直接將其拖動成為另一個分類的父級，請靈活使用拖動功能 - **父級必須和他沒有關系，即不能在其所有子級的path中出現** - 不能存在無效的（上級）分類 - 父級ID不能為它本身，并且做好層級控制的限制 - 不能出現首尾相連的結構，即**一個節點的父級不能使它的下級或與下級相關聯的節點** - “繼父”關系如何處理（業務邏輯往往要考慮），path和結構是否需要同步更新，以及它們可能存在不同步的情況 - 考慮分類是否限制只能掛載在葉子上（即目標分類節點下面沒有子節點了），還有考慮分類節點變動的情況 `category_edit()` 插件專用，新增，更新改統一處理 ``` 不存在繼父(非繼父模式)：A在沒有父級的時候，新增的子級B是沒有爺級的，即使以后A綁定父級了，B也還是沒有爺級。也就是說B加入時沒有爺級，那么也永遠不會有了。 這種情況，在結構上其實是爺級關系，但是path中沒有記錄 繼父模式：A綁定父級了，A所有相關的下級，都需要更新path。 ``` * * * * * ### 如何確保程序邏輯的正確性 通常錯誤有很多情況，正確也有很多情況，那我們如何驗證程序邏輯的正確性呢？ 錯誤的路徑有限時，我們列出所有的錯誤路徑，檢測每一條錯誤，滿足一條成立，就說明不正確。 當錯誤的路徑很多，正確的路徑反而很少時，我們列出所有的正確路徑，檢測所有的正確規則，**當全部同時滿足時**，說明正確，否則錯誤。 [智能合約和形式驗證](http://www.yinwang.org/blog-cn/2018/02/22/smart-contract) > Hoare Logic 的系統把所有這些前后條件和代碼串接起來，經過邏輯推導驗證，就可以作出這樣的保證：在前條件滿足的情況下，執行代碼之后，后條件一定是成立的。如果所有這些條件都滿足，系統就認為這是“正確的程序”。注意這里的所謂“正確”，完全是由人來決定的，系統并不知道“正確”是什么意思。 * * * * * ### 目標 設計出一個通用的無限分類的工具類。 研究常用的無限分類，以及在各種業務中的應用。 * * * * * >[danger] 任何時候要考慮你是否一眼看到事物的本質了，不要為了設計而設計，過度設計。所有的一切都是為了有效的解決問題的。 * * * * * last update：2017-11-30 00:52:21