Discussion :

[shaiHulud]

Bonjour,

Je ne comprends pas pourquoi le compilateur Java n'assure pas la conversion suivante.

En déclarant format() avec <K,V> (ligne commentée), je comprends que l'information générique sur K et V ne soit pas disponible dans TextOutputFormat.class.
Par contre, avec la déclaration Class<? extends InputFormat<?,?>> (ligne non commentée), tout se passe comme si TextOutputFormat et TextOutputFormat<?,?> n'étaient pas covariants.

Pourriez-vous m'expliquer ?
Merci d'avance.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
A<Text,NullWritable> a = ...;
a.format(TextOutputFormat.class); // PROBLEME :  method is not applicable
a.format((Class<? extends InputFormat<Text,NullWritable>>) TextOutputFormat.class); // ok

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
 
Interface A<K,V> {
    /** A setter for attribute format */
    // public void format(Class<? extends InputFormat<K,V>> format);
    public void format(Class<? extends InputFormat<?,?>> format);
}

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
java.lang.Object
  extended by org.apache.hadoop.mapreduce.OutputFormat<K,V>
      extended by org.apache.hadoop.mapreduce.lib.output.FileOutputFormat<K,V>
          extended by org.apache.hadoop.mapreduce.lib.output.TextOutputFormat<K,V>

[adiGuba]

Salut,


Je n'arrive pas à reproduire ton problème.
Quelle est ta version de Java ?
Comment est déclaré la classe TextOutputFormat ?


a++

[shaiHulud]

Merci adiguba,

Java 1..8.0_102

Ci dessous un exemple simplifié
A <=> Interface A<K,V>
B <=> OutputFormat<K,V>
C <=> TextOutputFormat<K,V>

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
public class PipoTest {
    public static class B<K,V> {}
    public static class C<K,V> extends B<K,V> {}
    public static class D extends B<String,String> {}
 
    public static class A<K,V> {
        public void foo(Class<? extends B<?,?>> arg) {}
    }
    public static void main(String[] clargs) {
        A<String,String> a = new A<>();
        a.foo(C.class);
        // The method foo(Class<? extends PipoTest.B<?,?>>) in the type PipoTest.A<String,String> is not applicable for the arguments (Class<PipoTest.C>)
 
        a.foo( (Class<? extends C<String,String>>) C.class); // valid
        a.foo(D.class); // valid
    }
 
}

[shaiHulud]

En fait, même ceci ne marche pas :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
a.foo(B.class);

[adiGuba]

Ok je pensais que TextOutputFormat était défini avec un type précis (comme "D" dans ton exemple).


Même ce code n'est pas valide :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

        a.foo( (Class<? extends C<String,String>>) C.class); // valid

Je suppose que tu compiles avec eclipse (qui ne signale qu'un warning), mais javac sort directement une erreur : incompatible types: Class<C> cannot be converted to Class<? extends C<String,String>>



Le "truc" c'est que B.class est de type Class<B> et non pas Class<B<?,?>>, et il y a bien une différence entre les deux et ils ne sont pas compatible même s'ils peuvent sembler similaire :

• Class<B<?,?>> correspond à une classe B dont on ne connait pas les types paramétrés.
• Class<B> correspond au raw-type, c'est à dire sans aucun type paramétré.

Donc dans ton cas il faudrait plutôt déclarer la méthode comme ceci :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

public void foo(Class<? extends B> arg) {}

Mais... c'est un usage "unsafe" qui génèrera un warning.



D'où ma nouvelle question : à quoi cela doit-il te servir ?
Que va tu faire de cet objet Class ?


a++

[shaiHulud]

Merci bcp pour l'explication !

Cela me sert à vérifier que les paramètres génériques du B que je vais assigner à A<K,V> sont bien cohérents avec K et V.
En particulier si une autre méthode de B renvoie des K et des V, je veux être sur de les manipuler en tant que K et V dans la classe A.

Maintenant, je suis en train de réaliser que les setters auxquels je communique ces classes sont declarés avec des raw types.
Mais quand bien même, n'est ce pas la bonne approche pour effectuer les vérifications dont je parle au compile-time ?

[adiGuba]

Mais concrètement : comment tu te sert de l'argument "Class" de la méthode foo() ?

Parce que si tu utilises des raw-types ou des <?> tu ne vérifies rien du tout.
De même que si tu utilises un type au lieu d'une instance : le fait de passer un OutputFormat.class ne te permet pas d'assurer quoi que ce soit.


a++