template-meta-programming

7calore

2risposta

Ho un tipo simile: template<typename T> struct wrapper { using foo = typename T::foo; using bar = typename T::bar; using baz = typename T::baz; // More of those... }; desidero

7calore

1risposta

Nel caso in cui decltype su un parametro del valore del modello attiva un contesto SFINAE?

Mentre sperimentare con qualche vincolo modello costruisce, ho incontrato un comportamento sorprendente Clang 3.7: struct constraint_success {}; struct constraint_failure {}; template<bool> struct

7calore

2risposta

std :: tuple, ottenere voce per tipo ereditato

in C++ 11 Ho codice molto ordinato e di lavoro per l'estrazione std::tuple voce per tipo (Per quanto ne so questa caratteristica anche placed a C++ 14 STL) ora sto affrontando con il compito di selezi

10calore

4risposta

Come posso rendere più breve questo codice di template variadic utilizzando le funzionalità di C++ 14 e C++ 1z?

Si tratta di un frammento di codice che ho intenzione di utilizzare al fine di verificare se i tipi di modello variadic sono uniche: template <typename...> struct is_one_of; template <typename F>

10calore

1risposta

Moltiplicazione di ogni elemento di uno std :: array al momento della compilazione

Vorrei convertire un std::array in un altro std::array, moltiplicando ciascuno dei suoi elementi con un numero specifico. Quello che ho in questo momento, ovviamente, non funziona: #include <array> #

6calore

2risposta

Utilizzo sizeof ... all'interno di std :: enable_if

Il seguente codice non viene compilato e non riesco a capire perché. template <class T, class... Ts> typename std::enable_if<sizeof...(Ts) > 0>::type func() { // nop } Il messaggio di errore

6calore

4risposta

Fallback to to_string() quando l'operatore <<() non riesce

Ho visto tipi che hanno la corrispondente funzione to_string(), ma non hanno sovraccaricato lo operator<<(). Quindi, quando si inserisce lo streaming, si deve << to_string(x) che è dettagliato. Mi chi

5calore

1risposta

Come verificare se T è un tipo aggregato?

So di std::is_pod. Ma controlla molto più dei tipi aggregati. Oppure, è std::is_pod solo il meglio che possiamo fare? Fondamentalmente, voglio scrivere un modello di funzione per this: template <typen

5calore

1risposta

Impossibile ottenere SFINAE funzionare

Questo è il mio primo tentativo di SFINAE: #include <type_traits> #include <iostream> struct C1 { using T = int; }; struct C2 { using T = void; }; // For classes that declare T = in

8calore

3risposta

Metafunzione per convertire un tipo in un numero intero e viceversa

Il typeid consente di assegnare un unico std::type_index a ciascun tipo in fase di esecuzione. Vorrei fare lo stesso, in modo statico utilizzando due METAFUNCTIONS: // Get a unique integral number ass