Vczh Library++3.0的山寨C#的ManagedX今天完成了一个功能，就是编译器检查一个类型在他上下文里面是否可用。这个过程足够复杂，我写了足足3个小时。

ManagedX的符号表里面的类型已经被大大简化了。函数指针是类，基本数字类型也是类，所以归根结底只有
1：子类型
2：类
3：模板类型

因为某些关系，对于类型别名没有直接在符号表里面体现出来。举个例子：

1 generic
2 class A
3 {
4 generic
5 public using S = B;
6 }
7
8 generic
9 class B
10 {
11 public using T = Dictionary;
12 }
下面的类型与符号表中类型结构的展开后关系是：

1 ================================================
2 A ->
3 TypeSymbol(A)
4 {
5 GetSymbol() = A
6 GetParentType() = 0
7 GetGenericDeclaration() = TypeSymbol(A)
8 {
9 GetSymbol() = A
10 GetParentType() = 0
11 GetGenericDeclaration() = 0
12 GetGenericArguments() = []
13 }
14 GetGenericArguments() = [int]
15 }
16 ================================================
17 A.S ->
18 TypeSymbol(A.S)
19 {
20 GetSymbol() = A.S
21 GetParentType() = 0
22 GetGenericDeclaration() = TypeSymbol(A.S)
23 {
24 GetSymbol() = A.S
25 GetParentType() = TypeSymbol(A)
26 GetGenericDeclaration() = 0
27 GetGenericArguments() = []
28 }
29 GetGenericArguments() = [string]
30 }
31 ================================================
32 A.S.T ->
33 TypeSymbol(Dictionary)
34 {
35 GetSymbol() = Dictionary
36 GetParentType() = 0
37 GetGenericDeclaration() = TypeSymbol(Dictionary)
38 GetGenericArguments() = [int, string]
39 }
40 ================================================
对于展开前的类型结构，A.S.T其实上是指向了GetSymbol()是A.S.T，而ParentType()是A.S的这样一个结构。然后再经过符号表把所有类型别名的目标类型（譬如A.S就是B）拿出来，替换掉必要的模板参数，最后获得展开后的类型。