snippet Java che provoca un overflow dello stack nel compilatore o typechecker (javac)?

Question

Ieri a un seminario il presentatore (Peter Sestoft) ha mostrato un piccolo programma java, con 3 classi, che presenta sia la co-varianza che la contro-varianza. Quando si tenta di compilare usando javac, il controllo del tipo genererà una StackOverflowException.

Lo snippet è sviluppato da alcuni ragazzi che lavorano in Microsoft (si pensi che uno si chiamasse Kennedy).

Impossibile trovarlo utilizzando Google. Qualcuno conosce lo snippet di codice e potresti incollarlo qui (sono un massimo di 10 righe di codice), perché tutti possano vederlo? :)

E 'stato molto divertente ...

Answer 1

trovato (ha chiesto al presentatore)! E 'un StackOverflowException sia in 6.0 e 7.0:

class T { } 
class N<Z> { } 
class C<X> extends N<N<? super C<C<X>>>> { 
    N<? super C<T>> cast(C<T> c) { return c; } 
} 

E' da parte di Andrew Kennedy e Benjamin Pierce: Su Decidibilità di nominale Sottotipizzazione con varianza. Workshop internazionale sulle fondazioni e Sviluppi di linguaggi orientati agli oggetti g (FOOL/WOOD'07), Nizza, Francia 2007.

Answer 2

Hai provato bugs.sun.com? Ecco un StackOverflowError in 5.0 solo:

import java.util.*; 

class Test<T extends Comparable<? super T>> { 

    abstract class Group<E extends Comparable<? super E>> 
    extends ArrayList<E> 
    implements Comparable<Group<? extends E>> {} 

    abstract class Sequence<E extends Comparable<? super E>> 
    extends TreeSet<E> 
    implements Comparable<Sequence<? extends E>> {} 

    public void containsCombination(SortedSet<Group<T>> groups, 
        SortedSet<Sequence<T>> sequences) { 
     foo(groups, sequences); 
    } 

    <C extends Collection<T>> void foo(SortedSet<? extends C> setToCheck, 
         SortedSet<? extends C> validSet) {} 

} 

Ecco un altro (nuovo solo 5.0):

class F<T> {} 
class C<X extends F<F<? super X>>> { 
    C(X x) { 
     F<? super X> f = x; 
    } 
}