Was _haben_ die C-Operatoren /\ und \/ gemacht?

Jeder kann seine eigenen Operatoren in C “deklarieren”. 😉

Weitere Fragen zum Rätseln:

5. Wie werden diese Operationen in C99 durchgeführt? gcc? …
6. Und warum wurden /\ & \/ weggelassen?
7. Für welche Typen waren die Operatoren /\ und \/ gültig?

Googeln nach “/\ \/” bringt natürlich nichts zurück. Wikipedia hat weder für /\ noch für \/ eine Seite. Aber ich habe entdeckt, dass ähnliche Operatoren in die XML-Zeicheneinheiten eingebaut sind!

Quelle hinzugefügt: Ich habe das beleidigende Beispiel in der cc-Quelldatei “c00.c” des PDP gefunden:

/*
 * Return the next symbol from the input.
 * peeksym is a pushed-back symbol, peekc is a pushed-back
 * character (after peeksym).
 * mosflg means that the next symbol, if an identifier,
 * is a member of structure or a structure tag or an enum tag
 */
symbol()
{
...
 case BSLASH:
  if (subseq("https://stackoverflow.com/", 0, 1))
   return(MAX);
  goto unkn;

 case DIVIDE:
  if (subseq('\\', 0, 1))
   return(MIN);
  if (subseq('*',1,0))
   return(DIVIDE);
...
}

Tatsächliche Implementierungen:
Die Operatoren /\ und \/ gehen bis zurück Sechste Ausgabe Unix 1975 (bisher). Beispiele: Unix V6(1975), Unix V7(1979) und aktueller BSD 2.11(1992-2008)

Weder /\ noch / sind im ISO C89-Standard als Operatoren definiert, und ich glaube nicht, dass sie jemals in einer früheren Version definiert wurden. Und soweit ich weiß, sind sie definitiv nicht in C99 definiert.

Hier ist ein Entwurf des ANSI C89-Standards als Referenz: http://flash-gordon.me.uk/ansi.c.txt

(Sie sind wahrscheinlich Opfer einer seltsamen arkanen Präprozessormagie)

\/ sieht aus wie sup und /\ sieht aus wie inf. Das könnten sie auch sein ∨ und
∧beziehungsweise.

Ich kann mich nicht erinnern, diese jemals in der 2. Auflage von K&R oder einem anderen C-Buch gesehen zu haben.

Spekulation!

Wenn Sie Leerzeichen um sie herum haben, dann:

a /\ b   ===>   a / b

a \/ b   ===>   a / b

Logik: Die Vorverarbeitungsphase muss sich mit Backslash und einem Zeichen danach befassen und behandelt Backslash-Leerzeichen sehr wahrscheinlich als Leerzeichen und Backslash-Slash als Schrägstrich.

Allerdings lehnen sowohl der SUN-C-Compiler (Version 12) als auch der GNU-C-Compiler (Version 4.4) Code ab, der den umgekehrten Schrägstrich enthält. Aber ich könnte leicht glauben, dass alte C-Präprozessoren vor dem Standard weniger sorgfältig damit umgegangen sind.

Einhaltung von Standards

Die Operatoren waren noch nie Teil einer offiziellen Version von C.

Außerdem würde der Standard die von mir gegebene Interpretation nicht zulassen (Abschnitt 5.1.1.2 Übersetzungsphasen, sowohl in C89 als auch in C99) – aber Nicht-Standard-Compiler sind natürlich nicht durch den Standard eingeschränkt.

Hinzugefügt, nachdem die Quelle gepostet wurde:

Interessant! Es sieht also plausibel aus für ‘a = b /\ c;‘ um a das Maximum von b und c zuzuweisen, und ‘a = b \/ c;‘ das Minimum zu tun (oder, wie Greg Hewgill betonte, eher umgekehrt). Und damals war es wahrscheinlich, dass die moderne ‘+=‘ Operatoren wurden noch geschrieben als ‘=+‘ und waren tatsächlich zwei Zeichen (keine unterstützenden Beweise für diese Behauptung; wieder Gedächtnisschwäche), also das hypothetische ‘a =/\ b;‘ (oder in moderner Notation ‘a /\= b;‘) wäre der Max-Assignment-Operator gewesen usw.

Mir fällt auch ein, dass Thompsons ACM-Turing-Award-Rede ‘Reflexionen über Vertrauen Vertrauen“ ist irgendwie relevant.

Ich bin mir nicht sicher \/aber /\ ist ein gültiges Konstrukt. Es wird verwendet, um die beiden Schrägstriche eines einzeiligen Kommentars in getrennten Zeilen zu platzieren. Zum Beispiel:

/\
/ Comment content

Dies funktioniert, weil der Backslash dem Zeilenumbruch entgeht und der Parser fortfährt, als wäre er nicht vorhanden. Dies funktioniert nicht, wenn nach dem umgekehrten Schrägstrich ein Leerzeichen steht oder wenn der zweite Schrägstrich eingerückt ist. Aus diesem Grund ist es möglich, so viele Zeilenumbrüche zu maskieren, wie Sie möchten, wie in

/\
\
\
\
\
/ Still a legal comment.

Backslashes können auch am Ende von regulären einzeiligen Kommentaren verwendet werden, um sie in die nächste Zeile fortzusetzen, wie in

// Yet another comment \
This line is in the comment \\
And so is this one!

C hat diese Operatoren nie gehabt.

Typischerweise wäre / in einigen String-Systemen ein Escape-Code, nicht sicher, ob /\ jemals eine Bedeutung hatte.

Ich bezweifle, dass sie jemals etwas bedeutet haben. Wenn sie es jemals taten, dann war es ein lang Zeit vor. Die einzigen mir bekannten großen Operatoren, die aus C entfernt wurden, waren =+ und =-, die frühe Synonyme für += und -= waren. Vielleicht möchten Sie sich die DMRs ansehen Urzeitliche C-Seite für Beweise.

Ich vermute, dass dies ein Hinweis auf die formale symbolische Logik ist:

http://en.wikipedia.org/wiki/Table_of_logic_symbols

/ wird verwendet, um eine Disjunktion (ODER) anzuzeigen /\ wird (weniger häufig) verwendet, um eine Konjunktion (AND) anzuzeigen