Dieser source-code ist der Wechsel auf einen string in C. Wie macht es das?

Bin ich beim Lesen über einige emulator-code und ich habe gekontert etwas wirklich sonderbares:

switch (reg){
    case 'eax':
    /* and so on*/
}

Wie ist das möglich? Ich dachte, Sie könnten nur switch auf integral-Typen. Gibt es ein paar makro-Tricks Los?

es ist nicht die Zeichenfolge 'eax' und es zählt konstanter integer-Wert
Einfache Anführungszeichen, keine doppelten. Eine Zeichenkonstante wird gefördert int, so dass es legal ist. Allerdings ist der Wert eines multi-character-Konstante ist durch die Implementierung festgelegt, so dass der code funktioniert möglicherweise nicht wie erwartet auf einem anderen compiler. Zum Beispiel eax sein könnte 0x65, 0x656178, 0x65617800, 0x786165, 0x6165, oder etwas anderes.
der name von der variable "reg", und die Tatsache, dass eax ist ein x86-register, würde ich vermuten, dass die Implementierung-definiert das Verhalten beabsichtigt war OK, denn es ist überall das gleiche, es ist im code verwendet. Nur so lange, wie 'eax' != 'ebx' natürlich, also es schlägt nur ein oder zwei Ihrer Beispiele. Obwohl es möglicherweise einige code irgendwo, dass in der Tat davon ausgegangen *(int*)("eax") == 'eax', und daher schlägt fehl, die meisten Ihrer Beispiele.
Ich don ' T nicht einverstanden mit dem, was Sie sagen, aber es besteht die Reale Gefahr, dass jemand versuchen könnte, um den code zu kompilieren, der auf einem anderen compiler, auch für die gleiche Architektur, und ein anderes Verhalten. Zum Beispiel 'eax' vielleicht vergleichen Sie gleich 'ebx' oder zu 'ax', und die switch-Anweisung nicht funktionieren würde, wie gedacht.
Alle, die mystery hätte schnell gebannt, wenn Sie angeschaut hatte bis/uns gezeigt, wie der Datentyp der reg.
Übrigens, ich würde dazu neigen, betrachten Sie diesen code stinkig. Warum nicht die original-designer definieren Sie eine Enum-Konstante reg_eax mit einem nice-Wert, wie null? switch Aussagen umfasst Sätze von nicht-konsekutive, große Werte nicht kompilieren in schönen Sprung-Tabellen.

InformationsquelleAutor Ian Colton | 2017-08-07

c switch-statement

144

(Die nur Sie beantworten können "makro-Tricks" - Teil - es sei denn, Sie fügen mehr code. Aber es gibt nicht viel hier für Makros zu arbeiten - formal sind Sie nicht berechtigt, neu zu definieren keywords; das Verhalten auf, das zu tun ist nicht definiert.)

Zu erreichen, um die Lesbarkeit des Programms, die witzig-Entwickler ist die Nutzung Umsetzung definiert Verhalten. 'eax' ist nicht ein string, sondern ein multi-character-Konstante. Beachten Sie sehr sorgfältig die einzelnen Anführungszeichen Zeichen um eax. Wahrscheinlich ist es so dass Sie eine int in Ihrem Fall, das ist einzigartig in dieser Kombination von Zeichen. (Ziemlich oft jedes Zeichen belegt 8 bit in einem 32-bit int). Und jeder weiß, Sie können switch auf eine int!

Schließlich, eine standard-Referenz:

Den C99-standard sagt:

6.4.4.4p10: "Der Wert einer integer-Zeichen constant enthält mehr als ein Zeichen (z.B., 'ab'), oder mit einem Charakter oder
escape-Sequenz, die keine Karte ein single-byte-Ausführung
Charakter, wird durch die Implementierung definiert."
- Nur falls jemand das sieht, und Panik, "implementation-defined" ist erforderlich, um zu arbeiten und zu dokumentieren, die von Ihrem compiler in einige geeignete Weise (der standard verlangt nicht, dass das Verhalten intuitiv oder, dass die Dokumentation gut sein, aber...). Das ist "sicher" für einen Programmierer, der vollständig versteht, was Sie schreiben, im Gegensatz zu "undefined".
- Nur eine Anmerkung: die ursprüngliche Absicht war für multibyte-Zeichen wie Unicode. Ein UTF8-Zeichen "" auf dem Bildschirm können bis zu vier bytes.
- Scheint mir wie eine konforme Umsetzung könnte etwas komisch, wie definieren Sie alle multi-character-Konstanten gleich sein, also einfach blind verwenden Sie Sie nicht wie eine gute Idee erscheinen. Sollte auf jeden Fall konsultieren Sie bitte Ihre Umsetzung in der Dokumentation, bevor Sie irgendwelche Annahmen über Sie
- Es könnte zwar, das wäre pervers. Wenn es nicht, wie die Antwort suggeriert wird wahrscheinlich die nächste Möglichkeit ist wahrscheinlich, dass es verwendet einfach das erste Zeichen, der rest wird ignoriert.
- Leute, die schreiben, Compiler sind nicht in der Regel verrückt, so dass Sie versuchen, hart, um map-Implementierung-definiert Konstrukte in eine nützliche und logische Weg, und zur Ausgabe von Warnungen, wenn Sie es nicht können. Weil... - engineering. -ex-compiler Kerl.
- Mit offiziell "undefined" Verhalten, wo ist der compiler erlaubt, um die Dämonen Fliegen aus der Nase, bis zu dem Punkt, dass Sie haben, um ständig Schutz gegen unbeabsichtigtes aufrufen, es ist ziemlich pervers zu beginnen...
- Ihre "nächsten Möglichkeit" verstärkt meine wichtigste Punkt: bevor Sie irgendwelche Annahmen über das, was multibyte-Konstanten bedeuten, sollten Sie Ihre Implementierung-Dokumentation
- Ich bin nicht positiv, aber ich glaube, das feature lange älter als Unicode und andere MBCS-standards. Von "magischen zahlen", die Aussehen wie der text im Speicher-dumps und RIFF-style-file-format-chunk-IDs waren die ersten Anwendungen, die ich bin mir dessen bewusst.
- Dies ist nicht zu undefiniertem Verhalten, es ist durch die Implementierung festgelegt. So, es sei denn, die compiler-Dokumentation erwähnt, die Dämonen, Ihre Nase ist sicher.
- Undefinierte Verhalten in der Regel lauert in Orten, die Sie haben, um den Schutz vor sowieso, also ist das nicht wirklich eine faire Beschreibung.
- Ich fürchte, dass die ursprüngliche Absicht, die älter als Unicode, UTF-8 und alle Mehrbyte-Zeichenkodierung, die von fast 20 Jahren. multi-character-Konstante waren nur eine praktische Möglichkeit, um auszudrücken, Ganzzahlen, die Gruppen von 2, 3 oder 4 bytes (je nach byte-und int-Größen). Unstimmigkeiten über Implementierungen und Architekturen führte der Ausschuss zu erklären, dass diese als Implementierung definiert, was bedeutet, dass es keine portable Möglichkeit zur Berechnung des Wertes von 'ab' aus 'a' und 'b'.
- Ich bin mir ziemlich sicher, dass Sie falsch liegen. Es ging immer um die Codierung-Zeichensätze für andere Sprachen als Englisch ASCII. Die Möglichkeit, eine Ganzzahl von 4 bytes ist einfach nur glücklicher Zufall..
- hier ist eine interessante Seite, auf multi-chars: zipcon.net/~swhite/docs/Computer/Sprachen/... und suchen wieder weiter Weg in den Rückspiegel, hier ist das original C-Handbuch aus den guten alten Tagen: bell-labs.com/usr/dmr/www/cman.pdf .
- Zeichen-Konstanten [...] Charakter-Konstanten Verhalten sich wie ganze zahlen (nicht, insbesondere, wie Objekte vom Typ character). In übereinstimmung mit der Adressierung Struktur der PDP-11 -, eine Zeichen-Konstante der Länge 1 hat den code für die angegebenen Zeichen im niederwertigen byte und 0 im high-byte-Reihenfolge; eine character-Konstante der Länge 2 hat der code für das erste Zeichen im low-byte und für das zweite Zeichen in der high-order byte. Zeichen-Konstanten mit mehr als einem Zeichen sind inhärent Maschine abhängig und sollte vermieden werden.
- Die Fähigkeit zur Interpretation einer Folge von vier Zeichen, um ein 32-bit unsigned-Wert wurde unterstützt von Macintosh-C-Compiler, wahrscheinlich gehen Sie zurück zu Ihrem 1986 (da hatte es vorher unterstützt wurde, die von Macintosh-Pascal-Compiler). Vielleicht haben einige Maschinen, die irgendwo verwendet werden multi-byte-Zeichen, aber Sie waren sicher nicht üblich.
- Ich bemerkte, dass. Ich sagte, die Sprache ist schon pervers, so eine weitere perverse Verhalten nicht ändern würde, dass viel.
- Multi-Zeichenkonstanten, die haben nichts zu tun mit Unicode. Sie geben einfach die Idee, dass mehrere Charaktere verpackt in ein Wort, und dies ist nützlich für die Erstellung von Konstanten, die Zauber etwas.
- Apple fügte hinzu, dass die meisten wahrscheinlich, weil Ihre Plattform war gerammelt voll "fourcc" codes für die Identifikation von Datentypen und Formaten. Zum Beispiel, Dateien-Typen. Fourcc-codes wurden oft gewählt, welches etwas geschrieben, wenn Sie interpretiert wird als ASCII-bytes.
- Da multibyte-Zeichen-Literale sind in genau der gleichen Stelle in der standard-als wide-Zeichen, die beide sind für nicht-ASCII-Sprachen-Unterstützung. Ansonsten '♂' würde komisch Aussehen.
- Yup. Man könnte die Software zu kopieren und zu vergleichen, solche Dinge mit einem einzigen Vorgang auf ein "LongInt" [Pascal] oder "lange" [C], sondern Werkzeuge zu manipulieren, Dinge wie Datei -, Anwendungs-oder Ressource-Typen zeigen könnte, Sie in für Menschen lesbaren format. Datei -, Anwendungs-oder Ressource-Typen mit weniger als vier Zeichen mit Leerzeichen aufgefüllt (so ein "snd" Ressource wäre eine Art von 0x736e6420), und das erste Zeichen jeder Art, die allgemein verwendet wurde, war kleiner als 0x80, also dem fehlen einer vorzeichenlosen 32-bit-Typ in Pascal nicht dazu führen, jede Verrücktheit mit diesen Arten.
- Natürlich, da diese Zeichenkonstanten, die nicht portabel sind, was Sie tun, die tragbare C ist FOURCC('m', 'o', 'o', 'v') über ein makro. Es ist weniger umständlich, um einfach in der Lage sein zu verwenden 'moov'.
- "Da multibyte-Zeichen-Literale sind in genau der gleichen Stelle in der standard-als wide-Zeichen, die beide sind für nicht-ASCII-Sprachen-Unterstützung." nicht logisch Folgen. Sie sind in der gleichen Stelle, weil Sie syntaktisch verwandt; Sie werden Zeichen-Konstanten.
- In den Tagen, wenn die Leute schreiben von Compilern für eine Plattform erwartet werden konnte, auf Ehre, Plattformen Idiome, Qualität solcher Konstrukte wurde ein nicht-Thema. Wenn man mit den Macintosh-Ressourcen-Manager, Datei-Manager oder Desktop-Manager-Funktionen, die bedeutete, dass man das schreiben von code für die Macintosh-und würde so mit einem compiler, speziell entwickelt für diese Plattform.
- Nur Fragen, hast du einen fake-account, diese Frage zu stellen?
InformationsquelleAutor Bathsheba
44

Laut C-Standard (6.8.4.2 The switch statement)

3 Die expression jedes case label wird eine integer-Konstante
Ausdruck...

und (6.6 Konstante Ausdrücke)

6 Ein ganzzahliger konstanter Ausdruck wird ganzzahligen Typ und darf
nur Operanden, die sind integer-Konstanten-enumeration-Konstanten,
Zeichenkonstanten, sizeof Ausdrücke, deren Ergebnisse sind integer-Konstanten, und floating-Konstanten, die den unmittelbaren Operanden
CASTET. Cast Operatoren in ein ganzzahliger konstanter Ausdruck ist nur
konvertieren arithmetische Typen integer-Typen, außer als Teil einer
operand des sizeof-operator.

Nun, was ist 'eax'?

C-Standard (6.4.4.4 Zeichenkonstanten)

2 Ein integer character-Konstante ist eine Sequenz von einem oder mehr
multibyte-Zeichen, eingeschlossen in einfache Anführungszeichen, wie in 'x'...

So 'eax' ist ein integer, character-Konstante gemäß Absatz 10 von dem gleichen Abschnitt
1. ...Der Wert einer integer-Zeichen constant enthält mehr als ein
  Charakter (z.B., 'ab'), oder mit einem Charakter oder zu entkommen
  Sequenz, nicht anzeigen ein single-byte-Ausführung-Zeichen ist
  die Implementierung festgelegt.
Also nach den ersten erwähnte Zitat, es kann ein operand ein integer-Konstanten Ausdruck kann verwendet werden, als ein Fall label.

Achten, dass eine Zeichen-Konstante (eingeschlossen in Anführungszeichen) hat den Typ int und ist nicht das gleiche wie ein string-literal (eine Folge von Zeichen, eingeschlossen in doppelte Anführungszeichen), hat eine Art von ein-Zeichen-array.

InformationsquelleAutor Vlad from Moscow
12

Wie andere gesagt haben, ist dies ein int ständige und der tatsächliche Wert wird durch die Implementierung festgelegt.

Ich vermute, der rest des Codes sieht so etwas wie
```
if (SOMETHING)
    reg='eax';
...
switch (reg){
    case 'eax':
    /* and so on*/
}
```
Können Sie sicher sein, dass 'eax' im ersten Teil hat den gleichen Wert wie 'eax' im zweiten Teil, also es funktioniert alles, richtig? ... falsch.

In einem Kommentar @Davislor listet einige mögliche Werte für 'eax':

... 0x65, 0x656178, 0x65617800, 0x786165, 0x6165, oder etwas anderes

Merken, die ersten potenziellen Wert? Das ist nur 'e' ignorierte die anderen beiden Charaktere. Das problem ist das Programm nutzt wahrscheinlich 'eax', 'ebx',
und so weiter. Wenn alle diese Konstanten haben den gleichen Wert wie 'e' Sie am Ende mit
```
switch (reg){
    case 'e':
       ...
    case 'e':
       ...
    ...
}
```
Dies sieht nicht zu gut, nicht wahr?

Das gute Teil über "implementation-defined" ist, dass kann der Programmierer überprüfen Sie die Dokumentation Ihres Compilers und sehen, ob es etwas vernünftiges mit dieser Konstanten. Wenn Sie es tut, frei Haus.

Der schlechte Teil ist, dass einige Arme Kerl kann den code nehmen und versuchen, zu kompilieren mit einem anderen compiler. Sofortige kompilieren Fehler. Das Programm ist nicht tragbar.

Als @zwol darauf hingewiesen, in den Kommentaren, ist die situation nicht ganz so schlimm, wie ich dachte, im schlechten Fall wird der code nicht kompilieren. Das wird zumindest geben Sie eine genaue Datei name und die Zeilennummer für das problem. Noch, werden Sie nicht haben, ein funktionierendes Programm.
- andere als irgendeine form von assert('eax' != 'ebx'); //if this fails you can't compile the code because... ist es etwas, was der ursprüngliche Autor tun können, um zu verhindern, dass andere compiler-Fehler ohne Austausch der völlig konstruieren>
- Zwei case-Bezeichnungen mit dem gleichen Wert sind in einer constraint-Verletzung (6.8.4.2p3: "...keine zwei case-Konstanten-Ausdrücke in derselben switch-Anweisung hat die gleiche Wert nach der Konvertierung") so, solange alle die code behandelt die Werte dieser Konstanten werden als undurchsichtig, dadurch ist gewährleistet, entweder zu arbeiten oder nicht zu kompilieren.
- Das Schlimmste daran ist, dass der Arme Kerl Kompilierung auf einen anderen compiler wird wahrscheinlich nicht sehen, keine compile-Zeit - Fehler (Umschalten auf int-Werte in Ordnung ist), sondern Laufzeit Fehler auftauchen...
InformationsquelleAutor Stig Hemmer
1

Code-fragment verwendet eine historische kuriosität genannt multi-character character constant, auch bezeichnet als multi-chars.

'eax' eine integer-Konstante, deren Wert wird durch die Implementierung definiert.

Hier ist eine interessante Seite, auf multi-chars und wie Sie verwendet werden, sollte aber nicht:

http://www.zipcon.net/~swhite/docs/computers/languages/c_multi-char_const.html

Suche wieder weiter Weg in den Rückspiegel, hier ist, wie die ursprüngliche C-Handbuch von Dennis Ritchie aus der guten alten Zeit ( https://www.bell-labs.com/usr/dmr/www/cman.pdf ) angegebenen Zeichen-Konstanten.
2.3.2 Zeichenkonstanten

Einen Charakter Konstante 1 oder 2 Zeichen, eingeschlossen in einfache Anführungszeichen " ' ". In ein character-Konstante ein einfaches Anführungszeichen vorangestellt werden muss ein back-slash "\". Bestimmte nicht-Grafik-Zeichen und "\" selbst, können maskiert werden, entsprechend der folgenden Tabelle:
```
    BS \b
    NL \n
    CR \r
    HT \t
    ddd \ddd
    \ \\
```
Escape "\ddd" besteht aus dem backslash gefolgt von 1, 2, oder 3 oktale Ziffern, die getroffen werden, um geben Sie den Wert für das gewünschte Zeichen. Ein Spezialfall dieser Konstruktion ist "\0" (nicht gefolgt von einer Ziffer) gibt einen null-Zeichen.

Zeichen-Konstanten Verhalten sich wie ganze zahlen (nicht, insbesondere, wie Objekte vom Typ character). In übereinstimmung mit der Adressierung Struktur der PDP-11 -, eine Zeichen-Konstante der Länge 1 hat den code für den gegebenen Charakter in
die low-order-byte und 0 im high-byte-Reihenfolge; eine character-Konstante der Länge 2 hat der code für das erste Zeichen im low-byte und für das zweite Zeichen in der high-order byte. Zeichen-Konstanten mit mehr als einem Zeichen sind inhärent Maschine abhängig und sollte vermieden werden.
Den letzten Satz ist alles was Sie brauchen, zu erinnern, über diese merkwürdige Konstruktion: Zeichen-Konstanten mit mehr als einem Zeichen sind inhärent Maschine abhängig und sollte vermieden werden.

InformationsquelleAutor chqrlie

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.