一、宏列表
当遇到这样的问题的时候:
有一个标记变量,其中的每个位代表相应的含义。我们需要提供一组函数来访问设置这些位,但是对于每个标记位的操作函数都是相似的。若有32个位,难道要搞32套相似的操作函数么?
你也许会说,用一套操作函数,根据传入的参数来判断对哪个位操作。这样固然可行,但是
①不够直观。例如访问Movable标记位,对于用户来说,is Movable()是很自然的方式,而我们只能提供这样的接口isFlag(Movable)
②扩展性差。若以后增加删改标记位,则需要更改isFlag等函数的代码。
我们想有这样的设计:
在头文件的宏定义中增删标记位的宏,我们为每个标记位设计的操作函数名就自动更改,增加的标记位也自动增加一套操作函数,删除的标记位也自动减去一套操作函数。
这样的设计就太爽了!
但如何实现呢?
首先,每个标记位的宏名一变,我们的操作函数名也要相应改变,这时我们可以想到用带参宏,并用宏的##符,把两个字符串合在一起。(使它们能被宏替换掉)
#define FLAG_ACCESSOR(flag)
bool is##flag() const {
return hasFlags(1 << flag);
}
void set##flag() {
JS_ASSERT(!hasFlags(1 << flag));
setFlags(1 << flag);
}
void setNot##flag() {
JS_ASSERT(hasFlags(1 << flag));
removeFlags(1 << flag);
}
[这一步一般人都能想到的。]
这样,FLAG_ACCESSOR(Movable)就可得到操作Movable标记位的三个函数:is Movable(),set Movable(),setNot Movable()
但是,难道有多少个标记位,我们就要写多少个FLAG_ACCESSOR(flag)么?
如何用一个式子来扩展成多个种的FLAG_ACCESSOR(flag),提取共性,由于这多个FLAG_ACCESSOR(flag),flag是不同的,宏函数名是相同的。故用宏列表:
#define FLAGLIST()
_(InWorklist)
_(EmittedAtUses)
_(LoopInvariant)
_(Commutative)
_(Movable)
_(Lowered)
_(Guard)
这样一个式子:FLAG_LIST(FLAG_ACCESSOR)就搞定了。
但是,还有一个问题,我们还没有定义InWorklist、EmittedAtUses、LoopInvariant等,需要再用宏来定义这些标记位的名字。
例如:
#define InWorklist 1
#define EmittedAtUses 2
……
这样以来,若以后我们增改标记位的名字 就需要修改两处地方了:宏列表、标记名的宏定义。
我们想要的最好的设计是,只改变一处 处处跟着一起改变。
[yang]若是有新的标记位加入我们只在#define FLAGLIST() 中添加一项就好了。例如,_(Visited) 自动添加#define Visited 8。
自动添加一项宏定义难以实现,那我们考虑有没有替代方案,观察发现此宏定义都是定义的数字,而枚举也有同样的功能。
这样,我们把这些展开的位标记名放在enum枚举中,让其自动赋上1,2,3……等数值,而不必用宏定义一个一个地定义。
现在问题变为:如何使我们在#defineFLAGLIST() 中添加一项,enum枚举中就自动添加相应的一项?
我们只有把FLAGLIST()放入enum枚举中,这样才能一增俱增。
若宏列表:
#define FLAGLIST()
_(InWorklist)
_(EmittedAtUses)
_(LoopInvariant)
能再变为:
InWorklist
EmittedAtUses
LoopInvariant
就好了。
这样,我们在#defineFLAGLIST() 中添加一项_(Visited)。则enum中自动添加Visited。
也就是_(InWorklist)如何展开成InWorklist。这个很简单:#define DEFINE_FLAG(flag)flag,
其具体实现方式如下:
#define FLAGLIST()
_(InWorklist)
_(EmittedAtUses)
_(LoopInvariant)
_(Commutative)
_(Movable)
_(Lowered)
_(Guard)
它定义了一个FLAGLIST宏,这个宏有一个参数称之为 ,这个参数本身是一个宏,它能够调用列表中的每个参数。举一个实际使用的例子可能更能直观地说明问题。假设我们定义了一个宏DEFINE_FLAG,如:
#define DEFINE_FLAG(flag) flag, //注意flag后有逗号
enum Flag {
None = 0,
FLAG_LIST(DEFINE_FLAG)
Total
};
#undef DEFINE_FLAG
对FLAG_LIST(DEFINE_FLAG)做扩展能够得到如下代码:
enum Flag {
None = 0,
DEFINE_FLAG(InWorklist)
DEFINE_FLAG(EmittedAtUses)
DEFINE_FLAG(LoopInvariant)
DEFINE_FLAG(Commutative)
DEFINE_FLAG(Movable)
DEFINE_FLAG(Lowered)
DEFINE_FLAG(Guard)
Total
};
接着,对每个参数都扩展DEFINE_FLAG宏,这样我们就得到了enum如下:
enum Flag {
None = 0,
InWorklist,
EmittedAtUses,
LoopInvariant,
Commutative,
Movable,
Lowered,
Guard,
Total
};
接着,我们可能要定义一些访问函数,这样才能更好的使用flag列表:
#define FLAG_ACCESSOR(flag)
bool is##flag() const {
return hasFlags(1 << flag);
}
void set##flag() {
JS_ASSERT(!hasFlags(1 << flag));
setFlags(1 << flag);
}
void setNot##flag() {
JS_ASSERT(hasFlags(1 << flag));
removeFlags(1 << flag);
}
FLAG_LIST(FLAG_ACCESSOR)
#undef FLAG_ACCESSOR
(这样,我们只在宏列表一处更改增删位操作即可。)
【总结:yang】
一步步的展示其过程是非常有启发性的,如果对它的使用还有不解,可以花一些时间在gcc –E上。
【宏列表的优点有:可以把一个式子扩展成多个式子,且很容易扩展,只要再增加列表项即可。】
二、指定的初始化
很多人都知道像这样来静态地初始化数组:
int fibs[] = {1,2,3,4,5} ;
C99标准实际上支持一种更为直观简单的方式来初始化各种不同的集合类数据(如:结构体,联合体和数组)。
数组的初始化
我们可以指定数组的元素来进行初始化。这非常有用,特别是当我们需要根据一组#define来保持某种映射关系的同步更新时。来看看一组错误码的定义,如:
/ Entries may not correspond to actualnumbers. Some entries omitted. /
【参考】