Variadic шаблон специализации в C ++ 11

Это уже реализовано, потому что это не компилируется: (используя gcc 4.7.2)

template <typename... Ts>
struct Foo {
int foo() {
return 0;
}
};

template <>
struct Foo<int x, int y> {
int foo() {
return x * y;
}
};

int main()
{
Foo<2, 3> x;
cout << x.foo() << endl; //should print 6
}

6

Решение

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

Это ближе:

#include <iostream>

template <int... Ts>
struct Foo {
int foo() {
return 0;
}
};

template <>
struct Foo<3, 2> {
const int x = 3;
const int y = 2;

int foo() {
return x * y;
}
};

int main()
{
Foo<2, 3> x;
std::cout << x.foo() << std::endl; //should print 6
}

Но это не совсем то, что мы хотим, верно? И это также неуклюже.

#include <iostream>

template<typename Acc, typename... Rest>
struct accum_help; // primary

template<typename Acc, typename F, typename... Rest>
struct accum_help<Acc, F, Rest...> {
typedef typename accum_help<
std::integral_constant<typename Acc::value_type,
Acc::value * F::value>, Rest...
>::type type;
};

template<typename Acc>
struct accum_help<Acc> {
typedef Acc type;
};

// peek into the first argument to avoid summing empty sequences and
// get the right type
template<typename X, typename... Integrals>
struct accum {
typedef typename accum_help<
std::integral_constant<typename X::value_type, 1>, X, Integrals...
>::type type;
};

int main()
{

std::cout << accum< std::integral_constant<int, 2>, std::integral_constant<int, 3> >::type::value << std::endl; //should print 6
}

Более простой вариант обработки только int:

template <int...>
struct accum2_help;

template <int Acc, int X, int... Rest>
struct accum2_help<Acc, X, Rest...> {
static const int value = accum2_help< Acc * X, Rest...>::value;
};

template <int Acc>
struct accum2_help<Acc> {
static const int value = Acc;
};

// again don't accept empty packs
template <int T, int... Ts>
struct accum2 {
static const int value = accum2_help<1, T, Ts...>::value;
};
11

Другие решения

Других решений пока нет …

По вопросам рекламы ammmcru@yandex.ru
Adblock
detector