On Sunday, 17 July 2016 at 02:07:19 UTC, pineapple wrote:
On Sunday, 17 July 2016 at 02:03:52 UTC, Andrew Godfrey wrote:
2) I wonder if an "uninitialized" feature would be worthwhile.
That is, a value you can initialize a variable to, equal to
'init', but that static analyzers know you don't mean to ever
use.
Don't we already have this in the form of int
uninitialized_value = void; ?
No it's not the same - void initialization leaves the variable
uninitialized. I'm saying, something that still initialized, but
marks that initial value as not to be used. Anyway... given the
existence of void initialization (which I'd forgotten about),
what I suggested would be very confusing to add.
