一个模板类的参数问题

fengogo008

我有一个模板类 Tree，它有几个模板参数，其中一个是自定义的内存分配模板类，该内存分配类有一个模板参数，表示分配的对象大小。
我现在的问题是Allocator = MemPool<sizeof(RBNode) 在编译时引用了尚未定义的RBNode结构体，该怎么办？ 不知道我描述清楚了没。

1. template <typename KeyType, typename ValueType, typename Allocator = MemPool<sizeof(RBNode)> >
   
2. class RBTree{
   
3. 
   
4.         struct  RBNode{
   
5.                 KeyType   k;
   
6.                 ValueType v;
   
7.         }
   
8. };
   
9. 
   
10. template <unsigned int unit_size>
    
11. class MemPool{
    
12. };
    

复制代码

linux_c_py_php

我支持你挪出去.

fengogo008

linux_c_py_php 发表于 2013-05-15 21:12
我支持你挪出去.

其实主要是想类似 RBTree<int,int> tree;  这样透明使用。
用模板是为了可以自定义类型， 如果把结构体挪出去，似乎就不行了。

linux_c_py_php

你看你死脑筋了, 你把node也做成模板不就行了

群雄逐鹿中原

1. 
   
2. template <unsigned int unit_size>
   
3. class MemPool{
   
4. };
   
5. 
   
6. 
   
7. template <typename KeyType, typename ValueType,
   
8.         template <unsigned int unit_size>
   
9.         class AllocatorT = MemPool
   
10. >
    
11. class RBTree{
    
12. 
    
13.        
    
14.         struct  RBNode{
    
15.                 KeyType   k;
    
16.                 ValueType v;
    
17.         };
    
18.                
    
19.         typedef AllocatorT<sizeof(RBNode)> Allocator;
    
20.                
    
21. };
    
22. 
    

复制代码

fengogo008

多谢指点，我理解了两位的意思，但是实际编译中还是有点问题。
第一种，在类外定义：
template<class KEY, class VALUE>
class NodeT{
};
template <class KEY, class VALUE, class ALLOCATER=allocate<sizeof(NodeT)（这里编译出错）> >
{
      typedef NodeT<KEY, VALUE>  Node;
};
由于定义NodeT为模板，那么就不能直接sizeof(NodeT)了，而必须把NodeT实例化，但是KEY VALUE等类型还是需要在 Tree类被定义的。
而结点定义移出外面也导致代码比较丑陋。

第二种，在 class AllocatorT = MemPool 这里会编译出错，因为MemPool 模板需要一个固定大小实例化。
而如果不给AllocatorT 默认值，那么后面的
typedef AllocatorT<sizeof(RBNode)> Allocator;  这句类型定义又把所有的Allocator 都固定为一种类似mempool的模板类型了。

模板比较少用，目前我还没想出什么好办法(也不知道按什么关键词google~)，或者需要修改Mempool不使用参数模板。

群雄逐鹿中原

第一种要写 sizeof(NodeT<KEY,VALUE>)

第二种要用比较完善的编译器，比如gcc;  
vc6肯定是不行的。

Frahm

我的话，会这么做，虽然一定程度上改变了代码含义

1. template<typename T, typename U>
   
2. struct size_of {
   
3.   struct _{
   
4.     T t;
   
5.     U u;
   
6.   };
   
7.   enum { value = sizeof(_) };
   
8. };
   
9. 
   
10. template <typename KeyType, typename ValueType, typename Alloc = MemPool<size_of<KeyType, ValueType>::value> >
    
11. class RBTree {
    
12.   struct RBNode {
    
13.          KeyType   k;
    
14.          ValueType v;
    
15.   };
    
16. 
    
17. };

复制代码

littledick

stl的实现都是这种例子

1. 
   
2. template<class key, class value, class ptr = less<key>, class Alloc = allocator<pair<key, value>>>
   
3. class map : public _Tree<_Tmap_traits<key, value, ptr, Alloc, false>>
   
4. {
   
5.     ....
   
6. }
   

复制代码

shanehan

随便找个STL容器的源码看看了知道了