Re: abstract sub programs overriding

[Hyman Rosen <hyrosen@mail.com>]

Adam Beneschan wrote:
 > whenever you call a subprogram (either directly or via dispatching),
 > that subprogram will be concrete (as opposed to C++, which I believe
 > does not guarantee this).

This can happen in C++ only during object constructors or destructors
which Ada does not have (at least not in the same sense). C++ does not
allow objects of abstract type to be created, but during the execution
of a constructor or destructor, the type of the object is the type of
the class whose *tor is running, and that may be an abstract class. It
is undefined behavior to make a dispatching call which resolves to an
abstract method. Most implementations make such a call execute a stub
function which prints an error message and aborts the program.