探索D语言中的引用类型实现方法

D中,目前有几种不同的方式可以引用类型
1)按名称.

int x;//&＃96;按名称引用&＃96;int


2)按别名.

alias T &＃61; int;
T x; //按别名T引用int


3)按模板参数.

template foo(T) {T x; // 按&＃96;T&＃96;参数引用类型
}


4)按typeof表达式.

typeof(42) x;//通过&＃96;typeof(42)&＃96;式引用&＃96;整&＃96;


5)按__traits表达式.

struct Node {int data;__traits(parent, data)* next;//通过&＃96;__traits(parent,data)&＃96;式引用&＃96;Node&＃96;
}


6)按串插件.

mixin("int") x;//通过&＃96;mixin("int")&＃96;来引用&＃96;整&＃96;


一般,类型是不变的,禁止这样:

alias T &＃61; int;T x &＃61; 42;T &＃61; string; // 不能赋值别名T s &＃61; "hello";


因为会更难阅读/更改.但有时可能会很方便.
此时类型函数就有用了.提供T可更改的环境.
递归的问题是性能很差,性能为O(N).而类型函数及...可降为O(1).