Как это работает: case залез вовнутрь if'а?

Question

[Александр Скуснов]

Разбираю пример. Как можно ветку case засунуть вовнутрь if'а? Разве структурный подход это позволяет? Или case это просто метка в любом месте, лишь бы за границы switch не заходить?
(сам я программирую ПЛК, т.е. C++ только изучаю)

По просьбе модератора:

LRESULT CALLBACK WndProc(HWND hwnd, UINT message, WPARAM wParam, LPARAM lParam)
{
    if ( g_IsInitialized )
    {
        switch (message)
        {
        case WM_PAINT:
            Update();
            Render();
            break;
        case WM_SYSKEYDOWN:
        case WM_KEYDOWN:
        {
            bool alt = (::GetAsyncKeyState(VK_MENU) & 0x8000) != 0;

            switch (wParam)
            {
            case 'V':
                g_VSync = !g_VSync;
                break;
            case VK_ESCAPE:
                ::PostQuitMessage(0);
                break;
            case VK_RETURN:
                if ( alt )
                {
            case VK_F11:                              // <------------------------------
                SetFullscreen(!g_Fullscreen);
                }
                break;
            }
        }
        break;
        // The default window procedure will play a system notification sound 
        // when pressing the Alt+Enter keyboard combination if this message is 
        // not handled.
        case WM_SYSCHAR:
        break;
        case WM_SIZE:
        {
            RECT clientRect = {};
            ::GetClientRect(g_hWnd, &clientRect);

            int width = clientRect.right - clientRect.left;
            int height = clientRect.bottom - clientRect.top;

            Resize(width, height);
        }
        break;
        case WM_DESTROY:
            ::PostQuitMessage(0);
            break;
        default:
            return ::DefWindowProcW(hwnd, message, wParam, lParam);
        }
    }
    else
    {
        return ::DefWindowProcW(hwnd, message, wParam, lParam);
    }

    return 0;
}

Update:
на втором мониторе включил отладку: действительно F11 минует первую точку (игнорирует if).
(у F11 и Alt-Enter одно и то же действие - кто-то спрашивал)

Comments

[Игорь]

почитайте зачем break нужен у case

[Adamos]

Если в этом коде имелось в виду, что Alt-Enter должен работать одинаково с F11 - то автору кода стоит запретить приближаться к компьютеру. Пока он не погиб от рук того, кому придется сопровождать его сочинение.

[Александр Таратин]

Даже в мыслях не допускал, что так можно

[maaGames]

Александр Таратин, Аналогично. В ужасе убедился, что ТАКОЕ компилируется даже без предупреждения.
Понятно, что switch это всего-лишь высокоуровневая обёртка над if-goto, но WTF???!!!

[Александр Таратин]

maaGames, Если речь о плюсах, то switch это далеко не

высокоуровневая обёртка над if-goto

https://www.eventhelix.com/RealtimeMantra/Basics/C...
lazarenko.me/switch
microchipdeveloper.com/tip:3

[maaGames]

Александр Таратин, Реализация зависит от компилятора. Мне безразлично, сделано через таблицу маршрутизации, if-goto или пачку if-else, меня волнует, почему ЭТО компилируется без предупреждения?!

[Saboteur]

этот вопрос сделал сегодняшний день =)

[jcmvbkbc]

почему ЭТО компилируется без предупреждения?!

maaGames, потому что так задумано. Так и должно быть. В этом есть смысл. Живи теперь с этим.
И к тому же, это классика, классику надо знать: https://en.wikipedia.org/wiki/Duff%27s_device

Answer 1

[Василий Мельников]

Так можно но не нужно. В каких то старых сишных компиляторах вроде даже можно было по goto перейти между функциями. И зачем-то это использовали и стек руками правили чтобы всё работало.

А это современный C++
Без предупреждений...

for (int i = 0; i < 10; ++i) {
		for_label:;
			cout << i << endl;
	}

	goto for_label;

Comments

[jcmvbkbc]

for (int i = 0; i < 10; ++i) {
    for_label:;
      cout << i << endl;
  }

  goto for_label;

Этот код -- невалидный, g++ справедливо выдаёт error при его компиляции:

loop.cpp: In function ‘int main()’:
loop.cpp:6:1: error: jump to label ‘for_label’ [-fpermissive]
 for_label:;
 ^~~~~~~~~
loop.cpp:10:7: note:   from here
  goto for_label;
       ^~~~~~~~~
loop.cpp:5:11: note:   skips initialization of ‘int i’
  for (int i = 0; i < 10; ++i) {
           ^

[Василий Мельников]

jcmvbkbc, майкрософтовский компилятор его вполне переваривает.Vc2015

[jcmvbkbc]

Василий Мельников, так у него, небось, и область действия int i за пределы for свешивается. Ну, М$, да, в своём духе.

[Василий Мельников]

jcmvbkbc, кстати формально нет. Это на 6й студии кончилось.
Но после перехода в цикл по goto I продолжает инкрементироваться, т.е. по факту живет за пределами цикла.