In C, können unbenutzte Etiketten immer entfernt werden und ein Programm funktionieren?

Question

Wenn eine C-Quelle ein unbenutztes Etikett hat, kann der einzige Grund, warum ich es (aktuell) für nützlich halten könnte, darin bestehen, dass jemand es als "Lesezeichen" verwendet, um einen Codeabschnitt zu finden. Gibt es aus technischen Gründen einen Grund, warum nicht verwendete Etiketten nicht entfernt werden sollten? Mit anderen Worten, ist es möglich, eine Kompilierungseinheit zu unterbrechen, indem sie so entfernt wird, dass externe Kompilierungseinheiten sie irgendwie verwenden können?

BEARBEITEN: Der spezifische Code, den ich modifiziere, ist vor C89, also kann historisches C-Verhalten einen Unterschied machen.

Answer 1

Es ist sicher sicher für C99, C11 Standards, wo klar, dass heißt:

Ein Markenname die einzige Art von Kennung, die Funktionsumfang hat. Es kann (in einer goto-Anweisung) überall in der Funktion verwendet werden, in der es erscheint, und wird implizit durch sein syntaktisches Erscheinungsbild erklärt (gefolgt von a: und einer Anweisung).

Wenn das Etikett in der Funktion nicht verwendet wird, können Sie es entfernen.

PS In C89 Standard, den wir haben:

Ein Markenname die einzige Art von Kennung, die Funktionsumfang hat. Es kann (in einer goto-Anweisung) überall in der Funktion verwendet werden, in der es erscheint, und wird implizit durch sein syntaktisches Erscheinungsbild erklärt (gefolgt von a: und einer Anweisung). Etikettenbezeichnungen müssen innerhalb eine Funktion eindeutig sein.

Wieder Etiketten werden in Funktionsumfang beschränkt, sondern auch in der alten glorreichen Buch K & R C-Sprache, Seite 58 §3.8 Goto und Etiketten, sagt:

A label hat die gleiche Form wie ein Variablenname, gefolgt von einem Doppelpunkt . Es kann an jede Anweisung in der gleichen Funktion wie die goto angefügt werden. Der Umfang eines Etiketts ist die gesamte Funktion.

So können Sie sie von überall sicher entfernen.