Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.java.programmer > #12239

Re: Hairy generics question

Show all headers | View raw

On 02/21/2012 11:05 AM, Roedy Green wrote:
> On Tue, 21 Feb 2012 06:30:51 -0800 (PST), sclaflin
> <steve@steveclaflin.com>  wrote, quoted or indirectly quoted someone
> who said :
>
>> Why can I use a class that extends CompItemView for the V type, and
>> not CompItemView itself?
>
> Possibly because it thinks you are trying to implement multiple
> abstract classes not  Interfaces.  Generics don't use the term
> "extends" consistently which sows confusion.  I did not follow your
> details. I am just throwing that out.

Red herring. The OP used the keyword 'extends' in syntactically correct 
fashion. There is no implication of "trying to implement multiple abstract 
classes", not least because the OP has not averred such a compilation failure 
but one of failure to match bounded parameters.

Remember that the compiler - nor, indeed, the programmer - can know which 
binding of the parameter applies. Thus when there are no type assertions tying 
the generics parameters together, you have a "bound parameter" mismatch. You 
cannot assert the types are the same.

Plus, the OP tried to use 'CompItemView', a raw type!, where the assertion 
asked for a generics parameter. NEVER USE THE RAW TYPE OF A GENERIC!

It just doesn't extend the same generics parameters as the target declaration.

The OP is trying to shoehorn a type into the 'V' parameter that doesn't meet 
the declared restrictions:
'CompItemView<AInfo, CompA, CompItemView<AInfo, CompA, CompItemView>>'

The OP's type assertions are tangled, inconsistent and incorrect. This is 
normal when sussing out type assertions. Type reasoning isn't easy. One way to 
ameliorate that is to keep your assertions simple to start with. Avoid 
circularity except where it makes sense (as in

  public abstract class Enum<E extends Enum<E>>
     implements Comparable<E>, Serializable

and

  public enum TimeUnit extends Enum<TimeUnit>

).

In the OP's case we have generics parameter triplets, where the triplet 
elements themselves depend on the same triplet parameters, with random 
'extends' clauses tossed in. I'm curious as to the OP's intended type 
assertions here - if they share that we can help translate them into generics.

-- 
Lew
Honi soit qui mal y pense.
http://upload.wikimedia.org/wikipedia/commons/c/cf/Friz.jpg

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Hairy generics question sclaflin <steve@steveclaflin.com> - 2012-02-21 06:30 -0800
  Re: Hairy generics question Lew <noone@lewscanon.com> - 2012-02-21 09:24 -0800
  Re: Hairy generics question Roedy Green <see_website@mindprod.com.invalid> - 2012-02-21 11:05 -0800
    Re: Hairy generics question Lew <noone@lewscanon.com> - 2012-02-21 12:09 -0800
  Re: Hairy generics question Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-02-21 18:04 -0800
    Re: Hairy generics question Lew <noone@lewscanon.com> - 2012-02-21 18:31 -0800
    Re: Hairy generics question Steven Simpson <ss@domain.invalid> - 2012-02-22 08:31 +0000
  Re: Hairy generics question sclaflin@webucator.com - 2012-02-24 11:12 -0800
    Re: Hairy generics question Lew <noone@lewscanon.com> - 2012-02-24 12:03 -0800
      Re: Hairy generics question sclaflin@webucator.com - 2012-02-24 14:07 -0800
        Re: Hairy generics question Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-02-24 15:36 -0800
          Re: Hairy generics question sclaflin@webucator.com - 2012-02-25 10:27 -0800
          Re: Hairy generics question Arved Sandstrom <asandstrom3minus1@eastlink.ca> - 2012-02-26 13:13 -0400
            What is Model View Presenter. (Was: Hairy generics question) Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-02-26 10:22 -0800
              Re: What is Model View Presenter. (Was: Hairy generics question) Lew <noone@lewscanon.com> - 2012-02-26 13:08 -0800
                Re: What is Model View Presenter. (Was: Hairy generics question) Arne Vajhøj <arne@vajhoej.dk> - 2012-02-26 18:17 -0500
                Re: What is Model View Presenter. (Was: Hairy generics question) sclaflin@webucator.com - 2012-02-28 06:22 -0800
            Re: Hairy generics question Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-02-28 09:46 -0800
              Re: Hairy generics question Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-02-28 09:49 -0800
              Re: Hairy generics question Lew <noone@lewscanon.com> - 2012-02-28 12:45 -0800
              Re: Hairy generics question Arved Sandstrom <asandstrom3minus1@eastlink.ca> - 2012-02-29 19:37 -0400
                Re: Hairy generics question Lew <noone@lewscanon.com> - 2012-02-29 22:32 -0800

csiph-web