El problema.
El problema de sincronizar cosas es que generalmente no se puede hacer de manera automática, el usuario suele ser el encargado de especificar cómo se relaciona cada entidad; este punto de personalización suele ser inevitable y hacer que sea lo más cómodo posible y no propenso a errores es la parte complicada.
Propuesta.
Cuando me tuve que enfrentar a un problema similar usé plantillas variádicas (C++11) y variables plantilla (C++14). Empezamos por generar un mapa que asocia los tipos, yo uso variables plantilla:
template <typename ENUM>
std::map<ENUM, const std::string> nombre_enum{};
template <typename ENUM>
std::map<const std::string, ENUM> valor_enum{};
template <typename ENUM1, typename ENUM2>
std::map<ENUM1, ENUM2> asocia{};
Con estas variables plantilla declaradas, añadimos unas funciones de inicialización:
void nombra() {}
template <typename ENUM, typename ... args>
void nombra(const ENUM value, const char *name, args ... tail)
{
nombre_enum<ENUM>.emplace(value, name);
valor_enum<ENUM>.emplace(name, value);
nombra<ENUM>(tail ...);
}
void sincroniza() {}
template <typename ENUM1, typename ENUM2, typename ... args>
void sincroniza(const ENUM1 value1, const ENUM2 value2, args ... tail)
{
asocia<ENUM1, ENUM2>.emplace(value1, value2);
sincroniza(tail ...);
}
Con estas funciones de inicialización1, debemos configurar el sistema:
int main()
{
nombra
(
Enum1::A, "Doce",
Enum1::B, "Cuatro",
Enum1::C, "Cinco",
Enum2::NoValue, "Sin valor",
Enum2::A, "Uno",
Enum2::B, "Dos",
Enum2::C, "Tres",
Enum2::MaxValues, "Máximo de Enum2"
);
sincroniza
(
Enum1::A, Enum2::A,
Enum1::B, Enum2::B,
Enum1::C, Enum2::C
);
return 0;
}
Y esto nos permite cambiar las funciones ToString
, FromString
y Convert
de la siguiente manera:
template <typename ENUM>
std::string ToString(ENUM valor)
{
std::string result{};
auto found = nombre_enum<ENUM>.find(valor);
if (found != nombre_enum<ENUM>.end()) result = found->second;
return result;
}
template <typename ENUM>
ENUM FromString(std::string const& nombre)
{
ENUM result{};
auto found = valor_enum<ENUM>.find(nombre);
if (found != valor_enum<ENUM>.end()) result = found->second;
else throw std::runtime_error("valor no valido");
return result;
}
template <typename ENUM1, typename ENUM2>
ENUM1 Convert(ENUM2 value)
{
ENUM1 result{};
auto found = asocia<ENUM2, ENUM1>.find(value);
if (found != asocia<ENUM2, ENUM1>.end()) result = found->second;
else throw std::runtime_error("valor no valido");
return result;
}
Y en consecuencia:
ToString(Enum1::A); // Devuelve la cadena "Doce".
FromString<Enum1>("Doce"); // Devuelve Enum1::A.
FromString<Enum2>("Doce"); // Lanza una excepcion.
Convert<Enum1>(Enum2::A); // Lanza una excepcion.
Convert<Enum2>(Enum1::A); // Devuelve Enum2::A.
Puedes ver el código funcionando En Wandbox 三へ( へ՞ਊ ՞)へ ハッハッ.
Pros y contras.
Pro: Usando variables plantilla el propio compilador se encarga de sincronizar los mapas nombre_enum
, valor_enum
y asocia
entre cada unidad de traducción
. De hecho, existirá una sola copia por cada tipo o combinación de tipos usados en la plantilla, esto se debe a la regla de definición única de C++ y cómo esta regla funciona con las plantillas, según el estándar de C++ (resaltado y traducción mías):
3.2 Regla de definición única
Se requiere exáctamente una definición de una clase en una unidad de traducción si dicha clase es usada de manera que su tipo necesite estar completo.
[...]
Puede haber más de una definición del tipo de una clase (Cláusula 9), tipo enumerado (7.2), función en línea con enlazado externo (7.1.2), clase plantilla (Cláusula 14), función plantilla no estática (14.5.6), datos miembro de una clase plantilla (14.5.1.3), función miembro de una clase plantilla (14.5.1.1), o especialización de plantilla para la que algunos parámetros plantilla no están especificados (14.7, 14.5.5) en un programa en que cada definición aparezca en diferentes unidades de traducción, [...]
[...]
Si D es una plantilla y se define en más de una unidad de traducción, [...], entonces se comportará como si hubiera una única definición de D.
Contra: El punto anterior implica que cada una de las variables plantillas se comporta como una variable global y puede ser peligroso su uso en código multihilo. Pero a priori, tras la llamada a nombra
y sincroniza
no es necesario escribir más en los mapas, por lo tanto su uso a través de ToString
, FromString
y Convert
sería de sólo lectura.
Pro: En el momento de insertar nuevos valores a los enumerados, se ha reducido la necesidad de cambios de 4 (el enumerado y las funciones ToString
, FromString
y Convert
) a 3 (el enumerado y el punto de personalización en nombra
y sincroniza
).
1En C++17 nos podemos ahorrar la función vacía de ruptura de la recursión usando el condicional constante if constexpr
:
template <typename ENUM, typename ... args>
void nombra(const ENUM value, const char *name, args ... tail)
{
nombre_enum<ENUM>.emplace(value, name);
valor_enum<ENUM>.emplace(name, value);
if constexpr (sizeof...(tail) >= 2)
{
nombra<ENUM>(tail ...);
}
}
template <typename ENUM1, typename ENUM2, typename ... args>
void sincroniza(const ENUM1 value1, const ENUM2 value2, args ... tail)
{
asocia<ENUM1, ENUM2>.emplace(value1, value2);
if constexpr (sizeof...(tail) >= 2)
{
sincroniza(tail ...);
}
}