compile-time Pascal triangle

.cpp

#include <iostream>

typedef long long int cardinal;

template<cardinal N, cardinal K>
struct binomial_coefficient {
    static constexpr cardinal value =
        binomial_coefficient<N - 1, K - 1>::value + binomial_coefficient<N - 1, K>::value;
};

template<cardinal N>
struct binomial_coefficient<N, N> {
    static constexpr cardinal value = 1;
};

template<cardinal N>
struct binomial_coefficient<N, 0> {
    static constexpr cardinal value = 1;
};

template<cardinal N, cardinal K>
struct pascal_triangle_row
{
    pascal_triangle_row()
    {
        std::cout << binomial_coefficient<N, K>::value << " ";
        pascal_triangle_row<N, K - 1>();
    }
};

template<cardinal N>
struct pascal_triangle_row<N, -1>
{
    pascal_triangle_row()
    {
        /* do nothing */
    }
};

template<cardinal Limit>
void pascal_triangle()
{
    pascal_triangle<Limit - 1>();
    pascal_triangle_row<Limit, Limit>();
    std::cout << std::endl;
}

template<>
void pascal_triangle<0>()
{
    /* do nothing */
}

int main()
{
    pascal_triangle<6>();
}