Java 泛型進階實戰：類型推導、擦除補救、簽名保留、框架級 API 設計模式

前言：為什麼需要「進階」篇？

基礎篇已覆蓋語法、擦除、通配符。實際框架開發（如 MyBatis Mapper、Spring Data Repository、Jackson 序列化）會遇到：

• 如何在運行期**獲取泛型實際類型**（如 List 中的 User）？
• 如何設計 **鏈式泛型 API**（Builder、Fluent Interface）保持類型推導？
• 如何利用 **簽名保留** 實現泛型反序列化？

本文聚焦這些「框架級」進階技巧。

技巧一：超類型令牌 捕獲泛型實際類型

利用 **匿名內部類繼承泛型父類**，編譯器會在字節碼 **Signature 屬性** 中保留完整泛型信息，通過反射讀取：

public abstract class TypeReference {
    private final Type type;

    protected TypeReference() {
        Type superclass = getClass().getGenericSuperclass();
        if (superclass instanceof ParameterizedType pt) {
            this.type = pt.getActualTypeArguments()[0];
        } else {
            throw new IllegalStateException("必須匿名繼承 TypeReference<具體類型>");
        }
    }
    public Type getType() { return type; }
}

// 使用：Jackson 反序列化 List
List users = mapper.readValue(json, new TypeReference>() {}.getType());
// 或自定義
TypeReference> ref = new TypeReference>() {};
Type actualType = ref.getType(); // 獲取 ParameterizedType: List

技巧二：鏈式泛型 API 設計（自類型 F-Bounded Polymorphism）

讓 Builder 子類返回自身類型，支持鏈式調用不丟失類型：

// 基礎 Builder
public abstract class AbstractBuilder> {
    protected T obj;
    public B setId(Long id) { obj.setId(id); return self(); }
    protected abstract B self();
    public abstract T build();
}

// 具體 Builder
public class UserBuilder extends AbstractBuilder {
    public UserBuilder() { this.obj = new User(); }
    @Override protected UserBuilder self() { return this; }
    public UserBuilder setName(String name) { obj.setName(name); return this; }
    @Override public User build() { return obj; }
}

// 使用：類型安全鏈式
User u = new UserBuilder().setId(1L).setName("Alice").build(); // 每步返回 UserBuilder

技巧三：簽名保留實現泛型反序列化工具

public class JsonUtil {
    private static final ObjectMapper MAPPER = new ObjectMapper();

    /** 通過 TypeReference 保留泛型簽名反序列化 */
    public static  T readValue(String json, TypeReference ref) {
        try {
            return MAPPER.readValue(json, MAPPER.getTypeFactory().constructType(ref.getType()));
        } catch (IOException e) {
            throw new UncheckedIOException(e);
        }
    }

    /** 直接傳 Class（非泛型集合） */
    public static  T readValue(String json, Class clazz) {
        try { return MAPPER.readValue(json, clazz); }
        catch (IOException e) { throw new UncheckedIOException(e); }
    }
}

// 調用
List list = JsonUtil.readValue(json, new TypeReference>() {});
User single = JsonUtil.readValue(json, User.class);

技巧四：泛型異常與函數式接口結合

@FunctionalInterface
public interface CheckedFunction {
    R apply(T t) throws E;
}

public class Try {
    public static  Result of(CheckedFunction fn, T input) {
        try { return Result.ok(fn.apply(input)); }
        catch (Exception e) { return Result.err(e); }
    }
}

// 使用：編譯期強制處理受檢異常
Result r = Try.of(this::queryUser, 1L); // queryUser 拋 SQLException
r.ifOk(user -> ...).ifErr(e -> log.error(e));

技巧五：擦除補救——通過方法參數傳遞 Class 對象

當無法用 TypeReference（如舊 API）時，約定俗成傳 Class：

public  T findById(Class entityClass, Long id) {
    return entityManager.find(entityClass, id); // JPA/Hibernate 需要 Class 對象
}

// 調用
User u = dao.findById(User.class, 1L);

對比總結：四種獲取泛型類型的方式

避坑提醒

1. TypeReference **必須是匿名內部類**，直接 new TypeReference>() 無法獲取實際類型（擦除後為 TypeReference