Als «c++» getaggte Fragen

Für den folgenden Code werden alle bis auf die letzte Zusicherung bestanden: template<typename T> constexpr void assert_static_cast_identity() { using T_cast = decltype(static_cast<T>(std::declval<T>())); static_assert(std::is_same_v<T_cast, T>); } int main() { assert_static_cast_identity<int>(); assert_static_cast_identity<int&>(); assert_static_cast_identity<int&&>(); // assert_static_cast_identity<int(int)>(); // illegal cast assert_static_cast_identity<int (&)(int)>(); assert_static_cast_identity<int (&&)(int)>(); // static assert fails } Warum schlägt diese letzte Behauptung …

24 c++  static-cast 

Gegeben : #include <concepts> #include <iostream> template<class T> struct wrapper; template<std::signed_integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "signed_integral" << std::endl; } }; template<std::integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "integral" << std::endl; } }; int main() { wrapper<int> …

23 c++  language-lawyer  c++20  c++-concepts 

Soweit ich weiß, hängt die Größe einer Klasse in C ++ von den folgenden Faktoren ab: Größe aller nicht statischen Datenelemente. Reihenfolge der Datenmitglieder. Ob das Auffüllen von Bytes aktiviert ist oder nicht. Größe seiner unmittelbaren Basisklasse. Die Existenz virtueller Funktionen. Vererbungsmodus (virtuelle Vererbung). Jetzt habe ich 2 Klassen wie …

23 c++  inheritance  memory 

Ich habe über Vorlagenfunktionen gelesen und war durch dieses Problem verwirrt: #include <iostream> void f(int) { std::cout << "f(int)\n"; } template<typename T> void g(T val) { std::cout << typeid(val).name() << " "; f(val); } void f(double) { std::cout << "f(double)\n"; } template void g<double>(double); int main() { f(1.0); // f(double) …

23 c++  function-templates  name-lookup  dependent-name  unqualified-name 

Ich habe festgestellt, dass die Ergebnisse bei Compilern unterschiedlich sind, wenn ich ein Lambda verwende, um einen Verweis auf eine globale Variable mit einem veränderlichen Schlüsselwort zu erfassen und dann den Wert in der Lambda-Funktion zu ändern. #include <stdio.h> #include <functional> int n = 100; std::function<int()> f() { int &m …

22 c++  c++11  lambda  language-lawyer 

In C ++ 20 kann der autoFunktionsparametertyp verwendet werden. Ermöglicht es auch die Verwendung autoeines Platzhalters als Vorlagenargument (nicht ähnlich, aber in gewisser Weise im Sinne der C ++ 17-Vorlage <auto> ) für den Funktionsparametertyp? Also der folgende Code vor C ++ 20: template<typename First, typename Second> void printPair(const std::pair<First, …

22 c++  templates  auto  c++20 

[basic.scope.pdecl] / 1 des C ++ 20-Standardentwurfs enthielt das folgende (nicht normative) Beispiel in einer Notiz (Teilzitat vor dem Zusammenführen der Pull-Anforderung 3580 , siehe Antwort auf diese Frage): unsigned char x = x; [...] x wird mit einem eigenen (unbestimmten) Wert initialisiert. Hat dies tatsächlich ein genau definiertes Verhalten …

22 c++  initialization  language-lawyer  lifetime  c++20 

Ich komme hauptsächlich aus Python und habe Probleme mit der Arbeit mit Typen in C ++. Ich versuche, eine Klassenvariable über einen von mehreren überladenen Konstruktoren zu initialisieren, die verschiedene Typen als Parameter verwenden. Ich habe gelesen, dass die Verwendung des autoSchlüsselworts für die automatische Deklaration einer Variablen verwendet werden …

22 c++  constructor  initialization  overloading  auto 

Angenommen, ich habe eine shared_ptrmit einem benutzerdefinierten Allokator und einem benutzerdefinierten Löscher. Ich kann im Standard nichts finden, das darüber spricht, wo der Deleter gespeichert werden soll: Es heißt nicht, dass der benutzerdefinierte Allokator für den Speicher des Deleters verwendet wird, und es heißt nicht, dass dies nicht der Fall …

22 c++  language-lawyer  c++17  shared-ptr  allocator 

In C ++ 20 ist das Konzept von POD veraltet, angeblich weil es ein bedeutungsloses zusammengesetztes Merkmal von Trivialität und Standardlayout ist. Die Definition von POD im C ++ 20-Entwurf ist jedoch nicht genau "sowohl trivial als auch Standardlayout". es ist eigentlich: Eine POD-Klasse ist eine Klasse, die sowohl eine …

22 c++  language-lawyer  c++20  standard-layout 

Erwägen int main() { auto a = new int[0]; delete[] a; // So there's no memory leak } Dürfen Sie zwischen der Initialisierung und dem Löschen der Kopie den Zeiger auf lesen a + 1? Erlaubt die Sprache dem Compiler außerdem die Einstellung aauf nullptr?

21 c++  language-lawyer 

#include <optional> bool f() { std::optional<int> opt; return opt; } Kompiliert nicht: 'return': cannot convert from 'std::optional<int>' to 'bool' Beratungsreferenz Ich hätte gedacht, eine Erklärung zu finden, aber ich habe sie gelesen, da es in Ordnung sein sollte. Implizite Konvertierungen werden immer dann durchgeführt, wenn ein Ausdruck eines Typs T1 …

21 c++  language-lawyer  c++17  implicit-conversion 

Angenommen, Sie möchten C ++ - Funktionen <random>in einem praktischen Programm verwenden (für eine Definition von "praktisch" - die Einschränkungen hier sind Teil dieser Frage). Sie haben ungefähr folgenden Code: int main(int argc, char **argv) { int seed = get_user_provided_seed_value(argc, argv); if (seed == 0) seed = std::random_device()(); ENGINE g(seed); …

21 c++  c++11  random 

Wie kann ich im folgenden Code dafür sorgen, dass die kommentierte Zeile genauso funktioniert wie die Zeile direkt darüber? Ich möchte daraus einen generischen Code machen, der einen geeigneten Konstruktor einer Vorlage aufruft Type. #include <string> #include <iostream> template <typename Type> struct Class { Type data; Class(Type data) : data(data) …

21 c++  class  c++11  templates  initialization 

Hier ist mein Code: while (it!=s.end()) //here 's' is a set of stl and 'it' is iterator of set { *it=*it-sub; //'sub' is an int value it++; } Ich kann den Wert von set by iterator nicht aktualisieren. Ich möchte einen ganzzahligen Wert 'sub' von allen Elementen der Menge subtrahieren. …

21 c++