如何使用两个模板模板参数指定共享模板变量？

Question

我正在尝试构建一个小型测试框架。我有一个函数接受两个由相同类型组成的类列表变量，我计划使用模板模板参数作为接口的一部分。到目前为止，我有这个，

    template <typename C, template <class> class A, template <class> class B>
    static inline void assertEquals(const A<C>& expected, const B<C>& actual) {
      auto success = 0, failure = 0;

      for (auto iter1 = expected.cbegin(), iter2 = actual.cbegin();
           iter1 != expected.cend() && iter2 != actual.cend(); ++iter1, ++iter2) {
        if (Test::assertEquals<C>(*iter1, *iter2)) {
          ++success;
        } else {
          ++failure;
        }
      }

      cout << "Success: " << success << endl
           << "Failure: " << failure << endl;
    }

if条件中的assertEquals是另一个函数。我的问题是，接口是否正确？其次，我将如何使用它？我已经试过了，没有用，

    Test::assertEquals<int, std::vector, std::vector>(haystack, needle);

Test:: 只是函数所在的 class 而 haystack 和 needle 是类型 std::vector<int>.

Answer 1

您的接口不接受 std::vector，因为它实际上有两个模板参数：包含的类型和分配器。

您可以更改模板签名以接受可变模板模板，如下所示：

template <typename C, template <class...> class A, template <class...> class B>
static inline void assertEquals(const A<C>& expected, const B<C>& actual) {

或者您可以显式设置默认参数：

template <typename C, 
          template <class, class = std::allocator<C>> class A, 
          template <class, class = std::allocator<C>> class B>
    void assertEquals(const A<C>& expected, const B<C>& actual) {

但是，您最好从 STL 容器成员类型中获取 C，如下所示：

template <class A, class B>
void assertEquals(const A& expected, const B& actual) {
    static_assert(std::is_same<typename A::value_type, typename B::value_type>::value,
                  "Containers must have the same value type");
    using C = typename A::value_type;
    //...

这是一个更简单的界面。对于上述所有选项，编译器可以为您推导出模板参数，因此只需这样调用：

assertEquals(haystack, needle);

如何使用两个模板模板参数指定共享模板变量？

How to specify shared template variable with two template template parameters?

c++

templates

template-templates