Programmazione templates

4

Sovraccarico di una funzione mediante modelli

Sto provando a definire una funzione usando i template e voglio che il typename sia int o anEnum (un enum specifico che avevo definito). Ho provato quanto segue ma ho fallito: template <int | anEnum T> // or <int T, anEnum T> or <int, anEnum T> bool isFunction(const T &aVariable){} …

34 c++ templates overloading

3

Come posso creare un modo cartesiano di elenchi di tipi in C ++?

Autoesplicativo. Fondamentalmente, dire che ho elenchi di tipi in questo modo: using type_list_1 = type_list<int, somestructA>; using type_list_2 = type_list<somestructB>; using type_list_3 = type_list<double, short>; Possono essere un numero variabile di elenchi di tipi. Come posso ottenere una lista dei tipi di prodotti cartesiani? result = type_list< type_list<int, somestructB, double>, …

26 c++ templates c++17 variadic-templates

4

Contenitore STL con un tipo specifico come argomento generico

Esiste un modo in cui posso fare una funzione che accetta un contenitore con un tipo specifico (diciamo std::string) come parametro void foo(const std::container<std::string> &cont) { for(std::string val: cont) { std::cout << val << std::endl; } } e chiamarlo per ogni tipo di contenitore stl come input? come sopra? std::set<std::string> …

25 c++ templates stl containers

1

'auto' come segnaposto di argomento modello per un parametro di funzione

C ++ 20 consente l'utilizzo autoper il tipo di parametro della funzione. Permette anche di utilizzare autocome segnaposto argomento modello (non simile, ma nello spirito del modello C ++ 17 <auto> in un certo senso) per il tipo di parametro funzione? Quindi il seguente codice, pre C ++ 20: template<typename …

22 c++ templates auto c++20

4

Come chiamare il costruttore giusto di un tipo di modello?

Nel codice seguente, come posso fare in modo che la riga commentata funzioni allo stesso modo della riga appena sopra? Vorrei renderlo un codice generico, che chiama il costruttore adatto di un modello Type. #include <string> #include <iostream> template <typename Type> struct Class { Type data; Class(Type data) : data(data) …

21 c++ class c++11 templates initialization

3

Perché unique_ptr <Derived> esegue il cast implicito su unique_ptr <Base>?

Ho scritto il seguente codice che utilizza unique_ptr<Derived>dove unique_ptr<Base>è previsto un class Base { int i; public: Base( int i ) : i(i) {} int getI() const { return i; } }; class Derived : public Base { float f; public: Derived( int i, float f ) : Base(i), f(f) …

21 c++ templates inheritance unique-ptr

1

Tipo di ritorno automatico di modello e ambiguità

Ho una funzione di template sovraccarico: template<typename T1, typename T2> auto overMax(T1 a, T2 b) { std::cout << __FUNCSIG__ << std::endl; return b < a ? a : b; } template<typename RT, typename T1, typename T2> RT overMax(T1 a, T2 b) { std::cout << __FUNCSIG__ << std::endl; return b < …

20 c++ templates c++17 visual-studio-2019 template-argument-deduction

4

Perché std :: function non partecipa alla risoluzione del sovraccarico?

So che il seguente codice non verrà compilato. void baz(int i) { } void baz() { } class Bar { std::function<void()> bazFn; public: Bar(std::function<void()> fun = baz) : bazFn(fun){} }; int main(int argc, char **argv) { Bar b; return 0; } Perché std::functionsi dice che non consideri la risoluzione del …

17 c++ templates translation std-function

1

Clang ha ragione a rifiutare il codice in cui la classe nidificata di un modello di classe è definita solo tramite specializzazioni?

Dato il seguente modello di classe: template<typename T> struct Outer { struct Inner; auto f(Inner) -> void; }; definiamo Innerseparatamente per ogni specializzazione di Outer: template<> struct Outer<int>::Inner {}; template<> struct Outer<double>::Inner {}; e quindi definire funa volta la funzione membro per tutte le specializzazioni di Outer: auto Outer<T>::f(Inner) -> …

17 c++ templates language-lawyer template-specialization incomplete-type

2

Modelli di sovraccarico ambigui

Ho il seguente codice di modello #include <vector> #include <array> #include <iostream> template<typename T1> void foo(std::vector<T1> bar) { std::cout << "GENERIC" << std::endl; } template<typename T1> void foo(std::vector<std::vector<T1>> bar) { std::cout << "SPECIFIC (vector)" << std::endl; } template<typename T1, int SIZE> void foo(std::vector<std::array<T1, SIZE>> bar) { std::cout << "SPECIFIC (array)" …

16 c++ templates

2

Come passare un riferimento a un argomento typename del modello

Esiste un modo per passare un riferimento come argomento a un argomento del modello typename? Intendo dire invece di passare un int, ad esempio, per passare un riferimento a un int. template <typename T> struct Foo { Foo(T arg) : ptr(arg) {} T ptr; }; int main() { int* a …

16 c++ templates

3

Modelli variabili: spiega argomenti in gruppi

Ho una funzione che accetta due argomenti: template <typename T1, typename T2> void foo(T1 arg1, T2 arg2) { std::cout << arg1 << " + " << arg2 << '\n'; } E una variadica che dovrebbe inoltrare i suoi argomenti in coppia: template <typename... Args> void bar(Args&&... args) { static_assert(sizeof...(Args) % …

16 c++ c++11 templates variadic-templates

5

Come avere una variabile const in un ciclo for per la generazione di classi template?

Ho un codice come template <size_t N> class A { template <size_t N> someFunctions() {}; }; Ora voglio creare istanze della classe e chiamare le funzioni in essa contenute in un ciclo for per un insieme di molti valori come // in main() int main() { for (int i = …

15 c++ for-loop templates compile-time-constant template-classes

1

Clang non compila il codice ma gcc e msvc lo hanno compilato

Non capisco qual è il problema: né nel mio codice né nel compilatore (meno possibile). C'è un pezzo di codice come questo: #include <iostream> #include <type_traits> #include <set> template<typename T, typename = void> struct TestA: std::false_type {}; template<typename T> struct TestA<T, std::void_t<typename T::reverse_iterator>> : std::true_type {}; template<typename T> struct TestA<T, …

14 c++ templates gcc visual-c++ clang

2

Qual è il punto nel sapere se un oggetto è un integrale o no o è un tipo di classe o no?

Ciao, ho visto molti esempi come questo in Cppreference.com: std::is_class<T> std::is_integral E così via. So se eseguo il codice per esempio ottengo trueo false. Ma che senso ha questo? ad esempio sapere che l'oggetto è di tipo classe o no? #include <iostream> #include <type_traits> struct A {}; class B {}; …

14 c++ templates

Domande taggate «templates»