diff options
Diffstat (limited to 'source/blender/functions/FN_cpp_type_make.hh')
| -rw-r--r-- | source/blender/functions/FN_cpp_type_make.hh | 201 |
1 files changed, 99 insertions, 102 deletions
diff --git a/source/blender/functions/FN_cpp_type_make.hh b/source/blender/functions/FN_cpp_type_make.hh index cd14fe8c078..529ec261946 100644 --- a/source/blender/functions/FN_cpp_type_make.hh +++ b/source/blender/functions/FN_cpp_type_make.hh @@ -20,19 +20,16 @@ * \ingroup fn */ +#include "BLI_utildefines.h" #include "FN_cpp_type.hh" namespace blender::fn::cpp_type_util { -template<typename T> void construct_default_cb(void *ptr) +template<typename T> void default_construct_cb(void *ptr) { new (ptr) T; } -template<typename T> void construct_default_n_cb(void *ptr, int64_t n) -{ - blender::default_construct_n(static_cast<T *>(ptr), n); -} -template<typename T> void construct_default_indices_cb(void *ptr, IndexMask mask) +template<typename T> void default_construct_indices_cb(void *ptr, IndexMask mask) { mask.foreach_index([&](int64_t i) { new (static_cast<T *>(ptr) + i) T; }); } @@ -41,31 +38,17 @@ template<typename T> void destruct_cb(void *ptr) { (static_cast<T *>(ptr))->~T(); } -template<typename T> void destruct_n_cb(void *ptr, int64_t n) -{ - blender::destruct_n(static_cast<T *>(ptr), n); -} template<typename T> void destruct_indices_cb(void *ptr, IndexMask mask) { T *ptr_ = static_cast<T *>(ptr); mask.foreach_index([&](int64_t i) { ptr_[i].~T(); }); } -template<typename T> void copy_to_initialized_cb(const void *src, void *dst) +template<typename T> void copy_assign_cb(const void *src, void *dst) { *static_cast<T *>(dst) = *static_cast<const T *>(src); } -template<typename T> void copy_to_initialized_n_cb(const void *src, void *dst, int64_t n) -{ - const T *src_ = static_cast<const T *>(src); - T *dst_ = static_cast<T *>(dst); - - for (int64_t i = 0; i < n; i++) { - dst_[i] = src_[i]; - } -} -template<typename T> -void copy_to_initialized_indices_cb(const void *src, void *dst, IndexMask mask) +template<typename T> void copy_assign_indices_cb(const void *src, void *dst, IndexMask mask) { const T *src_ = static_cast<const T *>(src); T *dst_ = static_cast<T *>(dst); @@ -73,16 +56,11 @@ void copy_to_initialized_indices_cb(const void *src, void *dst, IndexMask mask) mask.foreach_index([&](int64_t i) { dst_[i] = src_[i]; }); } -template<typename T> void copy_to_uninitialized_cb(const void *src, void *dst) +template<typename T> void copy_construct_cb(const void *src, void *dst) { blender::uninitialized_copy_n(static_cast<const T *>(src), 1, static_cast<T *>(dst)); } -template<typename T> void copy_to_uninitialized_n_cb(const void *src, void *dst, int64_t n) -{ - blender::uninitialized_copy_n(static_cast<const T *>(src), n, static_cast<T *>(dst)); -} -template<typename T> -void copy_to_uninitialized_indices_cb(const void *src, void *dst, IndexMask mask) +template<typename T> void copy_construct_indices_cb(const void *src, void *dst, IndexMask mask) { const T *src_ = static_cast<const T *>(src); T *dst_ = static_cast<T *>(dst); @@ -90,15 +68,11 @@ void copy_to_uninitialized_indices_cb(const void *src, void *dst, IndexMask mask mask.foreach_index([&](int64_t i) { new (dst_ + i) T(src_[i]); }); } -template<typename T> void move_to_initialized_cb(void *src, void *dst) +template<typename T> void move_assign_cb(void *src, void *dst) { blender::initialized_move_n(static_cast<T *>(src), 1, static_cast<T *>(dst)); } -template<typename T> void move_to_initialized_n_cb(void *src, void *dst, int64_t n) -{ - blender::initialized_move_n(static_cast<T *>(src), n, static_cast<T *>(dst)); -} -template<typename T> void move_to_initialized_indices_cb(void *src, void *dst, IndexMask mask) +template<typename T> void move_assign_indices_cb(void *src, void *dst, IndexMask mask) { T *src_ = static_cast<T *>(src); T *dst_ = static_cast<T *>(dst); @@ -106,15 +80,11 @@ template<typename T> void move_to_initialized_indices_cb(void *src, void *dst, I mask.foreach_index([&](int64_t i) { dst_[i] = std::move(src_[i]); }); } -template<typename T> void move_to_uninitialized_cb(void *src, void *dst) +template<typename T> void move_construct_cb(void *src, void *dst) { blender::uninitialized_move_n(static_cast<T *>(src), 1, static_cast<T *>(dst)); } -template<typename T> void move_to_uninitialized_n_cb(void *src, void *dst, int64_t n) -{ - blender::uninitialized_move_n(static_cast<T *>(src), n, static_cast<T *>(dst)); -} -template<typename T> void move_to_uninitialized_indices_cb(void *src, void *dst, IndexMask mask) +template<typename T> void move_construct_indices_cb(void *src, void *dst, IndexMask mask) { T *src_ = static_cast<T *>(src); T *dst_ = static_cast<T *>(dst); @@ -122,7 +92,7 @@ template<typename T> void move_to_uninitialized_indices_cb(void *src, void *dst, mask.foreach_index([&](int64_t i) { new (dst_ + i) T(std::move(src_[i])); }); } -template<typename T> void relocate_to_initialized_cb(void *src, void *dst) +template<typename T> void relocate_assign_cb(void *src, void *dst) { T *src_ = static_cast<T *>(src); T *dst_ = static_cast<T *>(dst); @@ -130,11 +100,7 @@ template<typename T> void relocate_to_initialized_cb(void *src, void *dst) *dst_ = std::move(*src_); src_->~T(); } -template<typename T> void relocate_to_initialized_n_cb(void *src, void *dst, int64_t n) -{ - blender::initialized_relocate_n(static_cast<T *>(src), n, static_cast<T *>(dst)); -} -template<typename T> void relocate_to_initialized_indices_cb(void *src, void *dst, IndexMask mask) +template<typename T> void relocate_assign_indices_cb(void *src, void *dst, IndexMask mask) { T *src_ = static_cast<T *>(src); T *dst_ = static_cast<T *>(dst); @@ -145,7 +111,7 @@ template<typename T> void relocate_to_initialized_indices_cb(void *src, void *ds }); } -template<typename T> void relocate_to_uninitialized_cb(void *src, void *dst) +template<typename T> void relocate_construct_cb(void *src, void *dst) { T *src_ = static_cast<T *>(src); T *dst_ = static_cast<T *>(dst); @@ -153,12 +119,7 @@ template<typename T> void relocate_to_uninitialized_cb(void *src, void *dst) new (dst_) T(std::move(*src_)); src_->~T(); } -template<typename T> void relocate_to_uninitialized_n_cb(void *src, void *dst, int64_t n) -{ - blender::uninitialized_relocate_n(static_cast<T *>(src), n, static_cast<T *>(dst)); -} -template<typename T> -void relocate_to_uninitialized_indices_cb(void *src, void *dst, IndexMask mask) +template<typename T> void relocate_construct_indices_cb(void *src, void *dst, IndexMask mask) { T *src_ = static_cast<T *>(src); T *dst_ = static_cast<T *>(dst); @@ -169,7 +130,7 @@ void relocate_to_uninitialized_indices_cb(void *src, void *dst, IndexMask mask) }); } -template<typename T> void fill_initialized_cb(const void *value, void *dst, int64_t n) +template<typename T> void fill_assign_cb(const void *value, void *dst, int64_t n) { const T &value_ = *static_cast<const T *>(value); T *dst_ = static_cast<T *>(dst); @@ -178,7 +139,7 @@ template<typename T> void fill_initialized_cb(const void *value, void *dst, int6 dst_[i] = value_; } } -template<typename T> void fill_initialized_indices_cb(const void *value, void *dst, IndexMask mask) +template<typename T> void fill_assign_indices_cb(const void *value, void *dst, IndexMask mask) { const T &value_ = *static_cast<const T *>(value); T *dst_ = static_cast<T *>(dst); @@ -186,7 +147,7 @@ template<typename T> void fill_initialized_indices_cb(const void *value, void *d mask.foreach_index([&](int64_t i) { dst_[i] = value_; }); } -template<typename T> void fill_uninitialized_cb(const void *value, void *dst, int64_t n) +template<typename T> void fill_construct_cb(const void *value, void *dst, int64_t n) { const T &value_ = *static_cast<const T *>(value); T *dst_ = static_cast<T *>(dst); @@ -195,8 +156,7 @@ template<typename T> void fill_uninitialized_cb(const void *value, void *dst, in new (dst_ + i) T(value_); } } -template<typename T> -void fill_uninitialized_indices_cb(const void *value, void *dst, IndexMask mask) +template<typename T> void fill_construct_indices_cb(const void *value, void *dst, IndexMask mask) { const T &value_ = *static_cast<const T *>(value); T *dst_ = static_cast<T *>(dst); @@ -204,7 +164,7 @@ void fill_uninitialized_indices_cb(const void *value, void *dst, IndexMask mask) mask.foreach_index([&](int64_t i) { new (dst_ + i) T(value_); }); } -template<typename T> void debug_print_cb(const void *value, std::stringstream &ss) +template<typename T> void print_cb(const void *value, std::stringstream &ss) { const T &value_ = *static_cast<const T *>(value); ss << value_; @@ -225,59 +185,96 @@ template<typename T> uint64_t hash_cb(const void *value) } // namespace blender::fn::cpp_type_util +/** + * Different types support different features. Features like copy constructibility can be detected + * automatically easily. For some features this is harder as of C++17. Those have flags in this + * enum and need to be determined by the programmer. + */ +enum class CPPTypeFlags { + None = 0, + Hashable = 1 << 0, + Printable = 1 << 1, + EqualityComparable = 1 << 2, + + BasicType = Hashable | Printable | EqualityComparable, +}; +ENUM_OPERATORS(CPPTypeFlags, CPPTypeFlags::EqualityComparable) + namespace blender::fn { -template<typename T> -inline std::unique_ptr<const CPPType> create_cpp_type(StringRef name, const T &default_value) +template<typename T, CPPTypeFlags flags> +inline std::unique_ptr<const CPPType> create_cpp_type(StringRef name) { using namespace cpp_type_util; - const CPPType *type = new CPPType(name, - sizeof(T), - alignof(T), - std::is_trivially_destructible_v<T>, - construct_default_cb<T>, - construct_default_n_cb<T>, - construct_default_indices_cb<T>, - destruct_cb<T>, - destruct_n_cb<T>, - destruct_indices_cb<T>, - copy_to_initialized_cb<T>, - copy_to_initialized_n_cb<T>, - copy_to_initialized_indices_cb<T>, - copy_to_uninitialized_cb<T>, - copy_to_uninitialized_n_cb<T>, - copy_to_uninitialized_indices_cb<T>, - move_to_initialized_cb<T>, - move_to_initialized_n_cb<T>, - move_to_initialized_indices_cb<T>, - move_to_uninitialized_cb<T>, - move_to_uninitialized_n_cb<T>, - move_to_uninitialized_indices_cb<T>, - relocate_to_initialized_cb<T>, - relocate_to_initialized_n_cb<T>, - relocate_to_initialized_indices_cb<T>, - relocate_to_uninitialized_cb<T>, - relocate_to_uninitialized_n_cb<T>, - relocate_to_uninitialized_indices_cb<T>, - fill_initialized_cb<T>, - fill_initialized_indices_cb<T>, - fill_uninitialized_cb<T>, - fill_uninitialized_indices_cb<T>, - debug_print_cb<T>, - is_equal_cb<T>, - hash_cb<T>, - static_cast<const void *>(&default_value)); + + CPPTypeMembers m; + m.name = name; + m.size = (int64_t)sizeof(T); + m.alignment = (int64_t)alignof(T); + m.is_trivially_destructible = std::is_trivially_destructible_v<T>; + if constexpr (std::is_default_constructible_v<T>) { + m.default_construct = default_construct_cb<T>; + m.default_construct_indices = default_construct_indices_cb<T>; + static T default_value; + m.default_value = (void *)&default_value; + } + if constexpr (std::is_destructible_v<T>) { + m.destruct = destruct_cb<T>; + m.destruct_indices = destruct_indices_cb<T>; + } + if constexpr (std::is_copy_assignable_v<T>) { + m.copy_assign = copy_assign_cb<T>; + m.copy_assign_indices = copy_assign_indices_cb<T>; + } + if constexpr (std::is_copy_constructible_v<T>) { + m.copy_construct = copy_construct_cb<T>; + m.copy_construct_indices = copy_construct_indices_cb<T>; + } + if constexpr (std::is_move_assignable_v<T>) { + m.move_assign = move_assign_cb<T>; + m.move_assign_indices = move_assign_indices_cb<T>; + } + if constexpr (std::is_move_constructible_v<T>) { + m.move_construct = move_construct_cb<T>; + m.move_construct_indices = move_construct_indices_cb<T>; + } + if constexpr (std::is_destructible_v<T>) { + if constexpr (std::is_move_assignable_v<T>) { + m.relocate_assign = relocate_assign_cb<T>; + m.relocate_assign_indices = relocate_assign_indices_cb<T>; + } + if constexpr (std::is_move_constructible_v<T>) { + m.relocate_construct = relocate_construct_cb<T>; + m.relocate_construct_indices = relocate_construct_indices_cb<T>; + } + } + if constexpr (std::is_copy_assignable_v<T>) { + m.fill_assign_indices = fill_assign_indices_cb<T>; + } + if constexpr (std::is_copy_constructible_v<T>) { + m.fill_construct_indices = fill_construct_indices_cb<T>; + } + if constexpr ((bool)(flags & CPPTypeFlags::Hashable)) { + m.hash = hash_cb<T>; + } + if constexpr ((bool)(flags & CPPTypeFlags::Printable)) { + m.print = print_cb<T>; + } + if constexpr ((bool)(flags & CPPTypeFlags::EqualityComparable)) { + m.is_equal = is_equal_cb<T>; + } + + const CPPType *type = new CPPType(std::move(m)); return std::unique_ptr<const CPPType>(type); } } // namespace blender::fn -#define MAKE_CPP_TYPE(IDENTIFIER, TYPE_NAME) \ +#define MAKE_CPP_TYPE(IDENTIFIER, TYPE_NAME, FLAGS) \ template<> const blender::fn::CPPType &blender::fn::CPPType::get<TYPE_NAME>() \ { \ - static TYPE_NAME default_value; \ - static std::unique_ptr<const CPPType> cpp_type = blender::fn::create_cpp_type<TYPE_NAME>( \ - STRINGIFY(IDENTIFIER), default_value); \ + static std::unique_ptr<const CPPType> cpp_type = \ + blender::fn::create_cpp_type<TYPE_NAME, FLAGS>(STRINGIFY(IDENTIFIER)); \ return *cpp_type; \ } \ /* Support using `CPPType::get<const T>()`. Otherwise the caller would have to remove const. */ \ |