implemented context changes in assignment.test

This commit is contained in:
Patrick 2024-07-28 22:00:36 +02:00
parent b0538eba48
commit e767f5b012
1 changed files with 75 additions and 76 deletions

View File

@ -3,24 +3,26 @@
#include <test.hpp>
#include "test_params.h"
#include <vector>
constexpr test_suite tests = define_tests("Assignment")
("const_vector::operator=(const const_vector& other)", []() constexpr {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename Ctx>() {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename ctx>() {
cc::const_vector original(Ctx::template value<"arr">);
cc::const_vector original(get_test_param<ctx, "arr">());
decltype(original) v1;
cc::const_vector<T, get_test_param<"capacity">()> v2;
cc::const_vector<T, c_arr_len(Ctx::template value<"arr">) - 1> too_small;
cc::const_vector<T, get_test_param<ctx, "capacity">()> v2;
cc::const_vector<T, c_arr_len(get_test_param<ctx, "arr">()) - 1> too_small;
v1 = original;
v2 = original;
ASSERT_TYPE_NUM_THROWS((too_small = original), std::invalid_argument, T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v1, Ctx::template value<"arr">), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v2, Ctx::template value<"arr">), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(original, Ctx::template value<"arr">), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v1, get_test_param<ctx, "arr">()), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v2, get_test_param<ctx, "arr">()), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(original, get_test_param<ctx, "arr">()), T, N);
return TEST_PASS();
}), 2, int, char, const char *, TestObj);
@ -29,22 +31,22 @@ constexpr test_suite tests = define_tests("Assignment")
}, EvalFlag::RUNTIME_CONSTEVAL)
("const_vector::operator=(const_vector&& other)", []() constexpr {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename Ctx>() {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename ctx>() {
cc::const_vector original1(Ctx::template value<"arr">);
cc::const_vector original2(Ctx::template value<"arr">);
cc::const_vector original3(Ctx::template value<"arr">);
cc::const_vector original1(get_test_param<ctx, "arr">());
cc::const_vector original2(get_test_param<ctx, "arr">());
cc::const_vector original3(get_test_param<ctx, "arr">());
decltype(original1) v1;
cc::const_vector<T, test_params<"capacity", Ctx>> v2;
cc::const_vector<T, c_arr_len(Ctx::template value<"arr">) - 1> too_small;
cc::const_vector<T, get_test_param<ctx, "capacity">()> v2;
cc::const_vector<T, c_arr_len(get_test_param<ctx, "arr">()) - 1> too_small;
v1 = force_move(original1);
v2 = force_move(original2);
ASSERT_TYPE_NUM_THROWS((too_small = force_move(original3)), std::invalid_argument, T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v1, Ctx::template value<"arr">), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v2, Ctx::template value<"arr">), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v1, get_test_param<ctx, "arr">()), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v2, get_test_param<ctx, "arr">()), T, N);
return TEST_PASS();
}), 2, int, char, const char *, TestObj);
@ -53,22 +55,22 @@ constexpr test_suite tests = define_tests("Assignment")
}, EvalFlag::RUNTIME_CONSTEVAL)
("const_vector::operator=(const value_type (&array)[])", []() constexpr {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename Ctx>() {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename ctx>() {
std::remove_cvref_t<decltype(Ctx::template value<"arr">)> arr = {};
std::copy(std::begin(Ctx::template value<"arr">), std::end(Ctx::template value<"arr">), std::begin(arr));
std::remove_cvref_t<decltype(get_test_param<ctx, "arr">())> arr = {};
std::copy(std::begin(get_test_param<ctx, "arr">()), std::end(get_test_param<ctx, "arr">()), std::begin(arr));
cc::const_vector<T, c_arr_len(arr)> v1;
cc::const_vector<T, test_params<"capacity", Ctx>> v2;
cc::const_vector<T, c_arr_len(Ctx::template value<"arr">) - 1> too_small;
cc::const_vector<T, get_test_param<ctx, "capacity">()> v2;
cc::const_vector<T, c_arr_len(get_test_param<ctx, "arr">()) - 1> too_small;
v1 = arr;
v2 = arr;
ASSERT_TYPE_NUM_THROWS((too_small = arr), std::invalid_argument, T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v1, Ctx::template value<"arr">), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v2, Ctx::template value<"arr">), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(arr, Ctx::template value<"arr">), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v1, get_test_param<ctx, "arr">()), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v2, get_test_param<ctx, "arr">()), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(arr, get_test_param<ctx, "arr">()), T, N);
return TEST_PASS();
}), 2, int, char, const char *, TestObj);
@ -77,18 +79,18 @@ constexpr test_suite tests = define_tests("Assignment")
}, EvalFlag::RUNTIME_CONSTEVAL)
("const_vector::operator=(std::initializer_list<value_type> values)", []() constexpr {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename Ctx>() {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename ctx>() {
cc::const_vector<T, test_params<"ilist", Ctx>.size()> v1;
cc::const_vector<T, test_params<"capacity", Ctx>> v2;
cc::const_vector<T, test_params<"ilist", Ctx>.size() - 1> too_small;
cc::const_vector<T, get_test_param<ctx, "ilist">().size()> v1;
cc::const_vector<T, get_test_param<ctx, "capacity">()> v2;
cc::const_vector<T, get_test_param<ctx, "ilist">().size() - 1> too_small;
v1 = test_params<"ilist", Ctx>;
v2 = test_params<"ilist", Ctx>;
ASSERT_TYPE_NUM_THROWS((too_small = test_params<"ilist", Ctx>), std::invalid_argument, T, N);
v1 = get_test_param<ctx, "ilist">();
v2 = get_test_param<ctx, "ilist">();
ASSERT_TYPE_NUM_THROWS((too_small = get_test_param<ctx, "ilist">()), std::invalid_argument, T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v1, test_params<"ilist", Ctx>), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v2, test_params<"ilist", Ctx>), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v1, get_test_param<ctx, "ilist">()), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v2, get_test_param<ctx, "ilist">()), T, N);
return TEST_PASS();
}), 2, int, char, const char *, TestObj);
@ -98,12 +100,12 @@ constexpr test_suite tests = define_tests("Assignment")
("const_vector::assign(size_type count, const value_type& value)", []() constexpr {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename Ctx>() constexpr {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename ctx>() constexpr {
std::remove_cvref_t<decltype(test_params<"value", Ctx>)> value = test_params<"value", Ctx>;
auto value = make_copy(get_test_param<ctx, "value">());
cc::const_vector v1(test_params<"arr", Ctx>);
cc::const_vector v2(test_params<"arr", Ctx>);
cc::const_vector v1(get_test_param<ctx, "arr">());
cc::const_vector v2(get_test_param<ctx, "arr">());
auto count1 = v1.size();
auto count2 = v2.size() / 2;
@ -116,63 +118,60 @@ constexpr test_suite tests = define_tests("Assignment")
ASSERT_TYPE_NUM(std::ranges::all_of(v1, [value](auto&& e) { return e == value; }), T, N);
ASSERT_TYPE_NUM(std::ranges::all_of(v1, [value](auto&& e) { return e == value; }), T, N);
ASSERT_TYPE_NUM((value == test_params<"value", Ctx>), T, N);
ASSERT_TYPE_NUM((value == get_test_param<ctx, "value">()), T, N);
return TEST_PASS();
}), 2, int, char, const char*, TestObj);
return TEST_PASS();
}, EvalFlag::RUNTIME_CONSTEVAL)
/*("const_vector::assign(InputIt first, InputIt last)", []() constexpr {
("const_vector::assign(InputIt first, InputIt last)", []() constexpr {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t n, typename params>() constexpr {
constexpr std::size_t N = n+1;
cc::const_vector<T, test_defs::get<T>::template arr_len<N>()> v1;
cc::const_vector<T, test_defs::get<T>::template il_len<N>()> v2;
cc::const_vector<T, test_defs::get<T>::template il_len<N>()> v3;
cc::const_vector<T, test_defs::get<T>::template arr_len<N>() - 1> v4;
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename ctx>() constexpr {
std::vector<T> container = test_defs::get<T>::template i_list<N>;
cc::const_vector<T, c_arr_len(get_test_param<ctx, "arr">())> v1;
cc::const_vector<T, get_test_param<ctx, "capacity">()> v2;
cc::const_vector<T, get_test_param<ctx, "ilist">().size()> v3;
cc::const_vector<T, c_arr_len(get_test_param<ctx, "arr">()) - 1> too_small;
v1.assign(std::begin(test_defs::get<T>::template arr<N>), std::end(test_defs::get<T>::template arr<N>));
v2.assign(container.begin(), container.end());
v3.assign(container.begin(), std::next(container.begin(), test_defs::get<T>::template il_len<N>() / 2));
std::vector container = get_test_param<ctx, "ilist">();
v1.assign(std::begin(get_test_param<ctx, "arr">()), std::end(get_test_param<ctx, "arr">()));
v2.assign(std::begin(get_test_param<ctx, "arr">()), std::end(get_test_param<ctx, "arr">()));
v3.assign(container.begin(), container.end());
ASSERT_TYPE_NUM_THROWS(
(v4.assign(std::begin(test_defs::get<T>::template arr<N>),
std::end(test_defs::get<T>::template arr<N>))), std::invalid_argument, T, N);
(too_small.assign(std::begin(get_test_param<ctx, "arr">()),
std::end(get_test_param<ctx, "arr">()))), std::invalid_argument, T, N);
ASSERT_TYPE_NUM_VEC_ARR_EQ(v1, test_defs::get<T>::template arr<N>, T, N);
ASSERT_TYPE_NUM(v1.size() == test_defs::get<T>::template arr_len<N>(), T, N);
ASSERT_TYPE_NUM_VEC_ARR_EQ(v2, container, T, N);
ASSERT_TYPE_NUM(v2.size() == container.size(), T, N);
ASSERT_TYPE_NUM_VEC_ARR_EQ(v3, container, T, N);
ASSERT_TYPE_NUM(v3.size() == container.size() / 2, T, N);
return TEST_PASS();
}), 3, int, char, const char *, TestStruct);
return TEST_PASS();
}, EvalFlag::RUNTIME_CONSTEVAL)
("const_vector::assign(std::initializer_list<value_type> values)", []() constexpr {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename Ctx>() constexpr {
cc::const_vector<T, (test_params<"ilist", Ctx>).size()> v1;
cc::const_vector<T, (test_params<"ilist", Ctx>).size() - 1> v2;
v1.assign(test_params<"ilist", Ctx>);
ASSERT_TYPE_NUM_VEC_ARR_EQ(v1, (test_params<"ilist", Ctx>), T, N);
ASSERT_TYPE_NUM((v1.size() == test_params<"ilist", Ctx>.size()), T, N);
ASSERT_TYPE_NUM_THROWS(v2.assign(test_params<"ilist", Ctx>), std::invalid_argument, T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v1, get_test_param<ctx, "arr">()), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v2, get_test_param<ctx, "arr">()), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(v3, container), T, N);
ASSERT_TYPE_NUM(std::ranges::equal(container, get_test_param<ctx, "ilist">()), T, N);
return TEST_PASS();
}), 2, int, char, const char *, TestObj);
return TEST_PASS();
}, EvalFlag::RUNTIME_CONSTEVAL)*/;
}, EvalFlag::RUNTIME_CONSTEVAL)
("const_vector::assign(std::initializer_list<value_type> values)", []() constexpr {
REPEAT_FOR_TYPES_N(([]<typename T, std::size_t N, typename ctx>() constexpr {
cc::const_vector<T, get_test_param<ctx, "ilist">().size()> v;
cc::const_vector<T, get_test_param<ctx, "ilist">().size() - 1> too_small;
v.assign(get_test_param<ctx, "ilist">());
ASSERT_TYPE_NUM(std::ranges::equal(v, get_test_param<ctx, "ilist">()), T, N);
ASSERT_TYPE_NUM_THROWS(too_small.assign(get_test_param<ctx, "ilist">()), std::invalid_argument, T, N);
return TEST_PASS();
}), 2, int, char, const char *, TestObj);
return TEST_PASS();
}, EvalFlag::RUNTIME_CONSTEVAL);
int main() {
return tests.run();