ldionne on gh-pages
Update benchmarks to 490dbf6 fo… (compare)
ldionne on gh-pages
Update benchmarks to 490dbf6 fo… (compare)
ldionne on gh-pages
Update benchmarks to 490dbf6 fo… (compare)
ldionne on gh-pages
Update benchmarks to 490dbf6 fo… (compare)
ldionne on gh-pages
Update benchmarks to 490dbf6 fo… (compare)
Regarding your primality testing example, here's how I would do it:
#include <boost/hana.hpp>
namespace hana = boost::hana;
constexpr bool is_prime_impl(int n) {
if (n <= 1)
return false;
else if (n <= 3)
return true;
else if (n % 2 == 0 or n % 3 == 0)
return false;
int i = 5;
while (i*i <= n) {
if (n % i == 0 or n % (i + 2) == 0)
return false;
i += 6;
}
return true;
}
template <typename N>
constexpr auto is_prime(N const&) {
return hana::bool_c<is_prime_impl(hana::value<N>())>;
}
auto primes = hana::tuple_c<int,
2, 3, 5, 7, 11, 13, 17, 19, 23, 29,
31, 37, 41, 43, 47, 53, 59, 61, 67, 71,
73, 79, 83, 89, 97,101,103,107,109,113,
127,131,137,139,149,151,157,163,167,173,
179,181,191,193,197,199,211,223,227,229,
233,239,241,251,257,263,269,271,277,281,
283,293,307,311,313,317,331,337,347,349,
353,359,367,373,379,383,389,397,401,409,
419,421,431,433,439,443,449,457,461,463,
467,479,487,491,499
>;
int main() {
auto integers = hana::make_range(hana::int_c<0>, hana::int_c<100>);
hana::for_each(integers, [](auto i) {
static_assert(decltype(hana::contains(primes, i) == is_prime(i)){}, "");
});
}
For homogeneous problems, it's much easier and much faster to just use constexpr
.
hana::contains
is quite slow (it could be optimized, at least for hana::types
and hana::integral_constant
s, but it isn’t).
Wait it should work with 1, but should not accept 0 or 2+. size == 0 doesn't work because 1 == 0 will trigger the assert, and static_assert triggers at false not true.
size != 0 doesn't work because it will also trigger at 1+. I could solve this but it would require some boolean shenanigans
#include<type_traits>
template<int size, typename = void>
struct SizeChecker
{ };
template<int size>
struct SizeChecker<size,
std::enable_if_t<(size == 0)>>
{
static_assert(size == 0, "Does not contain anything");
};
template<int size>
struct SizeChecker<size,
std::enable_if_t<(size > 1)>>
{
static_assert(size > 1, "Contains duplicates");
};
int main()
{
constexpr int size = 1;
SizeChecker<size>{};
}
expensive.hpp
.
.pch
just like you can an object file.