Re: Overring function and its returned type

[sbelmont700@gmail.com]

On Friday, November 9, 2012 4:10:09 PM UTC-5, Hibou57 (Yannick Duchêne) wrote:
>
> Reading the above, one may say “that's silly, if you know the returned  
> 
> type, just specify it in the declaration, and this would additionally  
> 
> avoid a cumbersome checked conversion at every call place”.
> 
>

That's silly, because in such a case your classwide types are just for show.  If you are already coupled directly to P3, and already know that A is a P3.T, then you don't need to override or extend or cast anything: you already have full visibility for direct calls on anything in P3, and will have to go back and change the unit either way if down the road you create a P4.  Just create a non-overriding, not-necessarily-overloading function in P3 that returns whatever type you want, with whatever pre/post conditions you like.


-sb