1

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

    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 条件中的assertEqualsif 是另一个函数。我的问题是，界面是否正确？其次，我将如何使用它？这个我试过没有用

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

Test::只是函数所在的类，并且haystack类型needle为std::vector<int>.

4

1 回答 1

2

您的接口不会接受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) {

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

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);
于 2015-04-23T08:23:02.847 回答