Сегодня мы говорили о тесте на программирование «fizz buzz», я думал о том, чтобы реализовать его в C ++, но с метапрограммированием. В идеале он генерирует вывод уже во время компиляции.
Мой текущий код использует шаблоны, но он все еще должен быть выполнен, чтобы произвести вывод. Смотрите это на Ideone.
Я все еще использую std::cout <<
для того, чтобы напечатать вывод на экране. FizzBuzz<i>::value
даст либо i
, -1
(Шипение), -2
(Buzz) или -3
(FizzBuzz). затем word<value>
определяется для отрицательных чисел и дает char const *
:
template <int i>
struct Print {
static void print() {
Print<i - 1>::print();
auto const value = FizzBuzz<i>::value;
if (value < 0) {
std::cout << word<value>() << std::endl;
} else {
std::cout << value << std::endl;
}
}
};
Цикл пропал из-за рекурсии, есть Print<0>
который останавливает это.
Есть ли способ распечатать word<value>()
или же value
, которые известны во время компиляции во время компиляции? Это, вероятно, не будет работать с каждым компилятором, поэтому я доволен решением, которое работает с GCC и / или Clang.
В то время как создание строки во время компиляции возможно с помощью некоторой хитрости шаблона, печать ее во время компиляции не кажется разумной.
Вот код, который просто делает строку:
#include <iostream>
#include <type_traits>
#include <utility>
// Compile time string
template <char ...C> struct str_lit
{
static constexpr char value[] {C..., '\0'};
};
// Integer to str_lit
constexpr std::size_t cexpr_pow(std::size_t x, std::size_t y)
{
std::size_t ret = 1;
while (y--)
ret *= x;
return ret;
}
template <std::size_t N, std::size_t X, typename = std::make_index_sequence<X>> struct num_to_sl_impl;
template <std::size_t N, std::size_t X, std::size_t ...Seq> struct num_to_sl_impl<N, X, std::index_sequence<Seq...>>
{
static constexpr auto func()
{
if constexpr (N >= cexpr_pow(10,X))
return num_to_sl_impl<N, X+1>::func();
else
return str_lit<(N / cexpr_pow(10,X-1-Seq) % 10 + '0')...>{};
}
};
template <std::size_t N> using num_to_sl = decltype(num_to_sl_impl<N,1>::func());
// str_lit concatenation
template <typename F, typename ...P> struct sl_cat_impl {using type = typename sl_cat_impl<F, typename sl_cat_impl<P...>::type>::type;};
template <char ...C1, char ...C2> struct sl_cat_impl<str_lit<C1...>,str_lit<C2...>> {using type = str_lit<C1..., C2...>;};
template <typename F, typename ...P> using sl_cat = typename sl_cat_impl<F, P...>::type;
// The FizzBuzz
template <std::size_t N> struct fizzbuzz_impl
{
using fizz = std::conditional_t<N % 3 == 0,
str_lit<'f','i','z','z'>,
str_lit<>>;
using buzz = std::conditional_t<N % 5 == 0,
str_lit<'b','u','z','z'>,
str_lit<>>;
using type = sl_cat<typename fizzbuzz_impl<N-1>::type,
std::conditional_t<N % 3 == 0 || N % 5 == 0,
sl_cat<fizz, buzz>,
num_to_sl<N>>,
str_lit<'\n'>>;
};
template <> struct fizzbuzz_impl<0>
{
using type = str_lit<>;
};
template <std::size_t N> using fizzbuzz = typename fizzbuzz_impl<N>::type;
Пример использования:
int main()
{
std::cout << fizzbuzz<15>::value;
}
Выход:
1
2
шипение
4
жужжание
шипение
7
8
шипение
жужжание
11
шипение
13
14
FizzBuzz
Других решений пока нет …