Сложности с шаблонными функциями в шаблонных классах

Question

Я столкнулся с проблемой при попытке написать рекурсивную функцию-член шаблона для итерации по кортежам.

В следующем коде:

#include <cstddef>
#include <iostream>
#include <string>
#include <tuple>

template <typename... P>
class A
{
public:
  typedef std::tuple<P...> tup_t;

  tup_t tup;
};

template <typename T, typename... P>
class AA : public A<P...>
{
public:
  T junk;
};

template <typename T>
class B
{
public:
  T a;

  void func(const char* delim);

private:
  template <size_t x>
  void __func(const char* delim);
};

template <typename T>
void B<T>::func(const char* delim)
{
  __func<std::tuple_size<typename T::tup_t>::value>(delim);
}

template <typename T>
template <size_t x>
typename std::enable_if<(x > 1), void>::type
B<T>::__func(const char* delim)
{
  std::cout << std::get<x-1>(a.tup) << delim;

  __func<x-1>(delim);
}

template <typename T>
template <size_t x>
typename std::enable_if<(x == 1), void>::type
B<T>::__func(const char* delim)
{
  std::cout << std::get<x-1>(a.tup) << std::endl;
}

int main()
{
  typedef A<int,float,std::string> T_first;
  B<T_first> b;

  std::get<0>(b.a.tup) = 5;
  std::get<1>(b.a.tup) = 4.0;
  std::get<2>(b.a.tup) = "string";

  b.func(" - ");

  typedef AA<int,std::string,double,size_t> T_second;
  B<T_second> bb;

  std::get<0>(bb.a.tup) = "test";
  std::get<1>(bb.a.tup) = 3.0;
  std::get<2>(bb.a.tup) = std::tuple_size<T_second::tup_t>::value;

  bb.func(" => ");

  return 0;
}

Когда я компилирую с:

$ g++-4.5 -std=c++0x -W -Wall -pedantic-errors test6.cpp

Я получаю следующие ошибки:

test6.cpp:60:1: error: prototype for ‘typename std::enable_if<(x > 1), void>::type B<T>::__func(const char*)’ does not match any in class ‘B<T>’
test6.cpp:31:32: error: candidate is: template<class T> template<unsigned int x> void B::__func(const char*)
test6.cpp:70:1: error: prototype for ‘typename std::enable_if<(x == 1), void>::type B<T>::__func(const char*)’ does not match any in class ‘B<T>’
test6.cpp:31:32: error: candidate is: template<class T> template<unsigned int x> void B::__func(const char*)

Теперь, если я вместо этого определю B<T>::__func внутри класса, как:

  template <size_t x>
  typename std::enable_if<(x > 1), void>::type
  __func(const char* delim)
  {
    std::cout << std::get<x-1>(a.tup) << delim;

    __func<x-1>(delim);
  }

  template <size_t x>
  typename std::enable_if<(x == 1), void>::type
  __func(const char* delim)
  {
    std::cout << std::get<x-1>(a.tup) << delim;
  }

Отлично компилируется.

Мне действительно не нравится реализовывать функции в объявлении класса, поэтому я был бы признателен, если бы кто-то мог указать, где моя первоначальная попытка не удалась.

Это:

template <typename T>
template <size x>

Должно ли оно быть написано по-другому?

Версия компилятора: gcc version 4.5.2 (Ubuntu/Linaro 4.5.2-8ubuntu4)

Спасибо

P.S. Пожалуйста, не смейтесь над моим упрощенным тестовым примером. Проект, который породил этот сценарий, немного более впечатляющий, чем этот пример ... но только немного.

Answer 1

Типы должны совпадать как в объявлении, так и в определении __func.Поэтому в определении класса вы должны объявить __func как:

template <size_t x>
typename std::enable_if<(x > 1)>::type
__func(const char* delim);

(Это эквивалентно использованию std::enable_if<(x > 1), void> в качестве второго параметра шаблона по умолчанию void.)

Причина такого ограничения связана с шаблонными специализациями.На самом деле, поскольку вы используете std::enable_if, вы полагаетесь на эти специализации, так как std::enable_if<true, T> является специализацией.Обратите внимание также на несоответствие в случае __func<0>, у которого нет типа возврата void.Он «имеет» возвращаемый тип std::enable_if<false, void>::type, который не существует и, следовательно, является недействительным (а затем удаляется через SFINAE).