Programmierung c++

1

Warum wird static_cast für die Implementierung von is_nothrow_constructible durch gcc benötigt?

Aus der GCC-Implementierung entnommen, type_traitswarum hier static_castbenötigt wird? template <typename _Tp, typename... _Args> struct __is_nt_constructible_impl : public integral_constant<bool, noexcept(_Tp(declval<_Args>()...))> {}; template <typename _Tp, typename _Arg> struct __is_nt_constructible_impl<_Tp, _Arg> : public integral_constant<bool, // Why is `static_cast` needed here? noexcept(static_cast<_Tp>(declval<_Arg>()))> {};

11 c++ typetraits libstdc++ static-cast

1

Unqualified sort () - Warum wird es kompiliert, wenn es auf std :: vector und nicht auf std :: array verwendet wird, und welcher Compiler ist korrekt?

Beim Aufrufen std::sort()eines std::array: #include <vector> #include <array> #include <algorithm> int main() { std::vector<int> foo{4, 1, 2, 3}; sort(begin(foo), end(foo)); std::array<int, 4> foo2{4, 1, 2, 3}; sort(begin(foo2), end(foo2)); } Sowohl gcc als auch clang geben einen Fehler bei der Sortierung auf dem std::array- clang zurück Fehler: Verwendung des nicht deklarierten …

11 c++ c++17

3

Wie finde ich heraus, welche Funktionen der Compiler generiert hat?

Ich kenne vom Compiler generierte Funktionen, die Dreierregel und die Fünferregel. In realen Szenarien ist es möglicherweise nicht trivial, genau herauszufinden, welche der vom Compiler generierten Funktionen (Konstruktoren, Zuweisungsoperatoren, Destruktoren) tatsächlich vom Compiler erstellt wurden. Gibt es eine Möglichkeit, die vom Compiler generierten Funktionen für eine bestimmte Klasse aufzulisten? Ich …

11 c++ c++11

2

Wie finde ich falsche C ++ - Kopiervorgänge?

Vor kurzem hatte ich Folgendes struct data { std::vector<int> V; }; data get_vector(int n) { std::vector<int> V(n,0); return {V}; } Das Problem mit diesem Code ist, dass beim Erstellen der Struktur eine Kopie auftritt und die Lösung stattdessen darin besteht, return {std :: move (V)} zu schreiben. Gibt es einen …

11 c++ code-analysis static-code-analysis cppcheck

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

1

Kann eine Inline-Variable nach der Initialisierung in C ++ 17 geändert werden?

Mein Szenario ist das folgende (es hat in clang funktioniert, aber nicht in gcc) liba.hpp: inline int MY_GLOBAL = 0; libother.cpp: (dll) #include "myliba.hpp" void myFunc() { // MYGLOBAL = 28; } someexe.cpp: RunAppThatUsesBothLibAandLibOther(); Das Problem ist, dass die Inline-Variable an Stellen, an denen ich 28 erwartet hatte, 0 anzeigt, …

11 c++ visual-c++ dll clang c++17

5

Wird der Destruktor eines lokalen Objekts in einer Schleife garantiert vor der nächsten Iteration aufgerufen?

Wenn ich eine Schleife habe und innerhalb dieser Schleife eine neue Stapelvariable erstelle (ohne sie auf dem Heap zuzuweisen und die Variable, die sie im Schleifenkörper deklariert hält), wird der Destruktor dieses Objekts garantiert aufgerufen, bevor die nächste Iteration beginnt oder möglicherweise Schleife Abwickeln durch den Compiler etwas daran ändern?

11 c++ destructor

1

std :: function const Korrektheit

Angenommen, ich habe einen aufrufbaren Typ wie folgt: struct mutable_callable { int my_mutable = 0; int operator()() { // Not const return my_mutable++; } }; Beachten Sie, dass mutable_callablees eine Nicht-Konstante gibt operator(), die eine Mitgliedsvariable ändert ..... Angenommen, ich erstelle ein std::functionOut aus meinem Typ: std::function<int()> foo = mutable_callable{}; …

11 c++ std-function const-correctness

1

Kann Span constexpr sein?

Alle Konstruktoren von std :: span sind als constexpr deklariert, aber ich kann anscheinend keinen von ihnen dazu bringen, in einem constexpr-Kontext zu arbeiten. Das Kommentieren eines der folgenden Constexpr führt zu einem Kompilierungsfehler. #include <array> #include <span> int main() { constexpr int carray[3] = { 0, 1, 2 }; …

11 c++ constexpr c++20

1

Warum überlappt sich der Speicher für eine doppelte leere Basis nicht mit einem vtable-Zeiger?

Betrachten Sie dieses Beispiel: #include <iostream> int main() { struct A {}; struct B : A {}; struct C : A, B {}; std::cout << sizeof(A) << '\n'; // 1 std::cout << sizeof(B) << '\n'; // 1 std::cout << sizeof(C) << '\n'; // 2, because of a duplicate base struct …

11 c++

5

Ich kann die Länge eines Arrays mithilfe einer Konstante definieren. Warum funktioniert int d [b] nicht?

int a = 5; const int b = a, c = 4; int e[a]; int d[b]; int f[c]; Die Definition von f[c]ist gültig. Die Variable bist ebenfalls eine Konstante int, aber der Compiler gab mir den Fehler "Ausdruck muss einen konstanten Wert haben" für die Zeile int d[b]. Was sind …

11 c++

5

C ++ ternäre Zuordnung von Lambda

Irgendeine Idee, warum das folgende Snippet nicht kompiliert wird? Es beschwert sich mit einem Fehler "Fehler: Operanden zu ?: Haben verschiedene Typen" auto lambda1 = [&](T& arg) { ... }; auto lambda2 = [&](T& arg) { ... }; auto lambda = condition ? lambda1 : lambda2;

11 c++ c++11 lambda conditional-operator

6

Unschuldiger Bereich basierend auf Schleife funktioniert nicht

Folgendes wird nicht kompiliert: #include <iostream> int main() { int a{},b{},c{},d{}; for (auto& s : {a, b, c, d}) { s = 1; } std::cout << a << std::endl; return 0; } Probieren Sie es auf Godbolt Compilerfehler ist: error: assignment of read-only reference 's' In meinem aktuellen Fall besteht …

11 c++ for-loop c++17 initializer-list

5

Erfasst ein neu erstelltes Objekt durch const ref undefiniertes Verhalten

Ist das folgende (erfundenes Beispiel) in Ordnung oder ist es undefiniertes Verhalten: // undefined behavior? const auto& c = SomeClass{}; // use c in code later const auto& v = c.GetSomeVariable();

11 c++ c++11 const undefined-behavior

2

Der Aufruf von Lambda ist trotz expliziter Angabe des Rückgabetyps nicht eindeutig

Eine überladene Funktion sollte beide Funktoren aufnehmen, da der Lambda-Typ entscheidbar ist (umsetzbar auf einen std::function(bitte korrigieren Sie mich, wenn ich falsch liege). Die Frage ist: Warum gibt es unten einen Kompilierungsfehler, obwohl der Lambda-Typ explizit ist definiert? ( [&]() -> Type {}) Bitte beachten Sie, dass ich für meine …

11 c++ c++11 lambda implicit-conversion std-function

Als «c++» getaggte Fragen