Ho un problema in cui ho bisogno di mappare un numero intero in fase di compilazione a un altro numero intero. Fondamentalmente, ho bisogno dell'equivalente in fase di compilazione di std::map<int,int>
. Se non trovi una chiave nella mappa, mi piacerebbe restituire un valore predefinito.Come creare una chiave/un archivio di valori in fase di compilazione?
L'interfaccia che vorrei utilizzare:
template<unsigned int default_value,
unsigned int key0, unsigned int value0,
unsigned int key1, unsigned int value1,
...>
struct static_map
{
...
};
template<unsigned int key, typename StaticMap>
struct lookup
{
static unsigned int value = ...
};
lookup
restituisce il valore associato key
nel StaticMap
. Se key
non viene trovato, viene restituito default_value
.
In generale, il numero di coppie chiave/valore sarà limitato da qualche limite> 2. Qual è il modo migliore per creare static_map
e lookup
?
Vorrei anche menzionare che sono limitato all'utilizzo di costrutti di linguaggio C++ 03, quindi non C++ 11 e nessuna dipendenza di librerie esterne.
Ecco la soluzione alla quale sono arrivato, ispirata da n. e le risposte di dyp di seguito:
#include <iostream>
template<unsigned int k, unsigned int v>
struct key_value
{
static const unsigned int key = k;
static const unsigned int value = v;
};
template<typename Head, typename Tail = void>
struct cons
{
template<unsigned int key, unsigned int default_value>
struct get
{
static const unsigned int value = (key == Head::key) ? (Head::value) : Tail::template get<key,default_value>::value;
};
};
template<typename Head>
struct cons<Head,void>
{
template<unsigned int key, unsigned int default_value>
struct get
{
static const unsigned int value = (key == Head::key) ? (Head::value) : default_value;
};
};
template<unsigned int default_value,
unsigned int key0, unsigned int value0,
unsigned int key1, unsigned int value1,
unsigned int key2, unsigned int value2,
unsigned int key3, unsigned int value3,
unsigned int key4, unsigned int value4,
unsigned int key5, unsigned int value5,
unsigned int key6, unsigned int value6,
unsigned int key7, unsigned int value7>
struct static_map
{
template<unsigned int key>
struct get
{
typedef cons<
key_value<key0,value0>,
cons<
key_value<key1,value1>,
cons<
key_value<key2,value2>,
cons<
key_value<key3,value3>,
cons<
key_value<key4,value4>,
cons<
key_value<key5,value5>,
cons<
key_value<key6,value6>,
cons<
key_value<key7,value7>
>
>
>
>
>
>
>
> impl;
static const unsigned int value = impl::template get<key,default_value>::value;
};
};
template<unsigned int key, typename StaticMap>
struct lookup
{
static const unsigned int value = StaticMap::template get<key>::value;
};
int main()
{
typedef static_map<13,
0, 0,
1, 10,
2, 20,
3, 30,
4, 40,
5, 50,
6, 60,
7, 70
> my_static_map;
std::cout << "0 maps to " << lookup<0, my_static_map>::value << std::endl;
std::cout << "1 maps to " << lookup<1, my_static_map>::value << std::endl;
std::cout << "2 maps to " << lookup<2, my_static_map>::value << std::endl;
std::cout << "3 maps to " << lookup<3, my_static_map>::value << std::endl;
std::cout << "4 maps to " << lookup<4, my_static_map>::value << std::endl;
std::cout << "5 maps to " << lookup<5, my_static_map>::value << std::endl;
std::cout << "6 maps to " << lookup<6, my_static_map>::value << std::endl;
std::cout << "7 maps to " << lookup<7, my_static_map>::value << std::endl;
std::cout << "100 maps to " << lookup<100, my_static_map>::value << std::endl;
return 0;
}
possibile duplicato di [inizializzazione di uno std :: statica mappa in C++] (http://stackoverflow.com/questions/138600/initializing-a-static-stdmapint-int-in-c) –
user93353
@ user93353: questa domanda non è correlata alla domanda che hai collegato. –
@DyP: Sì, qualcosa come la mappa MPL di boost è ciò di cui ho bisogno. Sfortunatamente, non posso dipendere da MPL, quindi mi piacerebbe capire l'implementazione. –