在if ... else语句中嵌入案例标签

Question

G ++接受此代码,它的行为与我期望的一样:

#include <cassert>

void example (int value, bool condition) {

  switch (value) {
  case 0:
    if (condition) {
  case 1:
      assert(condition || value == 1);
    } else {
      assert(!condition && value == 0);
    }
    assert(value == 0 || value == 1);
  }

}

int main () {
  example(0, false);
  example(1, false);
  example(0, true);
  example(1, true);
}

也许这是一个愚蠢的基本问题,但代码嗅到一边,将case标签放在一个if...else块中是否是有效的C++ ,并且所有表现良好的编译器是否正确生成将else在输入时跳过块的代码case 1？

Answer 1

就C++而言(草案N3936):

• 大小写和默认标签本身不会改变控制流程,这种流程在这些标签上继续畅通无阻.
• 通常,作为开关主语的子语句是复合和大小写,并且默认标签出现在(复合)子语句中包含的顶级语句中,但这不是必需的.(第6.4.2 - 6节)
• 可以转换为块,但不能以初始化绕过声明的方式.(§6.7 - 3)

你在做什么在技术上是可以的,当然这并不意味着你应该.