如何针对多个键类型专门化 std 映射？

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 调用中）并同时更明确地了解意图似乎很麻烦。您是否考虑过进行额外的输入并向未来的维护人员明确您的意图？

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