template-meta-programming

5calore

3risposta

Ho una serie di tipi di relazione con una relazione uno-a-uno, per esempio: TypeA ---> Type1 TypeB ---> Type2 TypeC ---> Type3 So che queste relazione al momento della compilazione. Poi, ho una cl

11calore

4risposta

rilevamento typedef in fase di compilazione (metaprogrammazione modello)

Attualmente sto facendo qualche metaprogrammazione del modello. Nel mio caso posso gestire qualsiasi tipo "iterabile", cioè qualsiasi tipo per cui esiste uno typedef foo const_iterator nello stesso mo

5calore

2risposta

Come rilevare se un tipo è un'espressione lambda in fase di compilazione?

Supponiamo di avere un tipo my_struct che racchiude una variabile membro, f, che è una funzione. È possibile che f sia una funzione lambda C++ 11. Poiché è illegale assegnare oggetti lambda, vorrei im

6calore

1risposta

ereditando da una base enable_if'd

Sto cercando di specializzarsi in parte un tratto per gli array di caratteri non-: template<typename T> struct is_container : std::false_type {}; template<typename T, unsigned N> struct is_contain

9calore

1risposta

Come dedurre, in fase di compilazione, la radice di un albero ereditario comune a due tipi se ne esiste uno?

Ho un problema in cui ho bisogno di scoprire l'antenato comune di due tipi (con una o zero classi di base) se esiste. È possibile costruire un tratto di tipo per risolvere questo problema? In Codice:

12calore

6risposta

Invio dinamico C++ senza funzioni virtuali

Ho un codice legacy che, invece di funzioni virtuali, utilizza un campo kind per eseguire l'invio dinamico. Sembra qualcosa di simile: // Base struct shared by all subtypes // Plain-old data; can't u

5calore

2risposta

Concatenamento di modelli variadici insieme

Che aspetto avrebbe il X nel seguente codice se è stato convertito per utilizzare modelli variadici C++ 11 e dovrebbe supportare un numero arbitrario di argomenti modello? template<int OFFSET> struct

9calore

1risposta

errore "troppi modello-parametro-liste" quando specializzata una funzione di membro

vorrei definire alcuni metodi di membro template all'interno di una classe template in questo modo: template <typename T> class CallSometing { public: void call (T tObj); // 1st template

7calore

3risposta

Specializzazione modello per un intervallo di valori

Desidero scrivere una struttura modello foo tale che foo<N>::value_type sia il numero intero più vicino (arrotondando per eccesso) a N. Ad esempio foo<32>::value_type => uint32_t, foo<33>::value_type

5calore

1risposta

Boost MPL: chiama una funzione (membro) solo se esiste

Ho una classe A che ha un parametro template T. Ci sono casi d'uso in cui la classe T offre una funzione func1() e ci sono casi d'uso in cui T doesn lo offro. Una funzione f() in A dovrebbe chiamare f