On 8/16/2012 7:34, Warp wrote:
> Darren New<dne### [at] sanrrcom>  wrote:
>>> Even if it does, then the language could implicitly do with it what C++'s
>>> virtual inheritance does. You can still forbid all other types of diamond
>>> inheritance if you so wish.
>
>> You could, but then it's getting weird.
>
> What would be weird about it?

What about diamond inheritance from Number or Enum or something like that? 
There would be a bunch of cases where you could reasonably expect diamond 
inheritance to work, or where there's one class under Object which is 
nothing but some extra routines you want all *your* classes to inherit.

I.e., it's a very ad hoc rule that tells the programmer that the language 
designer didn't know how to solve the problem but recognized it needed 
solving. :-)

-- 
Darren New, San Diego CA, USA (PST)
   "Oh no! We're out of code juice!"
   "Don't panic. There's beans and filters
    in the cabinet."

Post a reply to this message