¿Saltas del bucle directamente después de que se completa la ejecución predeterminada?

No.

En programación, la rama predeterminada se suele utilizar para manejar situaciones que no cumplen otras condiciones. Cuando el programa se ejecuta en la rama predeterminada, ejecutará el bloque de código correspondiente pero no saldrá del bucle directamente.

A menos que se utilice una declaración para salir del bucle (como break) en el bloque de código de la rama predeterminada, el programa continuará ejecutando otras partes del bucle. Por lo tanto, la rama predeterminada en sí no hará que el programa salte directamente del bucle.