Re: Can't export object of private type

[Matthew Heaney <matthew_heaney@acm.org>]

Samuel Mize <smize@imagin.net> writes:

> By "singleton" and (1) you mean that there can exist only one object
> of the type.  But a visible type makes that impossible to ensure, so
> the approach you were taking is fatally flawed.  Oh, the humanity.

This is incorrect.  Implement the type as tagged, limited, and
indefinite, which prevents anyone from declaring instances of the type.

The 4 goals listed are all achievable, indeed very simply.

 
> I would represent each singleton with a package, which gives 1 and 3,
> and use programming by extension to get points 2 and 4.  Specifically,
> we start with:

I like the idea of a state machine package, but he wants dynamic
dispatching.  

The way to implement this abstraction is like this:

package P is

  type T (<>) is abstract tagged limited private;

  <primitive ops>

  type T_Access is access all T'Class;

  function Ref return T_Access;

private

  <junk>

end P;


package P.Q is

  type NT is new T with private;

  ...
end;


with P.Q;
package body P is

  O : aliased Q.NT;

  function Ref return T_Access is
  begin
     return O'Access;
  end;

...
end P;



The function Ref, which returns a pointer to an object declared in the
body, is analogous to Eiffel's once functions.