我正在尝试使用 C++ 中的可变参数模板来实现具有不同访问键的映射。我想要得到的是使这样的语法起作用:
MultikeyMap<int, double, float> map1; // int and double are keys, float is value type
map1[ 2 ] = 3.5;
map1[ 5.7 ] = 22;
MultikeyMap<unsigned long long, int, float, double, int> map2; // more keys, int is value type
map2[100000000000ULL] = 56;
// etc...
我现在拥有的看起来像:
template<class V, class... Krest>
class MultikeyMap;
template<class V, class K, class... Krest>
class MultikeyMap<V, K, Krest...> : protected std::map<K, V>,
protected MultikeyMap<V, Krest...>
{
public:
template<class T>
void insert( const T& t, const V& v )
{
std::map<T, V>::insert( make_pair( t, v ));
}
template<class T>
const V* find( const T& k )
{
typedef std::map<T,V> currentMap;
currentMap::const_iterator it = currentMap::find( k );
return it == currentMap::end() ? 0 : &it->second;
}
};
template<class V>
class MultikeyMap<V>
{};
为了使代码简单,我没有在 insert 和 find 中返回迭代器。
我发现这个解决方案有两个主要缺陷。
First,值类型在模板参数列表中排在第一位。最初我尝试写
template<class K, class... Krest, class V>
class MultikeyMap<K, Krest..., V>
但编译器坚持认为“如果类模板部分特化的参数是包扩展,那么它应该是最后一个参数”.
Second是来自 std::maps 的受保护继承。我真的很想使用组合来代替它,但在这种情况下,我看不到访问存储的地图的方法。如果有一个静态_if,我会写
template<class V, class K, class... Krest>
class MultikeyMap<V, K, Krest...> : protected MultikeyMap<V, Krest...>
{
public:
template<class T>
void insert( const T& t, const V& v )
{
static if( is_same<T,K>::value )
m_map.insert( make_pair( t, v ));
else
MultikeyMap<V, Krest...>::insert( t, v );
}
private:
std::map<K,V> m_map;
};
请针对我提到的问题提出建议。如果有更好的方法,我很乐意学习。
谢谢阅读。