在具有不同模板参数集的模板类中使用模板化对象

Question

我正在尝试在模板化类中使用模板化对象，其中对象的模板参数与类所需的模板参数不同。这听起来有点混乱，因为没有正确描述，这里是一个例子。

以下类实现了二叉搜索树：

template <typename KEY, typename VALUE>
class BST{
  public:
    BST(void){
      cache = new GCACHE<uint64_t, BSTObject>(this);
    }

    struct{
     string value;
    }BSTObject;

    GCACHE<uint64_t, BSTObject>* cache;

    ...
}

GCACHE 类实现了一个通用缓存，为了正确运行，它需要一个指向它必须缓存的 BST 的指针。这个指针被传递给 GCACHE 构造函数：

template <typename CKEY, typename OBJECT>
GCACHE{
  public:
   GCACHE( *** pointer to BST, a templated class whoose template types that are not CKEY and OBJECT ***); (A)
}

如何在 (A) 中指定/定义一组不同于 GCACHE 所需的模板参数（示例中的 CKEY 和 OBJECT）？ GCACHE对象的模板参数是uint64_t和BSTObject，BST对象的模板参数可能是int和string。

我真的很困惑。也许我弄错了，解决方案很简单...... 谢谢你的帮助。

我希望上面的例子足够清楚以获得帮助。如果不是，请告诉我，以便我重新提出问题。

Answer 1

GCACHE 需要访问BST 的哪些部分？

如果它只需要访问不依赖于模板参数KEY和VALUE的部分，则创建一个BST实现的抽象接口类，并将该类作为@的指针类型987654326@构造函数：

class BSTInterface {
    ...
};

template<typename KEY, typename VALUE>
class BST : public BSTInterface {
    ...
};

template <typename CKEY, typename OBJECT>
GCACHE{
  public:
   GCACHE(BSTInterface *bst); (A)
};

如果GCACHE 确实需要访问依赖于模板参数的BST 部分，那么您还需要将GCACHE 模板化为这些参数：

template <typename CKEY, typename OBJECT, typename KEY, typename VALUE>
GCACHE{
  public:
   GCACHE(BST<KEY, VALUE> *bst); (A)
};

顺便说一下，一般来说，类之间的这种循环依赖会产生紧密耦合，并且可能表明存在设计问题。为什么“通用缓存”需要知道二叉搜索树的存在？或者，如果缓存实现为树，为什么树实现需要知道缓存的存在？