我只负责转换![C/C++]

本文围绕C/C++编程展开,探讨枚举类型的强制转换。通过具体例子说明将 -1 强制转换为枚举类型赋值给变量,虽编译器不阻止,但转换是否有意义需考量。指出枚举是整数常量表现形式,C/C++给予程序员自由,其利弊取决于程序员做法。

我只负责转换![C/C++]

Written by Allen Lee

前不久,lsp在这里留下这样一个问题:

说明:

1.定义了一个枚举如下:

None.gif enum _jb_prog_mode
ExpandedBlockStart.gifContractedBlock.gif
dot.gif {
InBlock.gifPROGRAM_ONE
=0,
InBlock.gifPROGRAM_TWO
ExpandedBlockEnd.gif}
;
None.gif
None.gif
enum _jb_prog_modee_prog_index;

2.疑惑:

None.gif e_prog_index = ( enum _jb_prog_mode) - 1 ;

e_prog_index等于-1?为什么?

你的疑惑隐藏着这样一个结论:e_prog_index的值不应该等于-1。我相信你得出这个结论的理由是_jb_prog_mode枚举中没有哪个成员的值为-1,于是类型为_jb_prog_mode的变量e_prog_index的值也不应该为-1。

现在,我们转换一下场景,假定注册表中有如下的信息:

[HKEY_LOCAL_MACHINE\SOFTWARE\Allen]
"Name"="Allen Lee"
"ID"=dword:00000584

我们如何通过编程获取这些信息呢?我们可以使用Win32 API的RegQueryValueEx()函数来读取这些信息(代码片断):

None.gif LPBYTElpData;
None.gifDWORDdataBufLen;
None.gif
None.gif
if (RegQueryValueEx(hKey, // hKey为指向HKEY_LOCAL_MACHINE\SOFTWARE\Allen的句柄
None.gif
" Name " ,
None.gifNULL,
None.gifNULL,
None.giflpData,
None.gif
& dataBufLen) == ERROR_SUCCESS)
ExpandedBlockStart.gifContractedBlock.gif
dot.gif {
InBlock.gif
//Convert_01:
InBlock.gif
char*data=newchar[dataBufLen];
InBlock.gifdata
=(char*)lpData;
InBlock.gifstd::cout
"Username:"datastd::endl;
InBlock.gif
InBlock.gif
InBlock.gif
//Convert_02:
InBlock.gif
//DWORD*data=(DWORD*)lpData;
InBlock.gif
//std::cout
ExpandedBlockEnd.gif
}

None.gif
None.gif
if(RegQueryValueEx(hKey,
None.gif
"ID",
None.gifNULL,
None.gifNULL,
None.giflpData,
None.gif
&dataBufLen)==ERROR_SUCCESS)
ExpandedBlockStart.gifContractedBlock.gif
dot.gif{
InBlock.gif
//Convert_03:
InBlock.gif
DWORD*data=(DWORD*)lpData;
InBlock.gifstd::cout
"UserID:"*datastd::endl;
InBlock.gif
InBlock.gif
//Convert_04:
InBlock.gif
//char*data=newchar[dataBufLen];
InBlock.gif
//char*data=(char*)lpData;
InBlock.gif
//std::cout
ExpandedBlockEnd.gif
}

留意这段代码有两次转换,如果我们分别把Convert_01和Convert_03替换为Convert_02和Convert_04的话会怎么样呢?编译器不会为难你的,但运行效果可想而知。

回顾这两个例子,我们可以得到什么结论呢?正如本文的题目——

我只负责转换!

当你强制把-1转换为_jb_prog_mode类型并赋值予e_prog_index变量时,你只能说e_prog_index变量不包含_jb_prog_mode枚举预定义的值,并不能说e_prog_index变量的值非法(其实枚举类型和整数类型之间有着很深的渊源)。编译器是不会妨碍你的这种转换,而这种转换是否有意义就是另外一回事了。当然,你应该采取某些措施来检测枚举变量是否包含预定义的值,否则你将可能不时收到意外惊喜。

在C/C++中,枚举其实是整数常量的一种表现形式,它实质上只是协助程序员标识一组相关的整数常量。语义上,

None.gifenum_jb_prog_mode
ExpandedBlockStart.gifContractedBlock.gif
dot.gif{
InBlock.gifPROGRAM_ONE=0,
InBlock.gifPROGRAM_TWO
ExpandedBlockEnd.gif}
;

等效于

None.gifstaticconstintPROGRAM_ONE=0;
None.gif
staticconstintPROGRAM_TWO=1;

C/C++给予程序员最大的自由来进行选择,这也体现出C/C++对程序员的信任。然而,这种信任究竟是帮助我们还是伤害我们,就要看程序员本身的做法了。

最后,我引用Robert B. Murray的一段话[1]结束本文:

写出依赖于语言中定义含糊、意义微妙的规则的程序是不好的,即便作者本人清楚它的意义并保证它可以正确运行,下一个来维护这段代码的人也可能未必能够做到这点。比较好的做法是:坚持使用语言中那些被广泛使用及理解的部分来写程序。

See also:

评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值