本文讨论了C语言中typedef相互嵌套的问题以及如何通过标记联合体（tagged union）来实现类似Java的多态性。通过在最前面声明Exp_time，使编译器理解Exp的含义。标记联合体允许用一个基类Exp表示所有子类，如add和times，Exp.T用于代表所有子类。在C语言实现中，使用Exp结构时需要根据enum类型判断联合体内实际内容。
对于typedef的相互嵌套的问题，把哪个放在前面都不行。
解决办法。
在最先面先声明一下。
这样在Exp_time里面编译器就知道Exp是什么意思了。
用编辑联合体可以做出类似java的多态。也就是可以用一个基类表示所有可能的子类。
上面的这个关系也是用Exp表示一种抽象的运算， 而add和times是两个子类，是具体的。可以用Exp.T代表所有子类。
当用C语言实现的时候，么每次使用Exp这种结构的时候，都要先判断里面的enum是那种类型，enum标记了联合体里面具体是什么。
标记联合体的框架
struct tag_union
{
enum Kind;
union
{
primitive type...
struct...(具体类型，而不是指针)
}u;
}
C语言实现版本：
扫一扫
630
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
