Точка с запятой после регистра, допустимого в операторе переключения PHP?

Question

Я отлаживаю некоторый код для клиента и нашел следующий синтаксис:

switch ($i) {
    case 0;
        echo "i equals 0";
        break;
    case 1;
        echo "i equals 1";
        break;
    case 2;
        echo "i equals 2";
        break;
}

Операторы case заканчиваются точкой с запятой, а не двоеточием.Оказывается, это компилируется, но законно ли это?Я никогда раньше не видел этот синтаксис.

Answer 1

Из документации :

Можно использовать точку с запятой вместо двоеточия после случая, подобного:

switch($beer)
{
    case 'tuborg';
    case 'carlsberg';
    case 'heineken';
        echo 'Good choice';
    break;
    default;
        echo 'Please make a new selection...';
    break;
}

Answer 2

Как вы можете проверить здесь, это работает: http://codepad.org/hOLQP98D я думаю, что это работает, потому что оно проваливается

Answer 3

Да, так же, как $i имеет числовое значение