Pacchetti parametri variabili a lunghezza fissa in C++ 11

Question

Sto tentando di implementare una classe vettoriale n-dimensionale generalizzata utilizzando C++ 11. Idealmente, mi piacerebbe fornire il tipo "T" e il numero di dimensioni "n" del vettore e fare in modo che il costruttore accetti il ​​numero appropriato di argomenti.

Purtroppo, non sono stato in grado di trovare un modo per consentire una lunghezza fissa specificata da un modello di un pacchetto di parametri.

Quello che sto cercando è qualcosa di simile

template<typename T, size_t n> 
class Vector { 
public: 
    Vector(T... values /* values is exactly n parameters long */); 

    ... 
}; 

E 'possibile fare questo?

Answer 1

Beh, è ​​possibile utilizzare std :: enable_if:

template <typename... Args, 
    typename = typename std::enable_if< 
     sizeof...(Args) == n 
    >::type> 
explicit Vector(Args&&... values) : _data{ std::forward<Args>(values)... } {} 

Sarà ombra costruttori che possono accettare dimensioni Args diverso da n.

Answer 2

si potrebbe anche usare questo trucco:

template <typename T, std::size_t n, typename = std::make_index_sequence<n>> 
class Vector; 

template <typename T, std::size_t n, std::size_t... Ignore> 
class Vector<T, n, std::index_sequence<Ignore...>> 
{ 
    template <size_t > using ith_T = T; 
public: 
    Vector(ith_T<Ignore>... values) 
    { 
    } 
}; 

Questo farà sì che Vector prende n argomenti di tipo T, senza template aggiuntivi necessari. Si potrebbe inoltre nascondere l'Ignore... bruttura in uno spazio dei nomi:

namespace details { 
    template <typename T, std::size_t n, typename = std::make_index_sequence<n>> 
    class Vector; 

    ... 
} 

template <typename T, std::size_t n> 
using Vector = details::Vector<T, n>;