bahman/scylla
1
0
Fork 0
Code Issues Pull Requests Actions 3 Packages Projects Releases Wiki Activity

tests: introduce tests for metaprogramming helpers

Browse Source
This commit is contained in:
Paweł Dziepak
2017-08-25 11:01:26 +01:00
parent ba5e64383a
commit cc76480174
3 changed files with 224 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
configure.py
View File

@@ -299,6 +299,7 @@ scylla_tests = [
'tests/cql_auth_syntax_test',
'tests/querier_cache',
'tests/limiting_data_source_test',
'tests/meta_test',
]
perf_tests = [
@@ -727,6 +728,7 @@ pure_boost_tests = set([
'tests/auth_resource_test',
'tests/enum_set_test',
'tests/cql_auth_syntax_test',
'tests/meta_test',
])
tests_not_using_seastar_test_framework = set([
@@ -777,6 +779,7 @@ deps['tests/allocation_strategy_test'] = ['tests/allocation_strategy_test.cc', '
deps['tests/log_heap_test'] = ['tests/log_heap_test.cc']
deps['tests/anchorless_list_test'] = ['tests/anchorless_list_test.cc']
deps['tests/perf/perf_fast_forward'] += ['release.cc']
deps['tests/meta_test'] = ['tests/meta_test.cc']
warnings = [
'-Wno-mismatched-tags', # clang-only

1
test.py
View File

@@ -110,6 +110,7 @@ boost_tests = [
'limiting_data_source_test',
'sstable_test',
'sstable_3_x_test',
'meta_test',
]
other_tests = [

220
tests/meta_test.cc Normal file
View File

@@ -0,0 +1,220 @@
/*
* Copyright (C) 2018 ScyllaDB
*/
/*
* This file is part of Scylla.
*
* Scylla is free software: you can redistribute it and/or modify
* it under the terms of the GNU Affero General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* Scylla is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with Scylla. If not, see <http://www.gnu.org/licenses/>.
*/
#define BOOST_TEST_MODULE meta
#include <boost/test/unit_test.hpp>
#include <seastar/util/log.hh>
#include "utils/meta.hh"
namespace internal {
template<typename T>
struct check_constexpr {
template<T N>
struct check {
enum : T {
value = N,
};
};
};
template<typename T>
struct first_argument { };
template<typename R, typename T, typename... Ts>
struct first_argument<R(T, Ts...)> {
using type = T;
};
}
#define INTERNAL_STATIC_CHECK_EQUAL(expected, actual, actual_str) \
BOOST_CHECK_MESSAGE(internal::check_constexpr<std::decay_t<decltype(actual)>>::check<(actual)>::value == (expected), \
actual_str " expected to be equal " #expected " [actual: " << (actual) << ", expected: " << (expected) << "]")
#define INTERNAL_STATIC_CHECK_SAME(expr, expected, actual, actual_str) \
BOOST_CHECK_MESSAGE(expr, actual_str " expected to be the same as " #expected \
" [actual: " << seastar::pretty_type_name(typeid(typename internal::first_argument<void(actual)>::type)) << ", expected: " \
<< seastar::pretty_type_name(typeid(internal::first_argument<void(expected)>::type)) << "]")
#define STATIC_CHECK_EQUAL(expected, ...) \
INTERNAL_STATIC_CHECK_EQUAL(expected, (__VA_ARGS__), #__VA_ARGS__)
#define STATIC_CHECK_SAME(expected, ...) \
INTERNAL_STATIC_CHECK_SAME((std::is_same<__VA_ARGS__, typename internal::first_argument<void(expected)>::type>::value), expected, (__VA_ARGS__), #__VA_ARGS__)
class A { };
class B { };
class C { };
class D { };
BOOST_AUTO_TEST_CASE(find) {
STATIC_CHECK_EQUAL(0, meta::find<A, A, B, C, D>);
STATIC_CHECK_EQUAL(1, meta::find<B, A, B, C, D>);
STATIC_CHECK_EQUAL(2, meta::find<C, A, B, C, D>);
STATIC_CHECK_EQUAL(3, meta::find<D, A, B, C, D>);
STATIC_CHECK_EQUAL(0, meta::find<A, A>);
STATIC_CHECK_EQUAL(0, meta::find<A, A, A>);
STATIC_CHECK_EQUAL(1, meta::find<A, B, A, A>);
STATIC_CHECK_EQUAL(0, meta::find<A, meta::list<A, B, C, D>>);
STATIC_CHECK_EQUAL(1, meta::find<B, meta::list<A, B, C, D>>);
STATIC_CHECK_EQUAL(2, meta::find<C, meta::list<A, B, C, D>>);
STATIC_CHECK_EQUAL(3, meta::find<D, meta::list<A, B, C, D>>);
STATIC_CHECK_EQUAL(0, meta::find<A, meta::list<A>>);
STATIC_CHECK_EQUAL(0, meta::find<A, meta::list<A, A>>);
STATIC_CHECK_EQUAL(1, meta::find<A, meta::list<B, A, A>>);
STATIC_CHECK_EQUAL(1, meta::find<meta::list<A>, meta::list<B>, meta::list<A>>);
STATIC_CHECK_EQUAL(1, meta::find<meta::list<A>, meta::list<meta::list<B>, meta::list<A>>>);
}
BOOST_AUTO_TEST_CASE(get) {
STATIC_CHECK_SAME(A, meta::get<0, A, B, C, D>);
STATIC_CHECK_SAME(B, meta::get<1, A, B, C, D>);
STATIC_CHECK_SAME(C, meta::get<2, A, B, C, D>);
STATIC_CHECK_SAME(D, meta::get<3, A, B, C, D>);
STATIC_CHECK_SAME(A, meta::get<0, meta::list<A, B, C, D>>);
STATIC_CHECK_SAME(B, meta::get<1, meta::list<A, B, C, D>>);
STATIC_CHECK_SAME(C, meta::get<2, meta::list<A, B, C, D>>);
STATIC_CHECK_SAME(D, meta::get<3, meta::list<A, B, C, D>>);
STATIC_CHECK_SAME(A, meta::get<0, meta::list<A>>);
STATIC_CHECK_SAME(meta::list<A>, meta::get<0, meta::list<meta::list<A>>>);
}
BOOST_AUTO_TEST_CASE(take) {
STATIC_CHECK_SAME(meta::list<A>, meta::take<1, A, B, C, D>);
STATIC_CHECK_SAME((meta::list<A, B>), meta::take<2, A, B, C, D>);
STATIC_CHECK_SAME((meta::list<A, B, C>), meta::take<3, A, B, C, D>);
STATIC_CHECK_SAME((meta::list<A, B, C, D>), meta::take<4, A, B, C, D>);
STATIC_CHECK_SAME(meta::list<A>, meta::take<1, meta::list<A, B, C, D>>);
STATIC_CHECK_SAME((meta::list<A, B>), meta::take<2, meta::list<A, B, C, D>>);
STATIC_CHECK_SAME((meta::list<A, B, C>), meta::take<3, meta::list<A, B, C, D>>);
STATIC_CHECK_SAME((meta::list<A, B, C, D>), meta::take<4, meta::list<A, B, C, D>>);
STATIC_CHECK_SAME(meta::list<A>, meta::take<1, meta::list<A>>);
STATIC_CHECK_SAME(meta::list<meta::list<A>>, meta::take<1, meta::list<meta::list<A>>>);
STATIC_CHECK_SAME((meta::list<meta::list<A, B>>), meta::take<1, meta::list<meta::list<A, B>>>);
}
BOOST_AUTO_TEST_CASE(size) {
STATIC_CHECK_EQUAL(0, meta::size<>);
STATIC_CHECK_EQUAL(1, meta::size<A>);
STATIC_CHECK_EQUAL(2, meta::size<A, B>);
STATIC_CHECK_EQUAL(3, meta::size<A, B, C>);
STATIC_CHECK_EQUAL(4, meta::size<A, B, C, D>);
STATIC_CHECK_EQUAL(0, meta::size<meta::list<>>);
STATIC_CHECK_EQUAL(1, meta::size<meta::list<A>>);
STATIC_CHECK_EQUAL(2, meta::size<meta::list<A, B>>);
STATIC_CHECK_EQUAL(3, meta::size<meta::list<A, B, C>>);
STATIC_CHECK_EQUAL(4, meta::size<meta::list<A, B, C, D>>);
STATIC_CHECK_EQUAL(1, meta::size<meta::list<meta::list<A, B>>>);
STATIC_CHECK_EQUAL(3, meta::size<meta::list<A, B>, C, D>);
STATIC_CHECK_EQUAL(3, meta::size<meta::list<meta::list<A, B>, C, D>>);
}
class constexpr_count_all_fn {
size_t _n = 0;
public:
constexpr constexpr_count_all_fn() = default;
template<typename T>
constexpr void operator()(T) { _n++; }
constexpr size_t get() { return _n; }
};
template<typename... Ts>
constexpr size_t constexpr_count_all()
{
constexpr_count_all_fn constexpr_fn;
meta::for_each<Ts...>(constexpr_fn);
return constexpr_fn.get();
}
BOOST_AUTO_TEST_CASE(for_each) {
STATIC_CHECK_EQUAL(0, constexpr_count_all<>());
STATIC_CHECK_EQUAL(4, constexpr_count_all<A, B, C, D>());
size_t n = 0;
meta::for_each<A, B, C, D>([&] (auto&& ptr) {
using type = std::remove_pointer_t<std::decay_t<decltype(ptr)>>;
switch (n) {
case 0: STATIC_CHECK_SAME(A, type); break;
case 1: STATIC_CHECK_SAME(B, type); break;
case 2: STATIC_CHECK_SAME(C, type); break;
case 3: STATIC_CHECK_SAME(D, type); break;
default: BOOST_FAIL("should not reach"); break;
}
n++;
});
BOOST_CHECK_EQUAL(4, n);
STATIC_CHECK_EQUAL(0, constexpr_count_all<meta::list<>>());
STATIC_CHECK_EQUAL(4, constexpr_count_all<meta::list<A, B, C, D>>());
n = 0;
meta::for_each<meta::list<A, B, C, D>>([&] (auto ptr) {
using type = std::remove_pointer_t<decltype(ptr)>;
switch (n) {
case 0: STATIC_CHECK_SAME(A, type); break;
case 1: STATIC_CHECK_SAME(B, type); break;
case 2: STATIC_CHECK_SAME(C, type); break;
case 3: STATIC_CHECK_SAME(D, type); break;
default: BOOST_FAIL("should not reach"); break;
}
n++;
});
BOOST_CHECK_EQUAL(4, n);
n = 0;
meta::for_each<meta::take<2, A, B, C, D>>([&] (auto ptr) {
using type = std::remove_pointer_t<decltype(ptr)>;
switch (n) {
case 0: STATIC_CHECK_SAME(A, type); break;
case 1: STATIC_CHECK_SAME(B, type); break;
default: BOOST_FAIL("should not reach"); break;
}
n++;
});
BOOST_CHECK_EQUAL(2, n);
n = 0;
using list = meta::list<A, B, C, D>;
meta::for_each<meta::take<meta::size<list> - 1, list>>([&] (auto ptr) {
using type = std::remove_pointer_t<decltype(ptr)>;
switch (n) {
case 0: STATIC_CHECK_SAME(A, type); break;
case 1: STATIC_CHECK_SAME(B, type); break;
case 2: STATIC_CHECK_SAME(C, type); break;
default: BOOST_FAIL("should not reach"); break;
}
n++;
});
BOOST_CHECK_EQUAL(3, n);
}