I'm currently taking a class pretty much each week to prepare for the
SCJP exam.  In the classes we usually go over practice exams and try
to figure out what the right answer is to a number of the questions.
After the chapter on Generics, one of the questions involved a class
like the one I call {Wierd} here.  It was kind of of the form:

public class Wierd< T extends Wierd>
{
  public Wierd ()
  {
  }
}

and then we had a class of the form:

public class Hmm
{
  public static void main ( String[] arguments)
  {
    Wierd< Wierd> wow = new Wierd< Wierd>();
  }
}

Can anyone tell me what's going on here?  In {Wierd} itself is the
{Wierd} that's being extended in the angle brackets the same {Wierd}
that's being defined in this file?  And what exactly is happening in
{main()} when I declare {wow} to be a {Wierd< Wierd>} object?  I'd
really appreciate it if someone could explain this to me.

Kevin Simonson

On 10/10/2011 11:01 AM, KevinSimonson wrote:
> public class Wierd<  T extends Wierd>
> {
>    public Wierd ()
>    {
>    }
> }
If you mean
class Foo< T extends Foo<T>>
you can search
java+generics+recursive+bounds
or
<http://www.angelikalanger.com/GenericsFAQ/FAQSections/ProgrammingIdioms.html#FAQ206>

On 10/10/2011 8:01 AM, KevinSimonson wrote:
> Can anyone tell me what's going on here?  In {Wierd} itself is the
> {Wierd} that's being extended in the angle brackets the same {Wierd}
> that's being defined in this file?


Yes.  Extension, and polymorphism, just mean "type."  Weird is a type of 
Weird, so it fulfills the bound that the type of T must be a type of 
Weird (extends Weird).


> And what exactly is happening in
> {main()} when I declare {wow} to be a {Wierd<  Wierd>} object?


Well, you didn't do anything with the type parameter T, so not a lot is 
happening.  Try to find some existing classes that use type parameters, 
like the Collections classes, and ask that question for them.

On 10/10/2011 9:12 AM, markspace wrote:
> On 10/10/2011 8:01 AM, KevinSimonson wrote:
>> Can anyone tell me what's going on here? In {Wierd} itself is the
>> {Wierd} that's being extended in the angle brackets the same {Wierd}
>> that's being defined in this file?
>
>
> Yes. Extension, and polymorphism, just mean "type." Weird is a type of
> Weird, so it fulfills the bound that the type of T must be a type of
> Weird (extends Weird).
>
>
>> And what exactly is happening in
>> {main()} when I declare {wow} to be a {Wierd< Wierd>} object?
>
>
> Well, you didn't do anything with the type parameter T, so not a lot is
> happening. Try to find some existing classes that use type parameters,
> like the Collections classes, and ask that question for them.
>
>

java.lang.Class is also an interesting example. It is declared as
Class<T> where T is the type of the class modeled by the Class object.
Now think about the Class object for java.lang.Class. It is a Class<Class>.

Patricia

On 10/10/2011 12:11 PM, Jeff Higgins wrote:
> On 10/10/2011 11:01 AM, KevinSimonson wrote:
>> public class Wierd< T extends Wierd>
>> {
>> public Wierd ()
>> {
>> }
>> }
> If you mean
> class Foo< T extends Foo<T>>
> you can search
> java+generics+recursive+bounds
> or
> <http://www.angelikalanger.com/GenericsFAQ/FAQSections/ProgrammingIdioms.html#FAQ206>
>
or
<http://www.angelikalanger.com/GenericsFAQ/FAQSections/TypeParameters.html#FAQ106>

On Mon, 10 Oct 2011 08:01:34 -0700 (PDT), KevinSimonson wrote:

> I'm currently taking a class pretty much each week to prepare for the
> SCJP exam.  In the classes we usually go over practice exams and try
> to figure out what the right answer is to a number of the questions.
> After the chapter on Generics, one of the questions involved a class
> like the one I call {Wierd} here.  It was kind of of the form:
> 
> public class Wierd< T extends Wierd>
> {
>   public Wierd ()
>   {
>   }
> }
> 
> and then we had a class of the form:
> 
> public class Hmm
> {
>   public static void main ( String[] arguments)
>   {
>     Wierd< Wierd> wow = new Wierd< Wierd>();
>   }
> }
> 
> Can anyone tell me what's going on here?  In {Wierd} itself is the
> {Wierd} that's being extended in the angle brackets the same {Wierd}
> that's being defined in this file?  

It just means that the type parameter must fulfill an IS-A relation with
Wierd. It must be Wierd or any subclass of Wierd. That's it. Nothing is
being extended here.

> And what exactly is happening in
> {main()} when I declare {wow} to be a {Wierd< Wierd>} object?  I'd
> really appreciate it if someone could explain this to me.

Nothing special is happening. You just instantiate the object of a class
Wierd. From JVM's point of view it is exactly the same as:
Wierd wow = new Wierd();

KevinSimonson wrote:
>>> Can anyone tell me what's going on here? In {Wierd} itself is the
>>> {Wierd} that's being extended in the angle brackets the same {Wierd}
>>> that's being defined in this file?

On a tangential note, it's best practice to make identifiers, such as your =
class name 'Wierd', either sufficiently obviously not intended to be a natu=
ral-language word that spelling is not an issue, or to spell it the same as=
 the natural-language word it resembles.  So, for example, to model a bound=
ary, 'bnd' would be an acceptable variable name, but 'boundray' would not b=
e.  The reason is that it's too difficult for maintainers to get near-miss =
spelling correct - the pull to spell the variable or type name the same as =
the natural-language word is just too strong.

So fix the spelling of 'Wierd'.

--=20
Lew

On 10/10/11 12:12 PM, Lew wrote:
> KevinSimonson wrote:
>>>> Can anyone tell me what's going on here? In {Wierd} itself is the
>>>> {Wierd} that's being extended in the angle brackets the same {Wierd}
>>>> that's being defined in this file?
>
> On a tangential note, it's best practice to make identifiers, such as your class name 'Wierd', either sufficiently obviously not intended to be a natural-language word that spelling is not an issue, or to spell it the same as the natural-language word it resembles.  So, for example, to model a boundary, 'bnd' would be an acceptable variable name, but 'boundray' would not be.  The reason is that it's too difficult for maintainers to get near-miss spelling correct - the pull to spell the variable or type name the same as the natural-language word is just too strong.
>
> So fix the spelling of 'Wierd'.
>
Weird, IntelliJ IDEA will not only auto-suggest the correctly misspelled 
variant, but the latest version, with the Spell Correct plug in, will 
offer to rename the symbol in question to the correct spelling, taking 
into account Camel Case word boundaries and all.

Wow, talk about a run-on sentence. Oh well, the point is that tools are 
cool and help us flawed humans recover from many common mistakes.

On 10/10/2011 04:32 PM, Daniel Pitts wrote:

> Wow, talk about a run-on sentence. Oh well, the point is that tools are
> cool and help us flawed humans recover from many common mistakes.
Hammer with built-in nail puller. How cool is that? :)

Daniel Pitts wrote:
> Lew wrote:
>> KevinSimonson wrote:
>>>>> Can anyone tell me what's going on here? In {Wierd} itself is the
>>>>> {Wierd} that's being extended in the angle brackets the same {Wierd}
>>>>> that's being defined in this file?
>>
>> On a tangential note, it's best practice to make identifiers, such as yo=
ur class name 'Wierd', either sufficiently obviously not intended to be a n=
atural-language word that spelling is not an issue, or to spell it the same=
 as the natural-language word it resembles.  So, for example, to model a bo=
undary, 'bnd' would be an acceptable variable name, but 'boundray' would no=
t be.  The reason is that it's too difficult for maintainers to get near-mi=
ss spelling correct - the pull to spell the variable or type name the same =
as the natural-language word is just too strong.
>>
>> So fix the spelling of 'Wierd'.
>>
> Weird, IntelliJ IDEA will not only auto-suggest the correctly misspelled=
=20
> variant, but the latest version, with the Spell Correct plug in, will=20
> offer to rename the symbol in question to the correct spelling, taking=20
> into account Camel Case word boundaries and all.
>=20
> Wow, talk about a run-on sentence. Oh well, the point is that tools are=
=20
> cool and help us flawed humans recover from many common mistakes.

Tools can help one be more diligent; they cannot make one be diligent.

IntelliJ wouldn't have that feature were it not a best practice to spell id=
entifiers intelligibly.

The programmer still has to be aware that there is such a best practice, an=
d to follow it.

--=20
Lew

On 10/10/2011 11:01 AM, KevinSimonson wrote:

  also
  public class Foo< T extends Foo>
  {
    public Foo () {}

    public static void main ( String[] arguments)
    {
      Foo< Foo> bar = new Foo< Foo>();
    }

    /*
      Depending upon what you have between these curly braces
      mixing the raw type Foo with the parameterized type
      Foo<T extends Foo> might not produce fubar.
    */

  }