Re: immutable ctors, immutable members, and TDPL

[TommiT]

On Friday, 24 May 2013 at 08:47:40 UTC, Dicebot wrote:
Also one issue Don has brought my attention to is this snippet:
// -----------------------------

immutable int x = 1;

void main()
{
        import std.stdio;
        writeln(x);
}

static this()
{
        x = 42;
}
// (does not compile in 2.062 and won't in 2.063)

// ------------------------------

Whatever approach is taken, I think it should be consistent 
with structs/classes in a sense that global variables are 
module members and module constructor is, well, constructor.

But it looks very hard to do because "immutable" is implicitly 
"shared". Ideas?

That shouldn't compile because the non-shared module constructor 
writes to the shared variable x whenever a new thread starts with 
that module.

But a better question is whether or not it should compile with a 
shared module constructor:

immutable int x = 1;

shared static this()
{
    x = 42;
}

... I don't know, but I think it should follow the same logic as 
with a non-static immutable member variable and a shared default 
constructor.

Also, I think the following shouldn't compile due to a non-shared 
module constructor assigning to a shared variable (currently it 
does compile):

immutable int x;

static this()
{
    import std.random;
    x = uniform(0, 100);
}