mixin 模拟多继承

转自:http://www.javaeye.com/subject/dlang

D1.0 代码

1. /** TupleMixin 演示程序, DMD2.007/GDC0.24 测试通过
2. Written in the D programming language 1.0
3. 作者： oldrev
4. Copyrights: BSD
5. */
7. import std.stdio;
9. //PredT 参数的作用是让你能够在每个模板混入之前对它进行处理,
10. //比如可以在混入前用 static assert 检查是否有特定的成员
11. //总而言之，PredT 给你机会控制混入时的细节。
12. template MixinTuple(alias PredT, L...)
13. {
14. mixin PredT!(L[0]);
16. static if(L.length > 1)
17. mixin MixinTuple!(PredT, L[1..$]);
18. }
20. // P 是所有准备当做超类的模板
21. class Mixinable(SuperClass, P...) : SuperClass
22. {
23. private const string InitCode = "private void initAllMixins() {";
25. //PredT 的一个例子，混入且产生与模板同名的 alias
26. template MixinWithAliasPred(alias X) {
27. mixin("mixin X!() " ~ (X.stringof)[0..$-2] ~ ";"); //去掉模板名称后的 '()'
28. }
30. mixin MixinTuple!(MixinWithAliasPred, P);
32. private template MakeInitCode(TL...)
33. {
34. static if(TL.length == 0)
35. const string MakeInitCode = "";
36. else
37. { //"HasMember" 惯用法
38. static if(is(typeof(mixin(TL[0].stringof[0..$-2] ~ "._ctor"))))
39. { //如果TL[0] 有 _ctor 成员函数（也就是 this()），我们就产生调用 _ctor 的代码。
40. const string MakeInitCode = TL[0].stringof[0..$-2] ~ "._ctor();/n" ~
41. MakeInitCode!(TL[1..$]);
42. }
43. else //没有 _ctor，继续递归
44. const string MakeInitCode = MakeInitCode!(TL[1..$]);
45. }
46. }
48. protected this()
49. {
50. mixin(MakeInitCode!(P)); //产生并执行代码调用所有模板的 this()
51. }
52. }
54. /////////////////////////////////////////////////////
55. //开始演示:
56. /////////////////////////////////////////////////////
58. template Policy()
59. {
60. this() {
61. writefln("Policy.this()");
62. }
64. ~this() {
65. writefln("Policy.~this()");
66. }
68. void bar(T)(T x) {
69. writefln("bar()");
70. }
71. }
73. template Policy2()
74. {
75. this() {
76. writefln("Policy2.this()");
77. }
79. ~this() {
80. writefln("Policy2.~this()");
81. }
83. void foo() { writefln("Policy2.foo"); }
84. }
86. class SuperBar //超类，或者叫基类
87. {
88. this() {
89. writefln("SuperBar.this()");
90. }
91. }
93. // Mixinable 用法演示——模拟多继承
94. // Foo 类是组合 Policy, Policy2 和 基类 SuperBar 的结果
95. class Foo : Mixinable!(SuperBar, Policy, Policy2)
96. {
97. this() {
98. writefln("Foo.this()");
99. }
101. void foo() { writefln("Foo.foo"); }
103. ~this() {
104. writefln("Foo.~this()");
105. }
106. }
108. void main()
109. {
110. Foo f = new Foo;
111. f.foo;
112. f.bar(3);
113. }

输出：

1. SuperBar.this()
2. SuperBar.this()
3. Policy.this()
4. SuperBar.this()
5. Policy2.this()
6. Foo.this()
7. Foo.foo
8. bar()
9. Foo.~this()
10. Policy2.~this()
11. Policy.~this()