Đoạn mã Java gây tràn ngăn xếp trong trình biên dịch hoặc trình đánh máy (javac)?

Question

Hôm qua tại một hội thảo, người trình bày (Peter Sestoft) đã cho thấy một chương trình java nhỏ, với 3 lớp, gồm cả phương sai và phương sai. Khi cố gắng biên dịch bằng cách sử dụng javac, trình kiểm tra kiểu sẽ ném ra một StackOverflowException.

Đoạn mã được phát triển bởi một số người làm việc tại Microsoft (nghĩ rằng một người được gọi là Kennedy).

Không thể tìm thấy bằng Google. Có ai biết đoạn mã và bạn có thể dán đoạn mã vào đây (tối đa 10 dòng mã) để mọi người xem không? :)

Khá thú vị ...

Answer 1

Tìm thấy nó (hỏi những người dẫn chương trình)! Đó là một StackOverflowException trong cả 6.0 và 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; } 
} 

Đó là từ Andrew Kennedy và Benjamin Pierce: Trên Decidability của danh nghĩa subtyping với Phương sai. Hội thảo quốc tế về cơ sở và Phát triển ngôn ngữ hướng đối tượng g (FOOL/WOOD'07), Nice, Pháp 2007.

Answer 2

Bạn đã thử bugs.sun.com chưa? Dưới đây là một StackOverflowError trong 5,0 chỉ:

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) {} 

} 

Đây là một (một lần nữa 5,0 chỉ):

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