Question

我正在尝试创建一个将地图作为模板参数的类。特别是它应该能够采用std :: map和boost :: ptr_map。目前我正在尝试这个：

template <template<typename, typename> class MAP, typename KEYTYPE, typename DATATYPE>
class RestrictedMapBase
{
   /* bunch of methods ... */
}

这个类由另外两个类继承，一个用于std :: map，另一个用于boost :: ptr_map。

template <typename KEYTYPE, typename DATATYPE>
class RestrictedMap: public RestrictedMapBase<std::map, KEYTYPE, DATATYPE>
{
   /* Bunch of methods ... */
};

template <typename KEYTYPE, typename DATATYPE>
class RestrictedPointerMap: public RestrictedMapBase<boost::ptr_map, KEYTYPE, DATATYPE>
{
   /* Bunch of methods ... */
};

但是在编译时我遇到了这些错误：

RestrictedMap.h（166）：错误C3201：模板参数列表   类模板'std :: map'与模板参数列表不匹配   对于模板参数'MAP'RestrictedMap.h（183）：参见参考资料   类模板实例化   'STLUtils :: RestrictedMap'正在编译

RestrictedMap.h（186）：错误C3201：模板参数列表   类模板'boost :: ptr_map'与模板参数不匹配   模板参数列表'MAP'RestrictedMap.h（203）：参见   对类模板实例化的引用   'STLUtils :: RestrictedPointerMap'正在编译

有人能指出我正在做错的方向吗？感谢。

Answer 1

std :: map需要一个模板参数来定义它的地图。见下文：

template <typename KEYTYPE, typename DATATYPE>
class RestrictedMap: public RestrictedMapBase<std::map<KEYTYPE, DATATYPE>, KEYTYPE, DATATYPE>
{
   /* Bunch of methods ... */
};

您的基类模板参数KEYTYPE和DATATYPE会变得多余。您可以使用std :: map的类中提供的typedef替换它们：

std::map<_Kty, _Ty>::key_type; // This is the same as KEYTYPE
std::map<_Kty, _Ty>::mapped_type; // This is the same as DATATYPE

我会像这样重写你的课程（我没有测试过这个）：

template <typename Map>
class RestrictedMap
{
public: // Typedefs
    typedef typename Map::key_type KeyType;
    typedef typename Map::mapped_type MapType;

public: // Methods
    // TODO: Write your methods here.
    void Add(const KeyType &key, const MapType &map);

private: // Members
    Map m_map;
};

然后您可以选择这样的地图（再次未经测试）：

typedef RestrictedMap<std::map<int, int>> StlMap; // TODO: Change your map's key and data type
typedef RestrictedMap<boost::ptr_map<int, int>> BoostMap; // TODO: Change your map's key and data type

此处提供完整示例 - http://ideone.com/U3AkV

Answer 2

类模板std::map有4个参数：

template <typename _Key, typename _Tp, typename _Compare = std::less<_Key>,
          typename _Alloc = std::allocator<std::pair<const _Key, _Tp> > >
class map

因此它不能通过template<typename, typename>传递，就像你不能将指向3参数函数的指针分配给指向2参数函数的指针一样。

解决方案是将确切的类型传递给RestrictedMapBase：

template <typename MAP>
class RestrictedMapBase
{
   typedef typename MAP::key_type KEYTYPE;
   typedef typename MAP::mapped_type DATATYPE;
};

您的初始设计还限制了类的用户，因为他们无法为键（或者如果他们想要使用哈希表的哈希函数）和分配器指定比较函数。

将模板类作为模板的模板类将无法编译

2 个答案: