IntelliJ Java 映射流的通用型別推斷

php小編西瓜帶來的java問答專欄，本期探討IntelliJ Java中映射流的通用型別推論。在開發過程中，合理利用通用類型推斷能夠提高程式碼編寫效率，減少冗餘程式碼。透過本文的討論和範例，讀者可以更好地理解並應用IntelliJ Java中的映射流，進一步提升程式設計技能。

問題內容

想像一下下面的類別：

public class test {

    private static list<model<?>> getmodels() {
        return list.of(10).stream()
            .map(test::getmodel)
            .tolist();
    }

    private static model<?> getmodel(int key) {
        return new model<>(key);
    }

    public static void main(string... str) {
        system.out.println("hello world!" + getmodels());
    }

    public static class model<t> {

        private t field;

        model(t key) {
            field = key;
        }

        public string tostring() {
            return "model(" + field + ")";
        }

    }

}

我很好奇為什麼 intellij 在映射階段後無法推斷流的類型，並顯示錯誤？

當我如下所示在地圖階段明確新增類型時，它工作正常。

public class test {

    private static list<model<?>> getmodels() {
        return list.of(10).stream()
            .<model<?>>map(test::getmodel)
            .tolist();
    }

    private static model<?> getmodel(int key) {
        return new model<>(key);
    }

    public static void main(string... str) {
        system.out.println("hello world!" + getmodels());
    }

    public static class model<t> {

        private t field;

        model(t key) {
            field = key;
        }

        public string tostring() {
            return "model(" + field + ")";
        }

    }

}

為什麼intellij顯示錯誤，但編譯卻沒有任何錯誤？當我將滑鼠懸停在它上面時，會顯示此錯誤：

Required type: List<Model<?>>

Provided: List<? extends Model<?>>

解決方法

intellij 編譯器錯誤地推斷了map 方法的更通用的返回類型（stream extends model>>，而它應該是stream<model>></model>）。 java 編譯器仍然會接受程式碼，因為它是正確的，但如果 ide 警告很煩人，那麼您可以透過簡單地提供明確類型參數來抑制它：

return List.of(10).stream()
        .<Model<?>>map(Test::getModel)
        .toList();

以上是IntelliJ Java 映射流的通用型別推斷的詳細內容。更多資訊請關注PHP中文網其他相關文章！