Почему эта специализация шаблона не работает в GCC? - PullRequest
Новая
       1

Почему эта специализация шаблона не работает в GCC?

0 голосов
/ 05 февраля 2012

Я хочу создать кортеж из первых n элементов другого кортежа.Я использую эту рекурсию (здесь ничего полезного не вычисляется).

Странно, она не работает с использованием g ++ 4.6.1, хотя, насколько я понимаю, front<0,…> более специализирован, чем front<n,…> и его надо выбрать.Это ошибка или я не совсем понимаю специализацию? 

#include <tuple>

template<std::size_t, typename>
struct front;

#if 0
// This works, but I only want one case.
template<typename Head, typename... Tail>
struct front<0, std::tuple<Head, Tail...>> {
    typedef std::tuple<> type;
};
template<typename Head>
struct front<0, std::tuple<Head>> {
    typedef std::tuple<> type;
};
template<>
struct front<0, std::tuple<>> {
    typedef std::tuple<> type;
};
#elseif 0
// this doesn't work, but I don't understand why:
// ambiguous class template instantiation, candidates are:
//  struct front<0u, std::tuple<_Elements ...> >
//  struct front<n, std::tuple<_Head, _Tail ...> >
template<typename... Tail>
struct front<0, std::tuple<Tail...>> {
    typedef std::tuple<> type;
};
#else
// neither does this:
// ambiguous class template instantiation, candidates are:
//  struct front<0u, T>
//  struct front<n, std::tuple<_Head, _Tail ...> >
template<typename T>
struct front<0, T> {
    typedef std::tuple<> type;
};
#endif
// this makes no sense, but it's short.
template<std::size_t n, typename Head, typename... Tail>
struct front<n, std::tuple<Head, Tail...>> {
    typedef typename front<n - 1, std::tuple<Tail...>>::type type;
};
// check all cases, error includes calculated type:
front<0, std::tuple<int, float, double, long>>::type x0 = 0;
front<2, std::tuple<int, float, double, long>>::type x2 = 0;
front<4, std::tuple<int, float, double, long>>::type x4 = 0;

1 Ответ

2 голосов
/ 05 февраля 2012

Аргументы шаблона не выбираются слева направо.Да, 0 более специализирован, чем n, но std::tuple<Head, Tail...> более специализирован, чем T.Вы можете добавить дополнительную специализацию, которая является наиболее специализированной для обоих аргументов: 

#include <tuple>

template<typename A, typename B>
struct front_helper;

template<typename... A, typename... B>
struct front_helper<std::tuple<A...>, std::tuple<B...>> {
    typedef std::tuple<A..., B...> type;
};

template<std::size_t, typename>
struct front;

template<>
struct front<0, std::tuple<>> {
    typedef std::tuple<> type;
};
template<typename Head, typename... Tail>
struct front<0, std::tuple<Head, Tail...>> {
    typedef std::tuple<> type;
};
template<std::size_t n, typename Head, typename... Tail>
struct front<n, std::tuple<Head, Tail...>> {
    typedef typename front_helper<std::tuple<Head>, typename front<n-1, std::tuple<Tail...>>::type>::type type;
};

void x0(front<0, std::tuple<int, float, double, long>>::type) { }
void x1(front<1, std::tuple<int, float, double, long>>::type) { }
void x2(front<2, std::tuple<int, float, double, long>>::type) { }
void x3(front<3, std::tuple<int, float, double, long>>::type) { }
void x4(front<4, std::tuple<int, float, double, long>>::type) { }

$ g++ test.cc -c -std=c++0x && nm -C test.o
00000000 b .bss
00000000 d .data
00000000 t .text
00000000 T x0(std::tuple<>)
00000005 T x1(std::tuple<int>)
0000000a T x2(std::tuple<int, float>)
0000000f T x3(std::tuple<int, float, double>)
00000014 T x4(std::tuple<int, float, double, long>)
00000000 b std::(anonymous namespace)::ignore
...