Re: Quick question regarding limited type return syntax

[Peter Chapin <PChapin@vtc.vsc.edu>]

On 2014-08-04 05:24, Niklas Holsti wrote:

> Moreover, I think this question of constructor/destructor control flow
> is separate from the general question of preventing access to
> uninitialized data. As I understand it, even in the languages which do
> have specific constructor/destructor facilities, there is no requirement
> or check that a constructor must initialize all the components of the
> object.

With C++ the language does not require this check but there are tools
that do it. The tools are nice because if you add a member they will
remind you to take care of it in your constructors.

The tools are not perfect. I suspect full handling of this issue may be
undecidable because the constructor can call arbitrary recursive methods
as part of it's work. So tracking precisely which members get
initialized would be quite difficult in the general case.

Peter