switch 结构的 fall through

  今天在LevelDB的源码~/util/hash.cc中看到一段:
  

// The FALLTHROUGH_INTENDED macro can be used to annotate implicit fall-through
// between switch labels. The real definition should be provided externally.
// This one is a fallback version for unsupported compilers.
#ifndef FALLTHROUGH_INTENDED
#define FALLTHROUGH_INTENDED do { } while (0)
#endif
uint32_t Hash(const char* data, size_t n, uint32_t seed) {
  // Similar to murmur hash
  const uint32_t m = 0xc6a4a793;
  const uint32_t r = 24;
  const char* limit = data + n;
  uint32_t h = seed ^ (n * m);

  // Pick up four bytes at a time
  while (data + 4 <= limit) {
    uint32_t w = DecodeFixed32(data);
    data += 4;
    h += w;
    h *= m;
    h ^= (h >> 16);
  }

  // Pick up remaining bytes
  switch (limit - data) {
    case 3:
      h += static_cast<unsigned char>(data[2]) << 16;
      FALLTHROUGH_INTENDED;
    case 2:
      h += static_cast<unsigned char>(data[1]) << 8;
      FALLTHROUGH_INTENDED;
    case 1:
      h += static_cast<unsigned char>(data[0]);
      h *= m;
      h ^= (h >> r);
      break;
  }
  return h;
}

  作者为什么要在switch结构中使用FALLTHROUGH_INTENDED这个宏呢?
  从代码的执行上考量,这完全是多此一举的嘛。
  其实不然,若是不使用,而直接如下面的话:
  

  switch (limit - data) {
    case 3:
      h += static_cast<unsigned char>(data[2]) << 16;
    case 2:
      h += static_cast<unsigned char>(data[1]) << 8;
    case 1:
      h += static_cast<unsigned char>(data[0]);
      h *= m;
      h ^= (h >> r);
      break;
  }

  第一印象有木有感觉少了点什么?对,少了break。
  在印象中,我似乎很乐于接受下面这样的(有同感的童鞋请举个爪。。。):

  switch (limit - data) {
    case 3:
    case 2:
    case 1:
      h += static_cast<unsigned char>(data[0]);
      h *= m;
      h ^= (h >> r);
      break;
  }

  若是具体的case后面没有实际执行代码,这样子看起来也挺舒服;一旦有了执行代码,没有break的话,则不会立即退出switch,而是继续执行后面的case(这就叫switch结构的fall through现象,额,今天才知道还有这么个高大上的叫法),看着会不会有点别扭?
  若是很久以后或是陌生人看到这样的代码,可能先入为主地认为这可能存在bug!

  但是,有时候是真的需要不break,继续执行后面的case,比如上面LevelDB获取hash值,需要用到键值的每个字节,所以如果剩余字节数是3,取到3之后还得继续取2、1,需要这种fall through现象(当然,没有break就会自然的fall through),于是在这里显示的加上FALLTHROUGH_INTENDED,从名字上也好理解,故意地fall through,相当于加上注释了。

  • 0
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
[warning] this statement may fall through [-wimplicit-fallthrough=] 的意思是“此语句可能会穿透”,是编译器给出的警告信息。它表示在 switch 语句中,某个 case 分支没有使用 break 或 return 等语句来结束,而是直接进入了下一个 case 分支,这可能会导致程序出现意外的行为。为了避免这种情况,可以在每个 case 分支的末尾加上 break 或 return 等语句来明确结束该分支。 ### 回答2: 最近在做C++开发的时候,经常会遇到一些编译器的警告,其中就有一个是“warning:this statement may fall through [-wimplicit-fallthrough=]”。 所谓的“fall through”,即是指 switch 语句中,同时满足多个 case 分支的情况,即程序在执行某个 case 时,会因为没有 break; 语句而继续执行下一个 case,这就是“fall through”,也称作“贯穿”。 在C++的编译器中,通常会设置一个警告选项“-Wimplicit-fallthrough”,用来提示开发者在 switch 语句中遗漏了 break; 而导致的“fall through”情况。可以使用“-Wno-implicit-fallthrough”宏取消此警告。 警告信息中的“this statement may fall through”是指,在当前的 switch 语句中,某个 case 分支中没有出现 break; 语句,因此有可能会发生“fall through”的情况。出现这种情况的时候,编译器会给出警告提示,开发者需要检查代码逻辑是否有误,并在需要的地方加入 break; 语句,以避免出现“fall through”的情况,从而保证程序的正确性。 此外,在代码审查的时候,也应该注意这个警告信息,及时发现和修复代码中的问题。避免出现不必要的“fall through”情况,能够增强代码的可读性和可维护性,也能够减少代码出错的概率,提高程序的质量和稳定性。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值