GCC 4.8 реверсирует пакет параметров вариационного шаблона

Я только что обновился до GCC 4.8, и некоторый код вариационного шаблона больше не компилируется правильно. Я создал минимальный пример ниже:

#include <tuple>
#include <iostream>

template <class T, class ... OtherT>
void something( std::tuple<T, OtherT...> & tup )
{
  std::cout << std::get<1>(tup) << std::endl;
}

int main()
{
  std::tuple<int, char, bool> myTuple(3, 'a', true);

  // Compiles OK in GCC 4.6.3 but NOT 4.8
  something<int, char, bool>( myTuple );

  // Compiles OK in GCC 4.8 but NOT 4.6.3
  something<int, bool, char>( myTuple );

  return 0;
}

Результат этого будет (если комментировать неправильную версию для GCC 4.6.3/4.8) 'А'.

Ошибка, созданная GCC 4.6.3:

./test.cpp: In function ‘int main()’:
./test.cpp:18:39: error: no matching function for call to ‘something(std::tuple<int, char, bool>&)’
./test.cpp:18:39: note: candidate is:
./test.cpp:5:6: note: template<class T, class ... OtherT> void something(std::tuple<_Head, _Tail ...>&)

Ошибка, созданная GCC 4.8:

./test.cpp: In function ‘int main()’:
./test.cpp:15:39: error: no matching function for call to ‘something(std::tuple<int, char, bool>&)’
   something<int, char, bool>( myTuple );
                                       ^
./test.cpp:15:39: note: candidate is:
./test.cpp:5:6: note: template<class T, class ... OtherT> void something(std::tuple<_El0, _El ...>&)
 void something( std::tuple<T, OtherT...> & tup )
      ^
./test.cpp:5:6: note:   template argument deduction/substitution failed:
./test.cpp:15:39: note:   mismatched types ‘bool’ and ‘char’
   something<int, char, bool>( myTuple );

Похоже, что в GCC 4.8 вариационные типы шаблонов меняются вспять при расширении, хотя, как ни странно, они не "действительно" обращаются вспять, как доказано выходом - это будет "а", независимо от порядка. Clang 3.3 согласуется с выходом GCC 4.6.3.

Является ли это ошибкой в GCC 4.8 или что-то еще?

EDIT: добавлен отчет об ошибке в GCC: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56774

Ответ 1