Programmierung templates

2

Wenn constexpr mit static_assert in Lambda, welcher Compiler ist korrekt?

Wenn wir a static_assertin a verwenden möchten, if constexprmüssen wir die Bedingung von einem Vorlagenparameter abhängig machen. Interessanterweise stimmen gcc und clang nicht überein, wenn der Code in ein Lambda eingewickelt ist. Der folgende Code wird mit gcc kompiliert, aber clang löst die Bestätigung aus, auch wenn das if constexprnicht …

13 c++ templates language-lawyer c++17 static-assert

1

C ++ 20-Definition außerhalb der Klasse in einer Vorlagenklasse

Bis zum C ++ 20-Standard von C ++, als wir einen Operator außerhalb der Klasse definieren wollten, der einige private Mitglieder einer Vorlagenklasse verwendet, verwendeten wir ein ähnliches Konstrukt: template <typename T> class Foo; template <typename T> constexpr bool operator==(T lhs, const Foo<T>& rhs); template <typename T> class Foo { …

12 c++ templates c++20

2

Ein Konzept an eine Funktion übergeben

Ist es auch möglich, diese Prädikate für Algorithmen zur Kompilierungszeit wiederzuverwenden, da Konzepte als Prädikate zur Kompilierungszeit definiert sind? Wäre es beispielsweise möglich zu überprüfen, ob alle Typen in einem Tupel einem Konzept entsprechen? Soweit ich gesehen habe, ist es nicht möglich, ein Konzept in irgendeiner Weise an eine Funktion …

12 c++ templates template-meta-programming c++20 concept

1

Warum dauert das Kompilieren dieses Codes mit g ++ so lange?

Betrachten Sie den folgenden Code: template<int i> class A { typedef A<i-1> B; B x, y; }; template<> class A<0> { char m; }; int main() { A<LEVEL> a; } Beim Benchmarking der Kompilierung durch g ++ mit dem folgenden Bash-Befehl (mit g ++ 8.3.0) for ((level=1; level<30; ++level)); do …

12 c++ templates gcc compilation

1

Kann eine variable Vorlage als Vorlagenvorlagenargument übergeben werden?

Das folgende unsinnige Beispiel wird nicht kompiliert. Gibt es jedoch eine andere Möglichkeit, eine Variablenvorlage als Vorlagenvorlagenargument zu übergeben? template<typename T> constexpr auto zero = T{0}; template<typename T, template<typename> auto VariableTemplate> constexpr auto add_one() { return VariableTemplate<T> + T{1}; } int main() { return add_one<int, zero>(); } Probieren Sie den …

11 c++ templates c++14 template-templates variable-templates

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

Problem in GCC / C ++ 17 mit Vorlagenvorlagenklasse

Betrachten Sie die 2 folgenden Überlastungen template<typename T> bool test() { return true; } template<template<typename ...> class T> bool test() { return false; } Der erste funktioniert für reguläre Klassen, während der zweite für Vorlagen funktioniert, die nicht instanziiert sind. Zum Beispiel: std::cout<<test<int>()<<std::endl; <-- this yields 1 std::cout<<test<std::list>()<<std::endl; <--this yields …

10 c++ templates gcc clang c++17

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

3

Warum muss im folgenden Fall kein Typname für abhängige Typen verwendet werden?

Ich habe gelesen , über Bezug von einer Art zu entfernen, hier . Es gibt das folgende Beispiel: #include <iostream> // std::cout #include <type_traits> // std::is_same template<class T1, class T2> void print_is_same() { std::cout << std::is_same<T1, T2>() << '\n'; } int main() { std::cout << std::boolalpha; print_is_same<int, int>(); print_is_same<int, int …

10 c++ c++11 templates typetraits dependent-name

2

Der Versuch, mit Vorlagen versehene Funktionen zu verwenden, um zwei Saiten zu tauschen

#include<iostream> #include<string> template <typename T> void swap(T a , T b) { T temp = a; a = b; b = temp; } template <typename T1> void swap1(T1 a , T1 b) { T1 temp = a; a = b; b = temp; } int main() { int a = …

9 c++ templates pass-by-reference pass-by-value stdstring

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

2

C ++ - Warum wird hier das Schlüsselwort 'template' benötigt?

Ich habe folgenden Code: template <typename TC> class C { struct S { template <typename TS> void fun() const {} }; void f(const S& s) { s.fun<int>(); } }; // Dummy main function int main() { return 0; } Beim Erstellen mit gcc 9.2 und clang (9.0) wird ein Kompilierungsfehler …

9 c++ templates language-lawyer dependent-name

1

Übergeben eines Funktionszeigers aus einem Array von Funktionszeigern als Vorlagenargument

Ich möchte einen Funktionszeiger aus einem Array von Funktionszeigern als Vorlagenargument übergeben. Mein Code scheint mit MSVC kompiliert zu werden, obwohl Intellisense sich darüber beschwert, dass etwas nicht stimmt. Sowohl gcc als auch clang können den Code nicht kompilieren. Betrachten Sie das folgende Beispiel: static void test() {} using FunctionPointer …

9 c++ templates c++14

1

Clang / GCC-Inkonsistenz in der Klassenspezialisierung

Ich kam dieses Problem auf bei dem Versuch , sich zu spezialisieren tuple_size/ tuple_elementeine benutzerdefinierte Klasse in C ++ 17 für strukturierte Bindung. Der folgende Code wird in GCC kompiliert, jedoch nicht in Clang (beide Trunk-Versionen, siehe Link unten). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename …

9 c++ templates language-lawyer template-specialization partial-specialization

5

Wie kann ich den richtigen Datentyp in Vorlagen zurückgeben?

#include <iostream> using namespace std; template <class X, class Y> Y big(X a, Y b) { if (a > b) return (a); else return (b); } int main() { cout << big(32.8, 9); } Hier verwende ich Vorlagen in CPP. Wenn ich also die Funktion bigaufrufe, die Argumente doubleund intTyp …

9 c++ function templates return-type function-templates

Als «templates» getaggte Fragen