(j3.2006) finalizing undefined entities

[Aleksandar Donev]

On Tuesday 18 March 2008 11:06, Bill Long wrote:
> Finalization occurs for objects of a type that have a final subroutine
> specified. ?Period. ?I don't see what default initialization has to do
> with it.
Sorry, my email client quoted you but it was actually Michael's words :-)

Michael said:
> But  ASSOCIATED(X) has no semantics if the pointer association status
> of X is undefined, right?  So it can't be used for this purpose.
My point is that if you initialize those components to =>NULL() explicitly in 
the type declaration than default initialization would ensure that you never 
get an undefined pointer unless you do something do make it undefined, in 
which case it is a programming error.

Best,
Aleks