auto storage class - infer or RAII?
Georg Wrede
georg.wrede at nospam.org
Sat Nov 11 17:23:48 PST 2006
Walter Bright wrote:
> The auto storage class currently is a little fuzzy in meaning, it can
> mean "infer the type" and/or "destruct at end of scope". The latter only
> has meaning for class objects, so let's look at the syntax. There are 4
> cases:
>
> class Class { }
>
> 1) auto c = new Class();
> 2) auto Class c = new Class();
> 3) auto c = some_expression();
> 4) auto Class c = some_expression();
>
> The ambiguity can be resolved by saying that if auto is used for type
> inference, i.e. cases (1) and (3), then it does not mean RAII. If it is
> not used for type inference, i.e. cases (2) and (4), then it does mean
> RAII.
Well, you know my view here: we need two separate keywords.
> In the future, I'd like the following to work:
>
> 5) auto c = Class();
>
> which would mean type inference *and* RAII.
Maybe, when both autotyping and scoped variables are commonplace, we'll
eventually start wanting a single word to denote both. That word could
be "auto".
But in the meantime, two separate words, none of which is auto.
More information about the Digitalmars-d
mailing list