Re: Type of the target of an assignment shall not be abstract

["Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>]

Le Mon, 15 Feb 2010 18:05:09 +0100, Adam Beneschan <adam@irvine.com> a  
écrit:
>
> This is indeed illegal, although offhand I'm not sure it should be.
You cannot create an instance of an abstract type, initialized or not, so  
assignment is unlikely to be legal. Whatever it is of instantiation or  
assignment, this would not make no sense with an abstract type, as some  
method would not be defined. Well, to be honest, one alternative could  
have been to allow such a thing and simply disallow invocation of abstract  
methods (Borland Turbo Pascal did this), but then, what about if the  
object is passed as a class-wide parameter ? The method receiving the it  
as a class-wide parameter may access an abstract method. Allowing  
instantiation of abstracts and disallowing to pass it where class-wide is  
expected, would not have been clean.

-- 
No-no, this isn't an oops ...or I hope (TM) - Don't blame me... I'm just  
not lucky