genéricos de Java: inferir tipos más de dos parámetros

Question

Supongamos que tengo un método tan simple como este para el procesamiento de dos listas:

public static <B> void foo(List<B> list1, List<B> list2) { 
} 

Y supongamos que quiero llamarlo así:

foo(ImmutableList.of(), ImmutableList.of(1)); 

Este won 'compilar, porque javac no es lo suficientemente inteligente como para descubrir que estaba tratando de crear dos listas de enteros. En su lugar, tengo que escribir:

foo(ImmutableList.<Integer>of(), ImmutableList.of(1)); 

¿Cómo debo cambiar la declaración de foo para permitir que la primera versión que funciona tan bien como el segundo?

Answer 1

Estoy bastante seguro de que la inferencia del tipo de Java no es lo suficientemente potente como para manejar la unificación.

Lo que podría hacer es devolver un objeto intermedio de algún tipo, y cambiar el sitio de llamada a ser algo así como:

foo(list1).and(list2) 

Pero entonces todavía sólo sería capaz de inferir de izquierda a derecha, por lo que tendría que llamar como:

foo(ImmutableList.of(1)).and(ImmutableList.of()); 

Answer 2

usted puede hacer eso con sólo cambiar información genérica del parametro y ambas versiones se work.ie

public static <B> void foo(List<? super B> list1, List<B> list2) { 


     } 

Ahora Ambas versiones funcionarán.

foo(ImmutableList.of(), ImmutableList.of(1)); 
foo(ImmutableList.<Integer>of(), ImmutableList.of(1)); 

Answer 3

El único ajuste en el que veo que esto es un inconveniente para usted es cuando hace esto mucho. En ese caso, se puede hacer una

private static final ImmutableList<Integer> EMPTYINTLIST = ImmutableList.<Integer>of(); 

y usar su EMPTYINTLIST en sus llamadas.