好了,那么来看J.由于C++(www.cppentry.com)并没有规定多重继承的时候,几个父类的构造函数的顺序是什么,所以我们需要sizeof(J)>sizeof(I)这个条件。为什么呢?看Derived类的构造函数--它之让sizeof(T)更大的数据覆盖Base里面的数据。
所以我们就可以确定下面的事情:
1 const H& h=H();
2 const H& i=I();
3 const H& j=J();
4 TEST_ASSERT(h.size<i.size);
5 TEST_ASSERT(i.size<j.size);
6 TEST_ASSERT(h.size==sizeof(H));
7 TEST_ASSERT(i.size==sizeof(I));
8 TEST_ASSERT(j.size==sizeof(J));
无论J的三个Derived<T>的构造函数谁先执行,最后能够留下来的Base里面的数据肯定是Derived<J>里面的数据。讲到这里应该很清楚了。如果读者还没想到这跟反射有什么关系的话,那么请想一下,如果Base除了size以外,还有一个ITypeDescriptor** typeDescriptor;成员。然后Derived改成这样:
1 template<typename T>
2 class Derived :
3 {
4 public:
5 static ITypeDescriptor* type;
6
7 Derived()
8 {
9 if(){size=sizeof(T); typeDescriptor=&type;}
10 }
11 };
那么不管你的J拿到手里的类型是什么,哪怕是const H& j,那么j.typeDescriptor肯定就是&Derived<J>::type;
到这里还没有跟VC++(www.cppentry.com)有关系的东西。假设ITypeDescriptor是一个足够代表反射功能的高级接口的话,那么我们要怎么实现它呢?我们自己来按照字符串去调用各种函数什么的去实现它肯定麻烦到死了。但是如果大家还记的我前面的这篇博客文章的话,那么大家肯定想到了,我们可以写一个程序来替我们读pdb生成ITypeDescriptor的代码,还有把具体的对象赋值进Derived<T>::type里面去的一个初始化函数!啊哈哈哈!当然pdb只能是从Visual C++(www.cppentry.com)编译出来的,就算不是,也至少只能是Windows上面的。不过对GacUI来说并无所谓。因为我只要把GacUI在VisualStudio里面编译生成反射的代码,这个生成之后的代码我还是能放到其他地方编译的。到时候我只要连同这段代码一并发布就好了。
当然,这个程序不仅仅可以帮我实现ITypeDescriptor,还可以帮我实现C语言和C++(www.cppentry.com)语言的dll接口的实现,因为dll里面肯定不能暴露模板的。下面就仅需要我去把它做出来就可以了。至此,我们让一个类支持反射的代价很低--只要让他继承自Derived<自己>就好了。