Как указать общую переменную шаблона с двумя параметрами шаблона шаблона?

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; 
    } 

assertEquals в если условие другая функция. Мой вопрос: правильно ли интерфейс? Во-вторых, как я буду использовать его? Я попытался это не дало никаких результатов,

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

Test:: просто класс, что функция находится в и haystack и needle имеют тип std::vector<int>.

Answer 1

Ваш интерфейс не принимает std::vector, так как он фактически принимает два аргумента шаблона: содержащийся тип и распределитель.

Вы можете изменить шаблон подписи принять VARIADIC шаблоны шаблонов, например:

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);