Java 泛型接口設計解析：GenericDao> 邊界約束詳解

代碼結構

public interface GenericDao> {
    E get(@Valid @NotNull K id);
    void save(@Valid @NotNull E entity);
    void delete(E entity);
    void delete(@Valid @NotNull K id);
}

泛型參數含義

為什麼要加邊界

1. 類型安全：編譯期阻止傳入非 Serializable 主鍵（如自定義非序列化類）
2. 契約規範：強制實體擁有 getId()、getVersion() 等基類定義的方法
3. 自文檔化：接口簽名直接傳達設計意圖，減少文檔維護成本

extends 在類定義中的特殊含義

此處 E extends DBVersionEntity<K> 不是類繼承，而是泛型類型參數的上界聲明：

• class A extends B：類 A 繼承類 B
• <T extends SomeClass>：泛型參數 T 的上界為 SomeClass 及其子類

實際使用示例

// 實體
public class User extends DBVersionEntity { ... }

// DAO 實現
public class UserDao implements GenericDao {
    public User get(Long id) { ... }
    public void save(User user) { ... }
}

若不加邊界會怎樣

泛型退化為 <K, E>，調用者可傳入任意類型（如 GenericDao），導致運行時強轉異常，失去編譯期保護。

泛型邊界是「設計時契約」，將運行時錯誤前移至編譯期，是大型系統類型安全的基石。