Inférence de type générique pour les flux de mappage IntelliJ Java

Une colonne de questions et réponses Java présentée par l'éditeur PHP Xigua. Ce numéro traite de l'inférence de type générale des flux de mappage dans IntelliJ Java. Pendant le processus de développement, l'utilisation rationnelle de l'inférence de type universelle peut améliorer l'efficacité de l'écriture du code et réduire le code redondant. Grâce aux discussions et aux exemples de cet article, les lecteurs peuvent mieux comprendre et appliquer le flux de mappage dans IntelliJ Java et améliorer encore leurs compétences en programmation.

Contenu de la question

Imaginez la classe suivante :

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 + ")";
        }

    }

}

Je suis curieux de savoir pourquoi Intellij ne peut pas déduire le type de flux après la phase de mappage et affiche une erreur ?

Lorsque j'ajoute explicitement le type dans l'étape de la carte comme indiqué ci-dessous, cela fonctionne bien.

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 + ")";
        }

    }

}

Pourquoi Intellij affiche-t-il des erreurs, mais il n'y a aucune erreur lors de la compilation ? Lorsque je passe la souris dessus, cette erreur apparaît :

Required type: List<Model<?>>

Provided: List<? extends Model<?>>

Solution de contournement

Le compilateur intellij a déduit de manière incorrecte le type de retour plus générique de la méthode map (stream<? extends model<?>>，而它应该是 stream<model<?>>). Le compilateur Java acceptera toujours le code car il est correct, mais si l'avertissement de l'IDE est ennuyeux, vous pouvez le supprimer en fournissant simplement un argument de type explicite :

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

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!