可以出现类型代码的一种上下文是在 C 中具有union类型:
typedef enum Type { T_INT, T_FLOAT, T_DOUBLE, T_LONG } Type;
typedef struct Datum
{
Type type;
union
{
int i;
float f;
long l;
double d;
} u;
} Datum;
Run Code Online (Sandbox Code Playgroud)
这导致代码如下:
Datum v;
switch (v.type)
{
case T_INT:
int_processing(v.u.i);
break;
case T_FLOAT:
float_processing(v.u.f);
break;
case T_DOUBLE:
double_processing(v.u.d);
break;
}
Run Code Online (Sandbox Code Playgroud)
现在,从开关中省略 T_LONG 是有意还是无意?它是最近添加的,而这个开关没有得到必要的更新吗?
当你得到很多这样的代码,你需要添加T_UNSIGNED时,你必须去寻找很多地方来纠正。使用 C,您没有像“创建一个类来表示类型”这样简单的解决方案。可以做到,但与更多的面向对象语言相比,它需要(很多)更多的努力。
但是,术语“类型代码”指的是类似于Type示例中的类型。