Re: Extending a third party tagged type while adding finalization

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:p04d5g$6jd$1@gioia.aioe.org...
> On 2017-12-04 21:54, Randy Brukardt wrote:
>
>> The sort things that can't afford to be controlled are those that aren't
>> really ADTs anyway (think coordinates of a windows).
>
> What? Window coordinates are a perfect example of ADT. There are lots of 
> quite specific operations defined on coordinates which are beyond normal 
> arithmetic: scaling, rotation, moving, relative to absolute conversions, 
> logical to physical conversions, coordinate systems, scalar and vector 
> products, coordinate translation ... the list is almost infinite.

ADT = "abstract data type". And there is nothing "abstract" about 
coordinates, where you usually want to use an aggregate of X and Y values to 
create them. Just because the type isn't private doesn't mean that you can't 
have operations on them (Janus/Ada internally has essentially no private 
types, but there sure are a lot of operations :-).

The sorts of things that one doesn't want to make controlled also tend to be 
the sorts of things that one doesn't want to make private. Ergo, my advice 
above. As always, YMMV.

                                          Randy.