D 中是否有元类或类引用？

Question

D 中是否有任何类引用系统？为了更准确，我寻找相当于 Delphi 的方法

TMyClassRef = class of TMyClass;

这将用于工厂（就像在 Object 中一样，但不使用类名）：

// ideally
void AddNew(*TBaseClass APtr, /*?class_ref_type?*/ AClassType)
{
    *APtr = new AClassType;
}

目前我这样做：

void AddNew(*TBaseClass APtr)
{
    *APtr = new typeof(*APtr);
}

但问题是typeof() 总是返回TBaseClass，而不是TBaseClass 的子类（当子类作为参数传递时）。这显然是在 Delphi 中使用类引用但 D 语言似乎没有这样的系统的情况。

Answer 1

也许我完全错过了 Delphi 中的想法，但这似乎是模板的用途：

import std.stdio;

class Parent {
    string inherited() {
        return "Hello from parent";
    }

    override string toString() {
        return "Hello from parent";
    }
}

class Child : Parent {
    override string toString() {
        return "Hello from child";
    }
}

void add(C, P)(P* ptr) {
    *ptr = new C;
}

void main() {
    Parent t;
    writeln(t); // prints null

    add!Child(&t);
    writeln(t); // prints Hello from child
    writeln(t.inherited()); // prints Hello from parent
}

这样你传入你想要实例化的类型，而不是那个类型的实例化对象。如果 C 不是 add() 中 P 的子代，这应该会产生编译错误。

编辑：

如果您想更具体地使用 add，您可以这样做：

void add(T : Parent)(Parent* ptr) {
    *ptr = new T;
}

为了让事情变得更好，使用out 参数更惯用：

void add(T : Parent)(out Parent ptr) {
    ptr = new T;
}
void main() {
    Parent p;
    add!Child(p);
}

Answer 2

就我对 Delphi 概念的理解而言，D 没有以 Delphi 方式引用的类。如果您需要对对象构造做出运行时决策，object.TypeInfo 可能会为您提供帮助。

您可以通过typeid 构造为变量检索TypeInfo：

import std.stdio;

class Base
{
    void f()
    {
        writeln("Base");
    }
}

class Descendant : Base
{
    override void f()
    {
        writeln("Descendant");
    }   
}

Base makeNew(Base other)
{
    // cast is needed because create() returns plain Object
    // we can be sure it is Base at least, though, because it was crated from Base
    return cast(Base)typeid(other).create();
}

void main()
{
    Descendant source = new Descendant;
    Base target = makeNew(source);
    // prints "Descendant"
    target.f();
}

此代码示例是否与您想要的相似？

D 通常在运行时操作和编译时操作之间有非常明显的区别。 typeof 在编译时工作，因此在层次结构的情况下无法查询“真实”类类型。