D构造函数问题

原文

/// module g.d
class world
{
atlasHandler atlas;

void do()
    {
    atlas = new AtlasHanlder();
    elf e = new elf(atlas);
    }
}

/// module 'objects.d'
class atlasHandler{}

class elf
{
this(atlasHandler atlas)
    {
    assert(atlas !is null); //正常
    assert(g.world.atlas !is null); //崩溃

    writefln("atlas [%p] vs g.world.atlas [%s]", atlas, g.world.atlas);
    // 读g.world.atlas时,崩溃.
    }
}

world为null是因为未构造成功.构造器内部有段错误.
也像是你原段错误的来源.你在构造器中有循环引用.即,你在构造全局世界实例,它又构造了访问构造器尚未完成的全局世界引用的elf实例,因此全局世界引用仍为空.

如果正在构建世界,且需要访问它,则可:
1,用闲着的析构器初化世界,然后在它上面调用setup方法干构造器的活;
2,从世界构造器中传递this给所有需要它的构造器.
类似:

import std.stdio : writeln;

class Foo {
    Bar b;
    this() { b = new Bar; }
    void sayMyName() { writeln("哈哈."); }
}

class Bar {
    this() { f.sayMyName(); }
}

Foo f;

void main()
{
    f = new Foo;
}

与模块无关.它是引用自身.
在构造器返回前,构造实例的引用为null.与在模块,函数域等都没有关系.如果未构造成功(段错误,抛的异常,断定失败等),则引用始终为null.
引用不是实例.它是实例的指针.已调用构造器时实例有效,因为this引用必须有效.考虑普通函数调用:

T newT() {
    T t = allocT();
    t.construct(t);
    return t;
}

T g = newT();

如果t.construct抛或崩溃,则不会执行return t,也不会初化g.