Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!news.albasani.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: Joshua Cranmer Newsgroups: comp.lang.java.programmer Subject: Re: eclipse and un-generics Date: Thu, 20 Oct 2011 17:51:06 -0500 Organization: A noiseless patient Spider Lines: 16 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Thu, 20 Oct 2011 22:51:10 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="WpcHJSul77m+zlbR9GVqkA"; logging-data="31926"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19o5zS/TuW/N0cO6gct9pXcsZ6RglfW7+I=" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:7.0.1) Gecko/20110929 Thunderbird/7.0.1 In-Reply-To: Cancel-Lock: sha1:iBDXb73Jw3VPpkVGsHWJiQaz4Sc= Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:9057 On 10/20/2011 12:11 PM, Andreas Leitgeb wrote: > My attempt to use Class as argument type in the implementing > class failed, and I'm not sure I understand the deeper reasons of > why this has to fail. I.e. why it doesn't just see it as an override > instead of complaining about a bad overload. While Class is often treated as being the generic equivalent of Class, they're not quite the same thing. Logically, "Class" means "a class of anything", while "Class" means "a class of some unknown type". Indeed, if anything, "Class" is probably closer in typing terms to "Class", although there are a slew of special rules to account for the fact that "Class" is probably very rarely meant. -- Beware of bugs in the above code; I have only proved it correct, not tried it. -- Donald E. Knuth