Editado
En los comentarios:
trabajo con una función que me devuelve el valor de un campo y cada vez que se invoca me devuelve el valor del siguiente campo de ese registro
Según entiendo, la función de la que hablas trabaja de manera secuencial, en ese caso se puede apañar una solución (que tampoco es sencilla). Empezaremos por guardar en la propia estructura punteros a los elementos que queremos asignar:
struct Ejemplo{
char c;
short s;
int i;
float f;
double d;
// Coleccion de elementos asignables de la estructura
static constexpr auto data = std::make_tuple(
&Ejemplo::c,
&Ejemplo::s,
&Ejemplo::i,
&Ejemplo::f,
&Ejemplo::d
);
};
Después usamos una función recursiva que vaya elemento a elemento de la colección y llame a una función para asignarles valor:
template <std::size_t ELEMENTOS>
void asigna(Ejemplo &ejemplo)
{
constexpr auto data_size = std::tuple_size<decltype(Ejemplo::data)>::value;
static_assert(ELEMENTOS <= data_size);
auto miembro = std::get<data_size - ELEMENTOS>(Ejemplo::data);
ejemplo.*miembro = funcion_que_me_devuelve_el_valor_de_un_campo();
asigna<ELEMENTOS - 1>(ejemplo);
}
// Funcion vacia que rompe la recursion
template <>
void asigna<0u>(Ejemplo &) {}
Con esta aproximación puedes asignar los valores de Ejemplo
secuencialmente con esta llamada:
Ejemplo var;
asigna<5u>(var);
Si tienes la posibilidad de compilar en C++17 la solución es ligeramente más interesante:
template <std::size_t ELEMENTOS, typename FUNCION>
void asigna(Ejemplo &ejemplo, [[maybe_unused]] FUNCION funcion)
{
if constexpr (ELEMENTOS)
{
constexpr auto data_size = std::tuple_size<decltype(Ejemplo::data)>::value;
static_assert(ELEMENTOS <= data_size);
auto miembro = std::get<data_size - ELEMENTOS>(Ejemplo::data);
ejemplo.*miembro = funcion();
asigna<ELEMENTOS - 1>(ejemplo, funcion);
}
}
Te ahorras la función vacía para romper la recursión al usar if constexpr
y podemos añadir la función que devuelve el valor del siguiente campo como parámetro... cosa que no podíamos antes pues las funciones plantillas no se pueden especializar, con esta nueva aproximación en C++17 la llamada sería:
Ejemplo var;
asigna<5u>(var, funcion_que_me_devuelve_el_valor_de_un_campo);
Puedes ver el código [funcionando aquí].
Respuesta original
Yo estoy interesado en hace algo del tipo:
for(int i=0; i<N; i++){
var.algo = i;
}
Esto es posible hacerlo (pero no es nada práctico) mediante punteros a miembro:
struct Ejemplo{
int a;
int b;
int c;
int d;
int z;
using puntero_a_miembro = int Ejemplo::*;
constexpr static puntero_a_miembro datos[5]{
&Ejemplo::a,
&Ejemplo::b,
&Ejemplo::c,
&Ejemplo::d,
&Ejemplo::z
};
};
Guardamos en Ejemplo::datos
1 la posición en Ejemplo
de cada uno de sus miembros para después asignarlos usando un bucle:
Ejemplo var;
for (int i = 0; i < 5; ++i){
var.*Ejemplo::datos[i] = i;
}
No es práctico porque:
- La sintaxis es confusa.
- Requiere mantener manualmente el arreglo
Ejemplo::datos
: Si se añaden nuevos datos a la estructura, necesitamos añadirlos al arreglo.
- No es válido con tipos diferentes dentro de la estructura: Los punteros de
Ejemplo::datos
son enteros (int
) pertenecientes a Ejemplo
; si en lugar de enteros fuesen otros datos se necesitaría otro puntero.
Si al final, todos los datos van a ser del mismo tipo ¿por qué no usar un arreglo interno?:
struct Ejemplo{
int datos[5]{};
} var;
for (int i = 0; i < 5; ++i){
var.datos[i] = i;
}
1Al ser un miembro estático, no aumenta el tamaño de la estructura.