c++ - 如何通过制作模板参数来改变数据成员的类型？

Question

给定以下类(class)

class Foo {
    struct Bar {
        ...
    };
    ...
    std::deque<Bar> m_bar;
};

我想重用它的大部分并添加我需要更改 m_bar 类型的新函数来自 std::deque到我的双端队列版本。我想做Foo<T>模板类，其中 T是双端队列的类型，继承 self 的双端队列版本的规范:

class MyFoo : Foo<MyDeque> {
    ...
};

我有两个问题:

1. 这是个好主意吗？
2. 如果是这样，您将如何修改类 Foo 的声明以使其成为可能？

编辑:请注意 MyDeque没有与 std::deque 相同的模板参数.

Answer 1

2) 如果MyDeque和 std::deque具有完全相同的模板签名，您可以将模板名称作为 Foo 的模板参数传递:

#include <deque>

template <class T, class>
struct MyDeque  {
};

template < 
  template<class T, class Alloc = std::allocator<T> > class Container >
class Foo {
  struct Bar {
    int i;
  };
  Container<Bar> m_bar;
};

int main () {
  Foo<std::deque> m_bar;
  Foo<MyDeque> m_bar2;
}

1) 按照您的要求去做是非常有意义的。特别是，我喜欢这样做，所以我可以指定 std::list<> , std::vector<>或其他标准容器很容易。

---

如果您不能使您的模板签名兼容，并且您有 C++11 功能，您可以尝试这个模板声明:

template < template <typename ...> class Container >
class Foo { … };