Warum kompiliert dieses C-Programm ohne einen Fehler?

Question

Ich bin ein Anfänger in C, und ich spiele mit C. mir einen C-Code wie folgt eingegeben:

#include <stdio.h> 
int main() 
{ 
    printf("hello world\n"); 
    \ 
    return 0; 
} 

Auch wenn ich \ wissentlich verwendet, die C-Compiler keine Fehler werfen. Wofür wird dieses Symbol in der Sprache C verwendet?

Edit:

Auch dies funktioniert:

"\n"; 

Answer 1

Der Backslash \ durch den C-Präprozessor interpretiert bekommen. Es schützt sein folgendes Zeichen (das neue Zeilenzeichen in Ihrem Fall).

Answer 2

Der Backslash entkommt einfach dem nächsten Zeichen. In diesem Fall wahrscheinlich ein Zeilenendezeichen (CR). Perfekt vernünftig.

Answer 3

Die Sequenz Backslash-Newline wird in einer sehr frühen Phase (Phase 2) des Übersetzungsprozesses aus dem Code entfernt. Früher haben Sie lange String-Literale erstellt, bevor eine String-Verkettung stattfand, und Sie erweitern Makros immer noch über mehrere Zeilen.

Siehe §5.1.1.2 Translation Phasen des C99-Standard:

Der Vorrang unter den Syntaxregeln der Übersetzung durch die folgenden Phasen angegeben wird. ⁵⁾

1. Physikalische Quelldatei Mehrbyte-Zeichen abgebildet sind, in einer Implementierung definiert Weise mit dem Source-Zeichensatz (new-line Zeichen für end-of-line-Indikatoren) erforderlichenfalls einzuführen. Trigraph-Sequenzen werden durch entsprechende interne Ein-Zeichen-Repräsentationen ersetzt.
2. Jede Instanz eines Backslash-Zeichens (\), unmittelbar gefolgt von einem neuen Zeichen , wird gelöscht, wobei physische Quellzeilen zu logischen Quellzeilen verbunden werden. Nur der letzte Backslash auf einer physischen Quellleitung darf als Teil eines solchen Spleißes verwendet werden. Eine Quelldatei, die nicht leer ist, muss in einem neuen Zeilenzeichen enden, , dem nicht unbedingt ein Backslash-Zeichen vorangestellt werden muss, bevor ein solches -Spleißen stattfindet.
3. Die Quelldatei wird in Vorverarbeitungstoken zerlegt ⁶⁾ und Sequenzen von Leerzeichen (einschließlich Kommentare). Eine Quelldatei darf nicht in einem teilweisen Vorverarbeitungstoken oder in einem Teilkommentar enden. Jeder Kommentar wird durch ein Leerzeichen ersetzt. Zeichen für neue Zeilen bleiben erhalten. Ob jede nicht leere Folge von Leerzeichenklassen außer Newline beibehalten oder durch ersetzt wird, ist ein Leerzeichen definiert.
4. Vorverarbeitungsdirektiven werden ausgeführt, Makroaufrufe werden erweitert und _Pragma unäre Operatorausdrücke werden ausgeführt. Wenn eine Zeichenfolge, die die Syntax eines universellen Charakternamens entspricht, von Token Verkettung (6.10.3.3) erzeugt wird, ist das Verhalten nicht definiert.Eine #include Vorverarbeitung Direktive bewirkt, dass der benannte Header oder die Quelldatei rekursiv von Phase 1 bis Phase 4 verarbeitet wird. Alle Vorverarbeitungsdirektiven werden dann gelöscht.
5. Jeder Quellzeichensatzmember und die Escape-Sequenz in Zeichenkonstanten und String-Literalen wird in das entsprechende Element des Ausführungszeichens konvertiert set; Wenn es kein entsprechendes Mitglied gibt, wird es in eine Implementierung konvertiert, die als Element definiert ist, das nicht das Nullzeichen (Wide) ist. ⁷⁾
6. Benachbarte String-Literaltoken werden verkettet.
7. Leerzeichen, die Token trennen, sind nicht länger von Bedeutung. Jedes Vorverarbeitungstoken wird in ein Token konvertiert. Die resultierenden Token werden syntaktisch und semantisch analysiert und als Übersetzungseinheit übersetzt.
8. Alle externen Objekt- und Funktionsreferenzen sind aufgelöst. Bibliothekskomponenten sind verknüpft, um externe Referenzen auf Funktionen und Objekte zu erfüllen, die nicht in der aktuellen -Übersetzung definiert sind. Alle derartigen Übersetzerausgaben werden in einem Programmbild gesammelt, das Informationen enthält, die zur Ausführung in seiner Ausführungsumgebung benötigt werden.

⁵⁾ Implementationen werden als verhalten, wenn diese getrennten Phasen auftreten, obwohl der Regel zusammengefaltet in der Praxis viele sind.

⁶⁾ Wie in 6.4 beschrieben, ist der Prozess zum Teilen der Zeichen einer Quelldatei in Vorverarbeitungstoken kontextabhängig. Siehe zum Beispiel die Behandlung von < innerhalb einer #include Vorverarbeitungsrichtlinie.

⁷⁾ Eine Implementierung muss nicht alle nicht entsprechenden Quellzeichen in die gleiche Ausführung Zeichen konvertieren.

Wenn Sie nach Ihrem streunenden Backslash ein Leerzeichen oder ein anderes Zeichen hatten, hätten Sie einen Kompilierungsfehler. Wir können feststellen, dass Sie nichts danach haben, weil Sie keinen Kompilierungsfehler haben.

---

Der andere Teil Ihrer Frage, etwa:

"\n"; 

ist ganz anders. Es ist ein einfacher Ausdruck, der keine Nebenwirkungen hat und daher keine Auswirkungen auf das Programm hat. Der Optimierer wird es komplett verwerfen. Wenn Sie schreiben:

i = 1; 

Sie haben einen Ausdruck mit einem Wert, der verworfen wird; es wird für seinen Nebeneffekt des Modifizierens i ausgewertet.

Manchmal werden Sie Code finden wie:

*ptr++; 

Der Compiler wird Sie warnen, dass das Ergebnis des Ausdrucks verworfen wird; der Ausdruck kann vereinfacht werden zu:

ptr++; 

und wird den gleichen Effekt im Programm erreichen.

Answer 4

Der Backslash plus, was folgt ist ein escape sequence; "\ n" zusammen ist das Newline-Zeichen (druckt eine neue Zeile). Ein weiterer wichtiger ist "\ t", für Tab.

Answer 5

Die \, wenn unmittelbar gefolgt von einer neuen Zeile, wird von der Vorverarbeitung verbraucht und bewirkt, dass die nächste "physische" Zeile mit der aktuellen logischen Zeile verbunden wird. Dies ist sehr wichtig für das Schreiben langen Vorverarbeitung Richtlinien, die alle auf einer logischen Zeile sein müssen:

#define SHORT very log macro \ 
    consisting of lots and \ 
    lots of preprocessor \ 
    tokens 

Wenn Sie die Backslash-Newline-Sequenzen entfernen, ist es nicht mehr richtig. Einige andere Sprachen aus der Unix-Kultur haben eine ähnliche Backslash-Zeilenfortsetzungssyntax: die aus der Bourne-Shell abgeleitete POSIX-Shell-Sprache und auch Makefiles.

$ this is \ 
one shell command 

Über "\n";, dass ein primärer Ausdruck verwendet, um einen Ausdruck-Äußerung zu bilden. In C können Ausdrücke als Anweisungen verwendet werden, und dies wird die ganze Zeit ausgenutzt. Ihr Aufruf printf zum Beispiel ist eine Ausdrucksanweisung. printf("hello world\n") ist ein Postfix-Ausdruck, der eine Funktion aufruft und einen Rückgabewert erhält. Da Sie diesen Ausdruck als Anweisung verwendet haben, wird der Rückgabewert verworfen. Der Rückgabewert von printf gibt an, wie viele Zeichen gedruckt wurden, oder ob es überhaupt erfolgreich war, also macht sich Ihr Programm durch Wegwerfen davon nicht bewusst, ob der Anruf tatsächlich funktioniert hat.

Da der Wert einer Ausdruck-Anweisung verworfen wird, wenn eine solche Anweisung auch keine Nebenwirkungen hat, ist es eine nutzlose Aussage, die nichts tut (wie Ihre "\n"). Aber solche unnützen Ausdrücke sind nicht falsch. Wenn Sie der Compiler-Befehlszeile Warnoptionen hinzufügen, erhalten Sie möglicherweise eine Warnung wie "Anweisung ohne Auswirkung" oder Ähnliches.