d与C++引用区别

void main()
{
    import std.stdio: write, writeln, writef, writefln;

    class A
    {
    	int i = 2;
    }

    class B : A
    {
    	int j= 3;
    }

    void incr(ref A a)
    {
    	writeln(a.i);
    }

    B b = new B();
    incr(b);

}

亚当:为啥用引用?考虑:

class C : A {}

void incr(ref A a) {
   a = new C;//赋值
}

B b = new B;//B
incr(b);
// 破坏了.

Tejas:亚当
但为什么可让b作为参数呢?B不是A的子类.
迈克:
因为,这里有两级间接.D中ref A与C++的&不一样,D类是引用语义,而非C++的值语义.
b为实例句柄,而非实例.类似C++的B*.
ref A类似C++的A**.C++中的B**不能隐式转换为A**.
D中引用在此,只是指针:

void incr(A* a)
{
    writeln(a.i);
}

B b = new B();
incr(&b);//这样更明显

编译失败,因为B*不能隐式转换为A*,与C++的B**不能转换为A**一样.你可显式用incr(cast(A*)&b);来转换.但:

void incr(A* a)
{
    *a = new A;
}

B b = new B();
incr(cast(A*)&b);
writeln(b.j);

如果这样,你的b就不是B类型了,而是A了.因此多级指针,不允许隐式转换.
D中类是引用类型.