Programmierung language-lawyer

1

Kann es verschiedene implizite Objekte geben, die auf einer späteren Laufzeitentscheidung in C ++ 20 basieren?

Diese Frage bezieht sich auf die Hinzufügung von P0593 zum neuesten C ++ 20-Entwurf . Hier ist mein Beispiel: #include <cstdlib> #include <cstdio> void foo(void *p) { if ( std::getchar() == 'i' ) { *(int *)p = 2; std::printf("%d\n", *(int *)p); } else { *(float *)p = 2; std::printf("%f\n", *(float …

11 c++ language-lawyer c++20

4

Breaking Änderung in C ++ 20 oder Regression in Clang-Trunk / Gcc-Trunk beim Überladen des Gleichheitsvergleichs mit nicht-booleschem Rückgabewert?

Der folgende Code lässt sich gut mit Clang-Trunk im C ++ 17-Modus kompilieren, bricht jedoch im C ++ 2a-Modus (bevorstehendes C ++ 20) ab: // Meta struct describing the result of a comparison struct Meta {}; struct Foo { Meta operator==(const Foo&) {return Meta{};} Meta operator!=(const Foo&) {return Meta{};} }; …

11 c++ language-lawyer eigen eigen3 c++20

1

Die Implementierung von spitzen Klammern durch GCC umfasst. Warum muss es wie unten beschrieben sein?

Dieses Dokument in Abschnitt 2.6 Computed Includes enthält den folgenden Absatz: Wenn die Zeile zu einem Token-Stream erweitert wird, der mit einem <Token beginnt und ein> Token enthält, werden die Token zwischen dem <und dem ersten> kombiniert, um den einzuschließenden Dateinamen zu bilden. Jedes Leerzeichen zwischen Token wird auf ein …

11 c++ c gcc language-lawyer

1

Warum wählt der Compiler diese generische Methode mit einem Klassentypparameter, wenn er mit einem nicht verwandten Schnittstellentyp aufgerufen wird?

Betrachten Sie die folgenden zwei Klassen und Schnittstellen: public class Class1 {} public class Class2 {} public interface Interface1 {} Warum ruft der zweite Aufruf mandatorydie überladene Methode auf Class2, wenn getInterface1und Interface1hat keine Beziehung zu Class2? public class Test { public static void main(String[] args) { Class1 class1 = …

11 java generics java-8 language-lawyer javac

2

Muss T ein vollständiger Typ sein, um in `std :: declval <T>` verwendet zu werden?

Betrachten Sie dieses Beispiel (von hier ): #include <type_traits> #include <iostream> template <typename U> struct A { }; struct B { template <typename F = int> A<F> f() { return A<F>{}; } using default_return_type = decltype(std::declval<B>().f()); }; int main() { B::default_return_type x{}; std::cout << std::is_same< B::default_return_type, A<int>>::value; } Es wird …

11 c++ language-lawyer incomplete-type declval

2

Abzug der Argumenttypen für C ++ - Vorlagenvorlagen

Ich habe Code, der Übereinstimmungen eines Musters findet und ausdruckt, indem er über den Container mit Zeichenfolgen geht. Der Druck wird in der Funktion ausgeführt foo , die als Templat wird Der Code #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include <string> #include <tuple> #include <utility> template<typename Iterator, template<typename> …

10 c++ c++11 templates language-lawyer template-templates

1

Wird ein auf CHAR_MAX eingestellter Zeichenwert garantiert in CHAR_MIN umgebrochen?

Mein Code: #include <stdio.h> #include <limits.h> int main() { char c = CHAR_MAX; c += 1; printf("CHAR_MIN=%d CHAR_MAX=%d c=%d (%c)\n", CHAR_MIN, CHAR_MAX, c, c); } Ausgabe: CHAR_MIN=-128 CHAR_MAX=127 c=-128 () Wir sehen, dass, wenn wir eine charVariable inkrementieren CHAR_MAX, diese umbrochen wird CHAR_MIN. Ist dieses Verhalten garantiert? Oder handelt es …

10 c char language-lawyer standards integer-overflow

3

Inkonsistente Kürzung von vorzeichenlosen Bitfeld-Ganzzahlausdrücken zwischen C ++ und C in verschiedenen Compilern

Bearbeiten 2 : Ich habe einen seltsamen Testfehler behoben, als eine Funktion, die sich zuvor in einer C ++ - Quelldatei befand, aber wörtlich in eine C-Datei verschoben wurde, falsche Ergebnisse zurückgab. Die folgende MVE ermöglicht es, das Problem mit GCC zu reproduzieren. Als ich jedoch aus einer Laune heraus …

10 c++ c language-lawyer bit-fields truncation

1

Unerwartete InvalidOperationException beim Versuch, die Beziehung über den Standardwert der Eigenschaft zu ändern

Im folgenden Beispielcode wird dabei die folgende Ausnahme angezeigt db.Entry(a).Collection(x => x.S).IsModified = true: System.InvalidOperationException: 'Die Instanz des Entitätstyps' B 'kann nicht verfolgt werden, da bereits eine andere Instanz mit dem Schlüsselwert' {Id: 0} 'verfolgt wird. Stellen Sie beim Anhängen vorhandener Entitäten sicher, dass nur eine Entitätsinstanz mit einem bestimmten …

10 c# language-lawyer entity-framework-core-3.1

2

Abzug von Vorlagenargumenten für ein Argument eines Funktionstyps

Betrachten Sie das folgende Programm. #include <iostream> template <typename T> void f( void ( *fn )( T ) ) { fn( 42 ); } void g( int x ) { std::cout << "g( " << x << " );\n"; } int main() { f( g ); } Das Programm wird …

10 c++ templates language-lawyer c++17 template-argument-deduction

1

Warum verhindert das Hinzufügen eines zweiten Impl den Deref-Zwang des Arguments?

Ich bin auf dieses Problem gestoßen Add<char> for String, als ich versucht habe, das Impl zur Standardbibliothek hinzuzufügen . Aber wir können es leicht replizieren, ohne Operator-Spielereien. Wir beginnen damit: trait MyAdd<Rhs> { fn add(self, rhs: Rhs) -> Self; } impl MyAdd<&str> for String { fn add(mut self, rhs: &str) …

10 rust language-lawyer

2

Konstruieren Sie Standardausnahmen mit Nullzeigerargumenten und unmöglichen Nachbedingungen

Betrachten Sie das folgende Programm: #include<stdexcept> #include<iostream> int main() { try { throw std::range_error(nullptr); } catch(const std::range_error&) { std::cout << "Caught!\n"; } } GCC und Clang mit libstdc ++ rufen std::terminatedas Programm mit der Nachricht auf und brechen es ab terminate called after throwing an instance of 'std::logic_error' what(): basic_string::_S_construct …

9 c++ exception language-lawyer

1

Ist es UB, eine Elementfunktionskoroutine eines Objekts wieder aufzunehmen, dessen Lebensdauer abgelaufen ist?

Diese Frage ergibt sich aus diesem Kommentar: Erklärung der Lambda-Lebensdauer für C ++ 20-Coroutinen zu diesem Beispiel: auto foo() -> folly::coro::Task<int> { auto task = []() -> folly::coro::Task<int> { co_return 1; }(); return task; } Die Frage ist also, ob die Ausführung der von zurückgegebenen Coroutine zu fooUB führen würde. …

9 c++ language-lawyer c++20 c++-coroutine

1

Nicht spezifizierte implizite Objekterstellung

Da P0593 die implizite Erstellung von Objekten für die Objektmanipulation auf niedriger Ebene akzeptiert wurde, können Objekte jetzt implizit in C ++ 20 erstellt werden. Insbesondere ermöglicht der durch den Vorschlag eingeführte Wortlaut, dass bestimmte Vorgänge (z. B. std::malloc) automatisch die Lebensdauer von Objekten bestimmter Typen, sogenannte implizite Lebensdauer-Typen , …

9 c++ language-lawyer c++20

2

Warum kann C ++ T bei einem Aufruf von Foo <T> :: Foo (T &&) nicht ableiten?

Angesichts der folgenden Vorlagenstruktur: template<typename T> struct Foo { Foo(T&&) {} }; Dies kompiliert und Twird abgeleitet als int: auto f = Foo(2); Dies wird jedoch nicht kompiliert: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for deduction of template …

9 c++ templates language-lawyer

Als «language-lawyer» getaggte Fragen