Warum brauchen Sie in C eine Anweisung nach einem goto-Label?

Ich schreibe etwas C-Code und in meinem Code habe ich zwei verschachtelte Schleifen. Unter einer bestimmten Bedingung will ich break aus der inneren Schleife und continue die äußere Schleife. Ich habe versucht, dies mit einem Label am Ende des Codes der äußeren Schleife zu erreichen, und unter der Bedingung, goto dieses Etikett. Jedoch gcc gibt einen Fehler aus, dass ich am Ende einer zusammengesetzten Anweisung kein Label haben kann. Warum nicht?

Anmerkung 1: Dies ist keine switch Aussage u das Frage wurde an anderer Stelle beantwortet.

Anmerkung 2: Dies ist keine Frage des Stils und ob ich es verwenden sollte oder nicht goto stattdessen Anweisungen oder bedingte Variablen.

BEARBEITEN: Die Leute haben nach einem Beispiel gefragt, und ich kann ein etwas einfaches Beispiel geben, um zu überprüfen, ob ein Array ein Unterarray eines anderen Arrays ist

    int superArray[SUPER_SIZE] = {...}, subArray[SUB_SIZE] = {...};
    int superIndex, subIndex;

    for (superIndex=0; superIndex<SUPER_SIZE-SUB_SIZE; superIndex+=1)
    {
      for (subIndex=0; subIndex<SUB_SIZE; subIndex+=1)
        if (superArray[superIndex+subIndex] != subArray[subIndex])
          goto break_then_continue;

      // code that executes if subArray is a sub array

      break_then_continue:
    }

Im Standard wird explizit gesagt, dass Labels zu einer Anweisung gehören, daher ein einfaches Semikolon (;) nach Ihrem Label kann das Problem umgehen, auf das Sie stoßen, da dies als Aussage gilt.

Es gibt sogar ein Beispiel für die Verwendung eines “leer“¹ Aussage ein 6.8.3/6.

BEISPIEL 3 Eine Null-Anweisung kann auch verwendet werden, um ein Label direkt vor dem schließenden } einer zusammengesetzten Anweisung zu übertragen

while (loop1) {
  /* ... */

  while (loop2) {
    /* ... */

    if (want_out)
      goto end_loop1;

    /* ... */
  }

  /* ... */

  end_loop1: ;
}

¹ In der Norm wird dies als a bezeichnet null statement.

6.8.1 Beschriftete Aussagen

Syntax
  1 labeled-statement:
      identifier : statement
      case constant-expression : statement
      default : statement

Beachte das statement ist im obigen Zitat nicht optional.

• open-std.org: n1124.pdf

Sie müssen lediglich schreiben:

label: ;

Das Semikolon ist eine leere Anweisung. Sie brauchen es, weil die Sprache so definiert ist; Sie müssen zu einer Anweisung gehen, auch wenn diese leer ist.

    for (int i = 0; i < N; i++)
    {
        for (int j = 0; i < M; j++)
        {
            ...
            if (some_condition)
                goto continue_loop1;
            ...
        }
continue_loop1: ;
    }

Über die Einkerbung auf dem Etikett kann man streiten.

Das Etikett sollte auf eine Aussage verweisen.

C befiehlt dies:

(C99, 6.8.1 Labeled Statements p4) ” Jeder Anweisung kann ein Präfix vorangestellt werden, das einen Bezeichner als Labelnamen deklariert.”

In Ihrem Fall können Sie eine Null-Anweisung verwenden:

void foo(void)
{
    goto bla;

    bla:
    ;
 }

Null-Anweisungen führen keine Operation aus.

Oder Sie können auch eine zusammengesetzte Anweisung (einen Block) verwenden, wenn Sie Deklarationen haben:

void foo(void)
{
    goto bla;

    bla:
    {
        int x = 42;
        printf("%d\n", x);
    }
 }