language-lawyer

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

Kann die Platzierung "neu" auf dem zugrunde liegenden Speicherwert beruhen?

Beginnen wir mit einem Kontext. Ein benutzerdefinierter Speicherpool verwendete Code ähnlich dem folgenden: %Vor% Die Idee ist, dass ein Konstruktor, wenn er mit FastInitialization aufgerufen wird, annehmen könnte, dass der Speicher...
27.01.2017, 09:29
2
Antworten

Abhängige Namenssuche in Funktionsvorlage: clang rejects, gcc akzeptiert

Betrachten Sie das folgende Fragment: %Vor% clang lehnt diesen Code ab, gcc akzeptiert ihn. Ist das ein GCC Bug oder ist das ein Clang Bug?     
05.03.2016, 19:37
2
Antworten

Verwenden eines temporären Arrays als Lvalue

Dieses Programm ist schlecht gebildet: %Vor% i , ein Unterobjekt des temporären X { } , kann nicht als lvalue verwendet werden, weil X { } ein rvalue ist. Dies wird jedoch im Hintergrund mit GCC 5.2.1 und -Wall kompiliert: %Vo...
16.10.2015, 01:14
2
Antworten

Haben JDK-Klassen weitere Spezifikationen als Javadoc?

Haben JDK-Klassen über Javadoc hinaus noch weitere Spezifikationen? Wenn ja, wo? Betrachten Sie zum Beispiel Collections.unmodifiableMap . Sein Javadoc nicht etwas über Fadensicherheit sagen; Ich kann also nicht einfach davon ausgehen, da...
19.08.2016, 18:48
1
Antwort

Implizite Synchronisation beim Erstellen / Verknüpfen von Threads

Was ist der minimale Rahmen, der für den Code von x benötigt wird, damit dieser Code funktioniert, unter Berücksichtigung der implizierten Synchronisation beim Erstellen / Verbinden eines Threads: std::atomic ? %Code%? nichts? %Vor%    ...
16.04.2015, 19:34
2
Antworten

Sollte der Name einer Funktionsvorlage während der Suche nach einem Namen vor :: ::?

Sowohl clang als auch gcc lehnen diesen Code ab: %Vor% Beide akzeptieren jedoch den folgenden Code: %Vor% Der Standard besagt, dass die Namenssuche eines Namens vor :: "nur Namespaces, Typen und Vorlagen berücksichtigt, deren Speziali...
19.08.2013, 10:24
2
Antworten

Gibt es C ++ 11-Thread-Sicherheitsgarantien für Thread-Bibliotheken von Drittanbietern, die mit C ++ 11 kompiliert / verknüpft sind?

C ++ 11 bietet Funktionen wie Thread-sichere Initialisierung von statischen Variablen und unter Berufung auf diese Frage sagen wir zum Beispiel: %Vor% So ist das scheinbar (?) unabhängig davon, ob ein Modul, das mit einem C ++ 11-Compiler...
07.03.2012, 20:03
1
Antwort

C ++ warum ist der Typ des Parameters von atomic_load Zeiger statt Referenz?

Ich stimme der Antwort in Wann Referenzen statt Zeiger zu verwenden. Aber ich frage mich, warum C ++ atomic_load als definiert %Vor% statt %Vor% Kann mir jemand helfen?     
19.09.2017, 12:01
1
Antwort

Gibt es einen Funktionskopf, der einen abstrakten Typ legal zurückgibt?

Ich habe mich gefragt, ob das Folgende nach dem C ++ - Standard legal ist: %Vor% GCC 6.3 akzeptiert es, aber Clang 3.9 lehnt es ab. Wenn ich das stattdessen tue: %Vor% Jetzt akzeptieren beide Compiler es. Sind beide in diesem Fall fal...
02.02.2017, 18:34
1
Antwort

C ++ 14 automatisch erkennen "return sollte std :: move" Situation verwenden

Mein Verständnis ist, dass in C ++ 17 das folgende Snippet das Richtige tun soll: %Vor% Das heißt, in C ++ 17 soll der Compiler sowohl d1 als auch d2 als rvalues ​​für die Zwecke der Überladungsauflösung in diesen beiden return-Anweisu...
11.02.2018, 02:47