如何为多种键类型专门化一个标准映射？

Question

我有一个 std::map 的子类

template<class ValueT>
FancyKeyMap
    : public std::map<FancyKey,ValueT, FancyKey::Less>
{
     ...
public:
     inline iterator find(FancyKeyArg key)
     {
         return(std::map<FancyKey,ValueT,
                FancyKey::Less>::find(FancyKeyArg.makeKeyRef()));
     }  
};

这很好用，（不要问我为什么不想使用一些隐式转换，这会导致太多模棱两可的重载，在这种情况下完全转换也很昂贵:)

无论如何，如果上面的内容可以是 std::map 的任何一个专业化，那就太好了

std::map<FancyKey,ValueT> fancymap;

会做和

一样的事情

FancyKeyMap<ValueT> fancyMap;

可以做这种类型的专业化吗？

---

好的，只是尝试了部分专业化：

namespace std {

template<class ValT, class CompareT=FancyKey::Less, 
         class AllocT=allocator<pair<const FancyKey,ValT> > >
    class map<FancyKey, ValT, CompareT, AllocT>
{
     ....
};

}

我收到此错误：

“部分特化不允许使用默认参数”

但要使其像 std::map 一样，它需要具有“继承的”默认参数 并且 允许它们被覆盖。下一步可能吗？

我确实看到了关于使用可搜索模板常见问题解答的建议，这似乎是一个非常常见的问题；^>

Answer 1

避免输入makeKeyRef()（在find 调用中）并同时更明确地说明意图似乎很麻烦。您是否考虑过只进行额外的输入并让未来的维护人员清楚您的意图？

此外，由于标准容器没有虚拟析构函数，除非您非公开继承，否则当某个容器被基类指针销毁时，您将面临未定义的行为。