language-lawyer

Für Fragen zu den Feinheiten formeller oder autoritativer Spezifikationen von Programmiersprachen und Umgebungen.
1
Antwort

clang ++ schlägt fehl, aber g ++ ist erfolgreich bei der Verwendung einer Umwandlung in einen Operator vom Typ const-unrelated-type in einer Zuweisung

Hier ist ein kurzes Beispiel, das diese reproduziert "Keine brauchbare Konvertierung" mit Zitrone für Clang, aber gültig für g ++ Unterschied im Compiler-Verhalten. %Vor% live bei godbolts g ++ (4.9, 5.2) kompiliert das still; währe...
12.11.2015, 13:58
1
Antwort

Nicht letzte Standardschablonenargumente für Funktionsschablonen

C ++ 11 führte Standardvorlagenargumente für Funktionsvorlagen ein . Siehe auch Standardvorlagenargumente für Funktionsvorlagen . Aber beim Lesen des C ++ - Standards konnte ich nicht feststellen, dass es legal ist, eine Funktionsschablone...
13.11.2015, 10:40
1
Antwort

Überladungsauflösung der Vorlagenfunktion mit Auto

Mit den 3 folgenden Überladungen %Vor% Ist das Folgende schlecht gebildet? %Vor% Clang wählt Überladung # 2 aus, während gcc nicht kompiliert werden kann ( Demo ) Wenn Sie die Überladung # 1 entfernen, stimmen beide der Auswahl der Üb...
16.12.2016, 01:25
4
Antworten

Sind die Integer-Typen mit fester Breite garantiert typedefs für die standardmäßigen eingebauten Typen?

Sind die Typen von <cstdint> (wie zB int16_t , uint_fast64_t , int_least8_t ) garantiert typedef s für einen der eingebauten Typen wie short , unsigned long usw.? Oder ist es einer Implementierung erlaubt, Typen zu verw...
24.06.2015, 21:51
2
Antworten

Ungeordnete Funktionsbewertung für Funktionen, die void zurückgeben

Gibt es eine Möglichkeit in C und C ++, dass Funktionen, die void zurückgeben, in unspezifizierter Reihenfolge ausgewertet werden? Ich weiß, dass Funktionsargumente in nicht spezifizierter Reihenfolge ausgewertet werden, sodass Funktionen,...
03.12.2014, 04:37
4
Antworten

Java-Annotationen - Identifier oder TypeName

Die Java-Sprachspezifikation besagt, dass a normale Annotation hat das Format    NormalAnnotation :   @ Typname ( ElementValuePairs opt ) Eine Einzelelement-Annotation ist im Format:    SingleElementAnnotation:   @ Beze...
12.06.2013, 07:30
2
Antworten

Korrektes Verhalten von trivialen Anweisungen, die Ausdrücke mit flüchtigen Variablen enthalten?

Beachten Sie die folgenden Anweisungen %Vor% Nun habe ich versucht, einen Punkt im Standard zu finden, der mir sagt, wie sich ein Compiler verhalten soll, wenn er auf diese Anweisungen stößt. Alles, was ich finden konnte, ist, dass A (und mö...
27.11.2013, 12:44
4
Antworten

C Speicherzuordner und striktes Aliasing

selbst nachdem ich ziemlich viel über die strengen Aliasing-Regeln gelesen habe, bin ich immer noch verwirrt. Soweit ich das verstanden habe, ist es unmöglich, einen vernünftigen Speicherzuordner zu implementieren, der diese Regeln befolgt, da M...
07.10.2011, 12:15
2
Antworten

Was ist (INT32_MIN + 1), wenn int32_t ein erweiterter Integer-Typ ist und int ein 32-Bit-Einerkomplement-Standard-Integer-Typ ist

Stellen Sie sich diese Situation vor. int32_t ist ein erweiterter Integer-Typ und wird in Zweierkomplementendargestellt (als Standard wird int32_t benötigt, um dargestellt zu werden). Dies bedeutet, dass INT32_MIN ist -2147483648...
28.12.2017, 17:18
1
Antwort

Übernahme der Adresse des temporären (zusammengesetzten Literal) Parameters in C

Ich kann mir nicht vorstellen, dass dies nicht schon doppelt ist, aber ich kann die Antwort nicht leicht finden, da die komplexeren Szenarien speziell für C ++ die Diskussion zu dominieren scheinen 0 . Ist es legal, die Adresse eines temporä...
29.01.2017, 23:38