Patrick
/
const_container
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: Patrick:1a6aea9ca3095203891631dce6df29ba515b212b
Branches Tags
Patrick:master
..
compare: Patrick:5441e8a03ce6bd16f3c8b517db352c1cd349ee7d
Branches Tags
Patrick:master

No commits in common. "1a6aea9ca3095203891631dce6df29ba515b212b" and "5441e8a03ce6bd16f3c8b517db352c1cd349ee7d" have entirely different histories.
1a6aea9ca3 ... 5441e8a03c

3 changed files with 1 additions and 208 deletions
Show Stats Expand all files Collapse all files

3
CMakeLists.txt
View File

@ -4,8 +4,7 @@ project(const_container)
set(CMAKE_CXX_STANDARD 20)
add_library(const_container INTERFACE "${CMAKE_CURRENT_LIST_DIR}/include/const_vector.hpp"
"${CMAKE_CURRENT_LIST_DIR}/include/helper.h"
"${CMAKE_CURRENT_LIST_DIR}/include/const_list.h")
include/helper.h)
target_include_directories(const_container INTERFACE "${CMAKE_CURRENT_LIST_DIR}/include")
add_executable(const_container_test test/test_main.cpp)

102
include/const_list.h
View File

@ -1,102 +0,0 @@
//
// Created by Patrick Maschek on 19.01.2024.
//
#ifndef UDIFF_CONST_LIST_H_
#define UDIFF_CONST_LIST_H_
#include <concepts>
#include <iterator>
namespace cc {
class const_list_node;
template<typename N>
requires std::derived_from<N, const_list_node>
class _const_list_iterator_base {
protected:
N *_curr;
public:
constexpr _const_list_iterator_base() : _curr() {}
constexpr explicit _const_list_iterator_base(N *curr) : _curr(curr) {}
constexpr virtual const N& operator*() const { return *_curr; }
constexpr virtual const N* operator->() const { return _curr; }
constexpr virtual _const_list_iterator_base &operator++() noexcept = 0;
constexpr virtual _const_list_iterator_base &operator--() noexcept = 0;
constexpr virtual _const_list_iterator_base operator++(int) & noexcept = 0;
constexpr virtual _const_list_iterator_base operator--(int) & noexcept = 0;
constexpr bool operator==(const _const_list_iterator_base &other) { return _curr == other._curr; }
};
template<typename N>
class _const_list_iterator : public _const_list_iterator_base<N> {
using _Base = _const_list_iterator_base<N>;
public:
constexpr _const_list_iterator() : _Base() {}
constexpr explicit _const_list_iterator(N *curr) : _Base(curr) {}
constexpr N& operator*() const override { return *_Base::_curr; }
constexpr N* operator->() const override { return _Base::_curr; }
constexpr _const_list_iterator &operator++() noexcept override { _Base::_curr == _Base::_curr->_next; return *this; }
constexpr _const_list_iterator &operator--() noexcept override { _Base::_curr == _Base::_curr->_prev; return *this; }
constexpr _const_list_iterator operator++(int) & noexcept override { auto tmp = *this; _Base::_curr == _Base::_curr->_next; return tmp; }
constexpr _const_list_iterator operator--(int) & noexcept override { auto tmp = *this; _Base::_curr == _Base::_curr->_prev; return tmp; }
};
template<typename N>
class _const_const_list_iterator : public _const_list_iterator_base<N> {
using _Base = _const_list_iterator_base<N>;
public:
constexpr _const_const_list_iterator() : _Base() {}
constexpr explicit _const_const_list_iterator(N *curr) : _Base(curr) {}
constexpr _const_const_list_iterator &operator++() noexcept override { _Base::_curr == _Base::_curr->_next; return *this; }
constexpr _const_const_list_iterator &operator--() noexcept override { _Base::_curr == _Base::_curr->_prev; return *this; }
constexpr _const_const_list_iterator operator++(int) & noexcept override { auto tmp = *this; _Base::_curr == _Base::_curr->_next; return tmp; }
constexpr _const_const_list_iterator operator--(int) & noexcept override { auto tmp = *this; _Base::_curr == _Base::_curr->_prev; return tmp; }
};
template<typename N>
requires std::derived_from<N, const_list_node>
class const_list {
public:
using value_type = N;
using size_type = std::size_t;
using difference_type = std::ptrdiff_t;
using reference = value_type&;
using const_reference = const value_type&;
using pointer = value_type *;
using const_pointer = const value_type *;
using iterator = _const_list_iterator<N>;
using const_iterator = _const_const_list_iterator<N>;
using reverse_iterator = std::reverse_iterator<iterator>;
using const_reverse_iterator = std::reverse_iterator<const_iterator>;
private:
const_list_node *_start;
};
class const_list_node {
private:
const_list_node *_prev;
const_list_node *_next;
friend class const_list<const_list_node>;
friend class _const_list_iterator_base<const_list_node>;
};
} // cc
#endif //UDIFF_CONST_LIST_H_

104
test/test_main.cpp
View File

@ -943,109 +943,6 @@ class test_const_vector : public test_defs {
ASSERT_VEC_ARR_EQ(obj_res.v2i, C_VO_TEST_ARR2)
return true;
}
static consteval bool test_assign() {
#pragma message("Testing assign()")
constexpr auto applicator = [] <typename T> () consteval {
constexpr auto &arr1 = test_defs::get<T>::template arr<1>();
constexpr auto &arr2 = test_defs::get<T>::template arr<2>();
constexpr auto arr1_len = test_defs::get<T>::template arr_len<1>();
constexpr auto arr2_len = test_defs::get<T>::template arr_len<2>();
constexpr auto arr1_cap = test_defs::get<T>::template capacity<1>();
constexpr auto arr2_cap = test_defs::get<T>::template capacity<2>();
cc::const_vector v1o(arr1);
cc::const_vector v2o(arr2);
struct {
cc::const_vector<T, arr1_cap> v1v;
cc::const_vector<T, arr2_cap> v2v;
cc::const_vector<T, 1> vvo;
cc::const_vector<T, arr1_cap> v1it;
cc::const_vector<T, arr2_cap> v2it;
cc::const_vector<T, arr1_cap> v1i;
cc::const_vector<T, arr2_cap> v2i;
} ret;
ret.v1v.assign(arr1_len, arr1[0]);
ret.v2v.assign(arr2_len, arr2[0]);
ret.vvo.assign(arr1_len, arr1[0]);
ret.v1it.assign(std::begin(arr1), std::end(arr1));
ret.v2it.assign(std::begin(arr2), std::end(arr2));
ret.v1i.assign(test_defs::get<T>::template i_list<1>());
ret.v2i.assign(test_defs::get<T>::template i_list<2>());
return ret;
};
constexpr auto int_res = applicator.operator()<int>();
constexpr auto char_res = applicator.operator()<char>();
constexpr auto string_res = applicator.operator()<const char *>();
constexpr auto obj_res = applicator.operator()<TestStruct>();
ASSERT(int_res.v1v._size == VI_TEST_ARR1_LEN)
ASSERT(int_res.v2v._size == VI_TEST_ARR2_LEN)
ASSERT_ALL_EQ(int_res.v1v.begin(), int_res.v1v.end(), C_VI_TEST_ARR1[0])
ASSERT_ALL_EQ(int_res.v2v.begin(), int_res.v2v.end(), C_VI_TEST_ARR2[0])
ASSERT(int_res.vvo._size == int_res.vvo._len)
ASSERT_ALL_EQ(int_res.vvo.begin(), int_res.vvo.end(), C_VI_TEST_ARR1[0])
ASSERT(int_res.v1it._size == VI_TEST_ARR1_LEN)
ASSERT(int_res.v2it._size == VI_TEST_ARR2_LEN)
ASSERT_ARR_EQ(int_res.v1it.begin(), int_res.v1it.end(), C_VI_TEST_ARR1)
ASSERT_ARR_EQ(int_res.v2it.begin(), int_res.v2it.end(), C_VI_TEST_ARR2)
ASSERT(int_res.v1i._size == VI_TEST_ARR1_LEN)
ASSERT(int_res.v2i._size == VI_TEST_ARR2_LEN)
ASSERT_ARR_EQ(int_res.v1i.begin(), int_res.v1i.end(), C_VI_TEST_ARR1)
ASSERT_ARR_EQ(int_res.v2i.begin(), int_res.v2i.end(), C_VI_TEST_ARR2)
ASSERT(char_res.v1v._size == VC_TEST_ARR1_LEN)
ASSERT(char_res.v2v._size == VC_TEST_ARR2_LEN)
ASSERT_ALL_EQ(char_res.v1v.begin(), char_res.v1v.end(), C_VC_TEST_ARR1[0])
ASSERT_ALL_EQ(char_res.v2v.begin(), char_res.v2v.end(), C_VC_TEST_ARR2[0])
ASSERT(char_res.vvo._size == char_res.vvo._len)
ASSERT_ALL_EQ(char_res.vvo.begin(), char_res.vvo.end(), C_VC_TEST_ARR1[0])
ASSERT(char_res.v1it._size == VC_TEST_ARR1_LEN)
ASSERT(char_res.v2it._size == VC_TEST_ARR2_LEN)
ASSERT_ARR_EQ(char_res.v1it.begin(), char_res.v1it.end(), C_VC_TEST_ARR1)
ASSERT_ARR_EQ(char_res.v2it.begin(), char_res.v2it.end(), C_VC_TEST_ARR2)
ASSERT(char_res.v1i._size == VC_TEST_ARR1_LEN)
ASSERT(char_res.v2i._size == VC_TEST_ARR2_LEN)
ASSERT_ARR_EQ(char_res.v1i.begin(), char_res.v1i.end(), C_VC_TEST_ARR1)
ASSERT_ARR_EQ(char_res.v2i.begin(), char_res.v2i.end(), C_VC_TEST_ARR2)
ASSERT(string_res.v1v._size == VS_TEST_ARR1_LEN)
ASSERT(string_res.v2v._size == VS_TEST_ARR2_LEN)
ASSERT_ALL_EQ(string_res.v1v.begin(), string_res.v1v.end(), C_VS_TEST_ARR1[0])
ASSERT_ALL_EQ(string_res.v2v.begin(), string_res.v2v.end(), C_VS_TEST_ARR2[0])
ASSERT(string_res.vvo._size == string_res.vvo._len)
ASSERT_ALL_EQ(string_res.vvo.begin(), string_res.vvo.end(), C_VS_TEST_ARR1[0])
ASSERT(string_res.v1it._size == VS_TEST_ARR1_LEN)
ASSERT(string_res.v2it._size == VS_TEST_ARR2_LEN)
ASSERT_ARR_EQ(string_res.v1it.begin(), string_res.v1it.end(), C_VS_TEST_ARR1)
ASSERT_ARR_EQ(string_res.v2it.begin(), string_res.v2it.end(), C_VS_TEST_ARR2)
ASSERT(string_res.v1i._size == VS_TEST_ARR1_LEN)
ASSERT(string_res.v2i._size == VS_TEST_ARR2_LEN)
ASSERT_ARR_EQ(string_res.v1i.begin(), string_res.v1i.end(), C_VS_TEST_ARR1)
ASSERT_ARR_EQ(string_res.v2i.begin(), string_res.v2i.end(), C_VS_TEST_ARR2)
ASSERT(obj_res.v1v._size == VO_TEST_ARR1_LEN)
ASSERT(obj_res.v2v._size == VO_TEST_ARR2_LEN)
ASSERT_ALL_EQ(obj_res.v1v.begin(), obj_res.v1v.end(), C_VO_TEST_ARR1[0])
ASSERT_ALL_EQ(obj_res.v2v.begin(), obj_res.v2v.end(), C_VO_TEST_ARR2[0])
ASSERT(obj_res.vvo._size == obj_res.vvo._len)
ASSERT_ALL_EQ(obj_res.vvo.begin(), obj_res.vvo.end(), C_VO_TEST_ARR1[0])
ASSERT(obj_res.v1it._size == VO_TEST_ARR1_LEN)
ASSERT(obj_res.v2it._size == VO_TEST_ARR2_LEN)
ASSERT_ARR_EQ(obj_res.v1it.begin(), obj_res.v1it.end(), C_VO_TEST_ARR1)
ASSERT_ARR_EQ(obj_res.v2it.begin(), obj_res.v2it.end(), C_VO_TEST_ARR2)
ASSERT(obj_res.v1i._size == VO_TEST_ARR1_LEN)
ASSERT(obj_res.v2i._size == VO_TEST_ARR2_LEN)
ASSERT_ARR_EQ(obj_res.v1i.begin(), obj_res.v1i.end(), C_VO_TEST_ARR1)
ASSERT_ARR_EQ(obj_res.v2i.begin(), obj_res.v2i.end(), C_VO_TEST_ARR2)
return true;
}
@ -1064,7 +961,6 @@ int main(int, char *[])
std::cout << "Test of copy constructors: " << test_const_vector::test_constructor_copy() << std::endl;
std::cout << "Test of move constructor: " << test_const_vector::test_constructor_move() << std::endl;
std::cout << "Test of operator=: " << test_const_vector::test_operator_eq() << std::endl;
std::cout << "Test of assign(): " << test_const_vector::test_assign() << std::endl;
return 0;
}