sha512sum/utempl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update Attributes

Browse source
This commit is contained in:
sha512sum 2024-06-29 08:45:28 +00:00
parent d367f13d7b
commit af067d0db4
2 changed files with 15 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
examples/src/attributes.cpp
View file

@ -30,13 +30,15 @@ static_assert(utempl::GetAttributes<SomeStruct>()
struct SomeOtherStruct { struct SomeOtherStruct {
static_assert(utempl::OpenStruct<SomeOtherStruct>()); static_assert(utempl::OpenStruct<SomeOtherStruct>());
utempl::FieldAttribute<utempl::FieldType<int>, int> field1; utempl::FieldAttribute<utempl::FieldType<int>, int> field1;
utempl::FieldAttribute<utempl::FieldType<int>, void> field2; utempl::FieldAttribute<utempl::FieldType<int>> field2;
utempl::FieldAttribute<utempl::FieldType<std::string>, void> field3;
static_assert(utempl::CloseStruct()); static_assert(utempl::CloseStruct());
}; };
static_assert(utempl::GetAttributes<SomeOtherStruct>() static_assert(utempl::GetAttributes<SomeOtherStruct>()
== utempl::Tuple{ == utempl::Tuple{
utempl::kTypeList<int>, utempl::kTypeList<int>,
utempl::NoInfo{},
utempl::kTypeList<void>}); utempl::kTypeList<void>});

13
include/utempl/attributes.hpp
View file

@ -56,12 +56,23 @@ struct FieldType {
namespace impl { namespace impl {
template <typename... Ts>
struct FieldAttributeData {
using Type = TypeList<Ts...>;
};
template <>
struct FieldAttributeData<> {
using Type = NoInfo;
};
template < template <
typename T, typename T,
typename... Ts, typename... Ts,
auto f = []{}, auto f = []{},
typename Current = decltype(GetCurrentTagType<impl::AttributesTag, decltype(f)>())::Type, typename Current = decltype(GetCurrentTagType<impl::AttributesTag, decltype(f)>())::Type,
auto = AddTypeToTag<impl::AttributesCounterTag<Current>, TypeList<Ts...>, decltype(f)>() auto = AddTypeToTag<impl::AttributesCounterTag<Current>, typename FieldAttributeData<Ts...>::Type, decltype(f)>()
> >
consteval auto FieldAttribute() -> T::Type; consteval auto FieldAttribute() -> T::Type;