Qual è la sintassi dei parametri di riferimento degli array di template variadic?

Question

Non so se quello che ho è un bug del compilatore o se semplicemente non conosco la sintassi per quello che sto cercando di fare. Immaginate una funzione che prende 2 riferimenti ad array:

void takeArrays(const char (&str1)[4], const char (&str2)[4]) { 
} 

Questo compila bene quando viene chiamato con:

takeArrays("foo", "bar"); 

Perché dovrei voler fare questo? Perché passare const char* perde le informazioni sulla dimensione della stringa letterale, e questo è importante per quello che sto facendo.

Quello che voglio veramente fare, tuttavia, è passare un numero variabile di riferimenti di array. Questo è dove le cose diventano leggermente brutte (peggiora). Ho provato questo ingenuamente:

template<typename... Args> 
void takeArrays(const char (&Args... strs)[4]) { 
} 

e ottenuto "error: variable or field ‘takeArrays’ declared void" e "error: expected primary-expression before ‘const’" (GCC 4.6). Così ho provato questo:

template<typename... Args> 
void takeArrays(const char (&(Args... strs))[4]) { 
} 

e ottenuto "no matching function for call to ‘takeArrays(const char [4], const char [4])’" e "candidate is template<class ... Args> void takeArrays(const char (& (*)(Args ...))[4])". Che è illeggibile ma sembra vicino a quello che voglio. Ho provato molte varianti e non riesco a farlo compilare.

Supponendo c'è un modo corretto di scrivere quanto sopra, quello che voglio fare è chiamare:

takeArrays("foo", "foobar", "longerstring"); 

e ottenere un elenco variadic di array di diverse dimensioni, vale a dire la chiamata di cui sopra dovrebbe essere ampliato dalla compilatore:

void takeArrays(const char (&str1)[4], const char (&str2)[7], 
       const char (&str3)[13]); 

che era il primo think ho provato a fare, e il mio tentativo è stato qualcosa di simile:

template<size_t... Sizes> 
void takeArrays(const char (&strs)[Sizes]...); 

Inutile dire che tutto ciò che ho ricevuto erano messaggi di errore. Sono consapevole che quello che sto cercando di fare è un po 'folle ma voglio davvero sapere se è possibile, e in tal caso, qual è la sintassi appropriata. Grazie in anticipo.

Answer 1

La sintassi per array variadic dello stesso tipo di elemento è:

template<size_t... Sizes> 
void takeArrays(const char (&...args)[Sizes]); 

Questo è simile al generale variadic sintassi di riferimento const:

template<typename... Args> 
void takeArrays(const Args &...args); 

Un modo semplice per ricordare è che l'ellissi va immediatamente prima del nome del parametro.