Généricité et héritage

Version imprimable

Bonjour,

J'ai des avertissements Java sur une fonction statique un peu complexe niveau généricité.

La classe sert à valider des "entités" Hibernate grâce à la classe ClassValidator<Entity>(Entity.class) (qui doit être instanciée pour chaque entité). Or, pour ne pas avoir à créer le ClassValidator à chaque fois, je gère un cache.
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 public final class DomainValidator { /** Validators cache (for each Entity class name) */ private static final Map<String, ClassValidator<? extends AbstractEntity>> VALIDATORS = new TreeMap<String, ClassValidator<? extends AbstractEntity>>(); /** Get the Entity validator in the cache, or create it if it does not already exist */ private static <Entity extends AbstractEntity> ClassValidator<Entity> getValidator(Entity entity) { Class<Entity> clazz = (Class<Entity>) entity.getClass(); // Avertissement 1 String className = clazz.getName(); ClassValidator<Entity> validator = null; synchronized (VALIDATORS) { validator = (ClassValidator<Entity>) VALIDATORS.get(className); // Avertissement 2 if (validator == null) { validator = new ClassValidator<Entity>(clazz); VALIDATORS.put(className, validator); } } return validator; } /** Validate an Entity */ public static <Entity extends AbstractEntity> Collection<InvalidValue> validate(Entity entity, String... properties) { // ... } private DomainValidator() { // } }
Avertissement 1 : Type safety: Unchecked cast from Class<capture#1-of ? extends AbstractEntity> to Class<Entity>
Avertissement 2 : Type safety: Unchecked cast from ClassValidator<capture#2-of ? extends AbstractEntity> to ClassValidator<Entity>

Comment ce code peut-il être amélioré ?

Merci.

24/06/2009, 14h05
gifffftane

Trop de généricité tue la généricité, il faut le dire et le répéter.

Et trop de répétition tue la répétition, je l'affime aussi hautement.

Bon, pour l'avertissement 1, sous réserve de la déclaration du constructeur deClassValidator il est possible d'écrire :

Code:

Class<?> clazz = entity.getClass(); // Avertissement 1 REGLE

Pour le 2, il me faudrait la déclaration de VALIDATORS.get, mais j'ai peur que tu demandes l'impossible.

Peut être cela fonctionne avec une signature type

Code:

<T extends AbstractEntity> ClassValidator<T> get(String className);

... mais je crains que ce ne soit pas ce que tu cherches.

Dans l'idéal, pourrais-tu simplifier ton code avant de nous le soumettre ? (un truc sous la forme d'un fichier qui compile ? )

Attention que jongler avec les classes en contexte générique java c'est courir au devant des ennuis. En langage intellectuel c'est contre la philosophie, en langage pratique c'est contre l'implémentation.

Comment ce code peut-il être amélioré ? Trop de généricité... :marteau: En ce genre de cas je me crée une classe non générique qui hérite de parent générique, cela me simplifie au moins l'écriture.
24/06/2009, 14h11
Invité

Je serais tenté de dire que le problème à la source vient du ClassValidator d'Hibernate, qui prend à la fois un type générique, et son object Class. Ça a tendance à faire double emploi, et m'oblige à cette gymnastique, qui fonctionne sans être totalement satisfaisante.

Voici des classes simplifiées, comme suggéré :

Code:

1
2
3
4
5
6
7
8
9
10
11
/** Class validator */
public final class ClassValidator<T> {
 
	public ClassValidator(Class<T> beanClass) {
		//
	}
 
	public String[] validate(T bean) {
		return new String[] {};
	}
}

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
import java.util.Map;
import java.util.TreeMap;
 
public final class MyValidator {
 
	abstract class AbstractEntity {
		// Entities will inherit this class
	}
 
	/** Validators cache (for each Entity class name) */
	private static final Map<String, ClassValidator<? extends AbstractEntity>> VALIDATORS = new TreeMap<String, ClassValidator<? extends AbstractEntity>>();
 
	/** Get the Entity validator in the cache, or create it if it does not already exist */
	private static <Entity extends AbstractEntity> ClassValidator<Entity> getValidator(Entity entity) {
		Class<Entity> clazz = (Class<Entity>) entity.getClass();
		String className = clazz.getName();
		ClassValidator<Entity> validator = (ClassValidator<Entity>) VALIDATORS.get(className);
		if (validator == null) {
			validator = new ClassValidator<Entity>(clazz);
			VALIDATORS.put(className, validator);
		}
		return validator;
	}
 
	/** Validate an Entity */
	public static <Entity extends AbstractEntity> String[] validate(Entity entity) {
		return getValidator(entity).validate(entity);
	}
}

Mes contraintes sont :

ClassValidator ne m'appartient pas
mes entités héritent d'AbstractEntity
je souhaiterais pouvoir les valider sans avoir à créer explicitement de ClassValidator

Merci de votre aide. :)

24/06/2009, 15h11
adiGuba
Salut,

L'objectif des Generics est de fournir un code typesafe, et en toute logique cela s'adapte mal à la reflection...

Ce type de warning prévient que le compilateur ne peut pas garantir la logique de l'ensemble, et il signale donc un problème potentiel.

Pour la première ligne, le problème vient du fait que le type réel de ton paramètre 'entity' peut être différent du type Generics déclaré.
Par exemple si tu as deux classes comme ceci :
Code:

1 2 class EntityA extends AbstractEntity { } class EntityB extends EntityA { }
Tu pourrais très bien faire ceci sans avoir d'erreur de compilation :
Code:

1 2 EntityA a = new EntityB(); ClassValidator<EntityA> validator = DomainValidator.getValidator(a);
:arrow: Comme 'a' a pour type reel EntityB, tu obtiens un ClassValidator<EntityB> déclaré en ClassValidator<EntityA>... ce qui risque de provoquer un beau casse-tête :aie:

Pour mieux te renseigner il faudrait avoir plus d'info sur la classe ClassValidator, en particulier sur son type paramétré T, car dans le code que tu donnes il n'est jamais utilisé :aie:

a++

Excuse je ne suis pas un familier d'Hibernate.

La proposition suivante n'est sans doute pas satisfaisante, mais j'aimerais savoir ce qui te gênerait en la suivant ; elle consiste à se passer de tous les ? (sauf 1) :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 static Map<String, ClassValidator<AbstractEntity>> VALIDATORS; private static ClassValidator<AbstractEntity> getValidator( AbstractEntity entity) { Class<?> clazz = entity.getClass(); String className = clazz.getName(); ClassValidator<AbstractEntity> validator = VALIDATORS.get(className); if (validator == null) { validator = new ClassValidator<AbstractEntity>(clazz); VALIDATORS.put(className, validator); } return validator; }
... donc dans le code d'appel de getValidator, tu n'as plus de distinguo sur le AbstractEntity, puisque c'est tous des AbstractEntity. Cela est-il génant, souhaites-tu désigner la classe exacte ?

Citation:
Envoyé par gifffftane
Code:

1 2 3 Class<?> clazz = entity.getClass(); validator = new ClassValidator<AbstractEntity>(clazz);
Ceci ne fonctionne pas car "?" et AbstractEntity sont incompatibles.

J'ai fini par arriver à une solution acceptable.

Je fournis désormais l'objet Class avec le bean, car la fonction getClass renvoie toujours un objet de type Class<? extends Bean>.
Je stocke les ClassValidator<...> dans la Map en temps que ClassValidator (avec SuppressWarnings). Une méthode de cast générique (avec SuppressWarnings) me permet ensuite de convertir l'objet sans avertissement.
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 @SuppressWarnings("unchecked") private static final Map<String, ClassValidator> VALIDATORS = new TreeMap<String, ClassValidator>(); private static <Entity extends AbstractEntity> ClassValidator<Entity> getValidator(Class<Entity> entityClass) { String className = entityClass.getName(); ClassValidator<Entity> validator = GenericsTools.cast(VALIDATORS.get(className)); if (validator == null) { validator = new ClassValidator<Entity>(entityClass); VALIDATORS.put(className, validator); } return validator; } /** Validate an Entity */ public static <Entity extends AbstractEntity> String[] validate(Class<Entity> entityClass, Entity entity) { ArgumentTools.checkClass(entity, entityClass); return getValidator(entityClass).validate(entity); }