d的crtp运行时决定函数模板

class Serializable(Derived, Base = Object) : Base {
    static if (is(Base : Serializable!(Base, C), C)) {
        override void serialize(...) {
            serializeImpl();
        }
    } else {
        void serialize(...) {
            serializeImpl();
        }
    }
    private void serializeImpl(...) {
        auto target = cast(Derived) this;
        ... // 有继承类型了,可相应序化
    }
}

class Person : Serializable!Person { ... }
class Boss : Serializable!(Boss, Person){...}
... // etc.

理念是在类层次结构中的每个叶类上方注入一个自动序列化代码样板的中间基类.由于CRTP,按模板参数传递你声明的类至Serializable包装器,这样它有在serializeImpl()中用来直接序化派生类数据的派生类类型的编译时信息.不需要运行时typeid().最好用编译时自省.
当然,上面例子只是一半.对于反序化,需要动态选择正确反序化函数重载方法来重建派生类型.可通过用启动时运行的静态this()来注册反序化器到以派生类名称为键的全局AA中来完成:

static Object function(ubyte[] data)[string] deserializers;//静态全局.
//应该更明显点.
class Serializable(Derived, Base = Object) : Base {
    ...
    static this() {//注册的是λ.
        deserializers[Derived.stringof] = (ubyte[] data)
        {//
            auto obj = new Derived;
            ... // 解码代码
            return obj;
        };
    }
    ...
}

然后主反序列器只需在输入数据中查找派生类名称,并调用"反序化器"中的适当函数来重建派生对象,不依赖有问题的工厂函数.