Question

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

    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::只是函数所在的类，而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);

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

1 个答案: