java中enum的实现enum>

原来E extends java.lang.Enum<E>这个是为了语法顺畅而做的,解决父类和子类协作时,统一语法面使用方法

下面是从别的地方copy来的资料。。。做个标志

考虑下面的语法

E extends Foo<E>

E被识别为Foo的子类,这个情况相当于把一个子类或者自己当成参数,传入到自身,引起一些特别的语法效果,例如

abstract class Foo<SubClassOfFoo extends Foo<SubClassOfFoo>>

{

    /**  subclasses are forced to return themselves from this method */

    public abstract SubClassOfFoo subclassAwareDeepCopy();

}

 

class Bar extends Foo<Bar> {

    public Bar subclassAwareDeepCopy() {

        Bar b = new Bar();

        // ...

        return b;

    }
}

上面代码的含义就如名字所示,可以对子类进行识别,该代码有两个特殊效果

Bar b = new Bar();

Foo<Bar> f = b; // 子类和父类相互赋值

Bar b2 = b.subclassAwareDeepCopy();

Bar b3 = f.subclassAwareDeepCopy(); // 父类直接返回子类的实例,而且不用Cast

 

你可能感兴趣的:(java,F#)