Gracias a la pista compartida por Trauma he podido ver que mi aproximación al problema era totalmente errónea.
Problema.
Uno de los componentes de las plantillas variádicas es el paquete de parámetros, que tiene el formato siguiente: definición ... nombre
, por ejemplo:
template <typename ... tipos>
// ~~~~~~~~ ~~~~~ <--- el paquete de parámetros se llama 'tipos'
// ^
// \__ una colección de tipos
template <int ... valores>
// ~~~ ~~~~~~~ <--- el paquete de valores se llama 'valores'
// ^
// \__ una colección de 'int'
Los paquetes de parámetros se pueden desplegar de diferentes maneras, usando el nombre del paquete:
void f(tipos ...); // despliega el paquete en la forma f(tipo1, tipo2, tipo3, tipon);
void f<valores ...>(); // despliega el paquete en la forma f(valor1, valor2, valorn);
O con la sintaxis: expresión(nombre)...
, por ejemplo:
función(tipos)... // despliega el paquete en la forma función(tipo1), función(tipo2), función(tipon)
En todos los casos el nombre del paquete, seguido de la elipsis (...
) provocará el despliegue del paquete de parámetros, pero este despliegue no puede tener una forma diferente a las mencionadas, así que en esta declaración:
template <typename tipo, int ... valores>
class matriz
{
tipo datos[valores]...;
};
La línea tipo datos[valores]...;
no tiene la sintaxis adecuada para ser considerada un paquete de parámetros a desplegar.
Solución.
No se puede declarar una formación multidimensional mediante el despliegue de paquetes de parámetros, así que la única solución es crear el tipo de la formación de manera recursiva mediante tipos anidados, empezaremos con la plantilla que contendrá el tipo anidado:
// Formación de X Dimensiones.
template <typename tipo, unsigned ... dimensiones>
struct FormacionXD;
Esta plantilla acepta un tipo tipo
e internamente publicará un tipo de la misma plantilla con una de las dimensiones menos, para conseguir esto necesitamos dos especializaciones:
Una especialización para cuando sólo quede una dimensión en el paquete de parámetros.
// Formación de X Dimensiones, especialización con una sola dimensión.
template <typename tipo, unsigned dimension>
struct FormacionXD<tipo, dimension>
{
using matriz = tipo[dimension];
}
Otra especialización que extraiga una de las dimensiones de dimensiones
.
/* Formación de X Dimensiones, especialización para acceder
a una de las dimensiones y anidar internamente el resto. */
template <typename tipo, unsigned dimension, unsigned ... dimensiones>
struct FormacionXD<tipo, dimension, dimensiones ...>
{
using matriz = FormacionXD<tipo, dimensiones ...>::matriz[dimension];
}
Por lo tanto, con FormacionXD
podemos declarar matriz
de la siguiente manera:
template <typename tipo, int ... valores>
class matriz
{
using datos_t = typename FormacionXD<tipo, valores ...>::matriz;
datos_t datos{};
};
¿Qué pasa cuando instanciamos con los parámetros <int, 3, 4, 5>
?:
Hay dos plantillas candidatas:
// (Candidata 1)
template <typename tipo, unsigned ... dimensiones>
struct FormacionXD;
// (Candidata 2)
template <typename tipo, unsigned dimension, unsigned ... dimensiones>
struct FormacionXD<tipo, dimension, dimensiones ...> { ... };
Siempre se escoge la más especializada, por lo tanto será la Candidata 2 la que se instanciará:
struct FormacionXD
{
using matriz = FormacionXD<int, 4, 5>::matriz[3];
};
Esta instancia intenta instanciar de nuevo FormacionXD
:
Instanciando FormacionXD<int, 4, 5>
tenemos las mismas plantillas candidatas que en el punto anterior y la más especializada sigue siendo la Candidata 2:
struct FormacionXD
{
using matriz = FormacionXD<int, 5>::matriz[4];
};
La instanciación FormacionXD<int, 5>
tiene de nuevo dos candidatas:
// (Candidata 1)
template <typename tipo, unsigned ... dimensiones>
struct FormacionXD;
// (Candidata 2)
template <typename tipo, unsigned dimension>
struct FormacionXD<tipo, dimension> { ... };
Y una vez más la más especializada es la Candidata 2 que instanciada tendrá este aspecto:
struct FormacionXD
{
using matriz = int[5];
};
En resumen, FormacionXD<int, 3, 4, 5>::matriz
es una formación de 3 FormacionXD<int, 4, 5>::matriz
que a su vez es una formación de 4 FormacionXD<int, 5>::matriz
que a su vez es una formación de 5 int
.
Es un poco confuso pero al desenroscar todas las instancias tenemos:
- Una formación de tres...
- ... formación de cuatro...
- ... formación de cinco
int
.
Es decir: int[3][4][5]
.
no eres tu, soy yo
:-) – Trauma el 17 jul. 19 a las 18:12