switch case 中声明变量后执行的奇怪问题

解释我写在注释里面了
我不知道为什么要这样写代码
为了学习?
因为这不是标准代码 让别人读起来很奇怪
1 - 声明innerVal不能声明在switch中得非case block内
2 - case 要写break;

#include <stdio.h>

int main(int argc, const char * argv[]) {
    // insert code here...
    int val = 0;
    printf("%d\n", innerVal);
    // 这里一定会报错 这时innerVal并没有声明
    switch (val) {
        int innerVal = 1;
        // 这行代码永远不会执行 因为 switch只执行条件内的block
        // 但是 当前函数在注册栈内成员时 由于扫描到这里的变量 会注册这个变量 分配内存并且附上默认值 也就是0
        case 0:
        {
            innerVal++;
            printf("%d\n", innerVal);
            // 这里缺少break 所以会继续执行 innerVal是默认值0 所以这里++后 是1
        }
        case 2:
        {
            innerVal++;
            printf("%d\n", innerVal);
            // 这里缺少break 所以会继续执行 innerVal1 所以这里++后 是2
        }
        default:
        {
            innerVal++;
            printf("%d\n", innerVal);
            // 这里缺少break 所以会继续执行 innerVal2 所以这里++后 是3
        }
    }
    return 0;
}