refl-cpp (v0.9.1) (Documentation)

A compile-time reflection library for modern C++ with support for templates, attributes and proxies 🔥

Synopsis

refl-cpp allows static reflection and inspection of types in C++ with full support for templated types and functions! The metadata required for this is specified through the use of macros (but wait!). The macros require the user to only specify the type that is being reflected and only the names of the members that are of interest. ReflCpp has a small and well-organised API surface.

• Macro-based code-gen has been minimized as much as is possible to support all basic requirements. All higher-level operations are implemented as free types and function in one of the utility namespaces.

Requirements

• Minimum language standard: C++17

Usage

• refl-cpp is packaged as a header-only library! Simply #include "refl.hpp" just like any other header.

License

• MIT License (for more details, see the license file)

Related Articles

• Introductory post - Compile-time reflection in C++ 17

• In-depth post - refl-cpp — A deep dive

Contributing

See contributors.md

refl-cpp is publicly open for any contribution. Bugfixes and new features are welcome. Extra modules are too (as long as the single-header usability is preserved and the functionality is not overly specific to particular use case).

Examples

Example metadata declaration (without refl-ht)

struct Point {
  float x;
  float y;
};

/* New style */
REFL_AUTO(
  type(Point),
  field(x, /* attributes */),
  field(y)
)

/* Old style */
REFL_TYPE(Point)
  REFL_FIELD(x, /* attributes */)
  REFL_FIELD(y)
REFL_END

Example metadata declaration (with refl-ht - a lightweight, portable preprocessor) (discontinued)

struct Point {
  REFL(/* attributes */) float x;
  REFL() float y;
};

Basic usage example

  // Printing an object's properties:
  Point pt{};
  for_each(refl::reflect(pt).members, [&](auto member) {
      std::cout << member.name << "=" << member(pt) << ";";
  }
  // Result: prints x=0;y=0;

  // Converting to an std::tuple: (Note the constexpr!)
  constexpr auto values = map_to_tuple(refl::reflect(pt).members, [&](auto member) {
      return member(pt);
  }
  // Result: values == std::tuple<int, int>{ 0, 0 };

More examples

• See examples/ for more usage examples.

Metadata-generation macros

// Describes a type and all of its members
REFL_AUTO(
  type(Name, Attribute...),
  field(Name, Attribute...),
  func(Name, Attribute...)
)

// Starts the declaration of Type's metadata.
// Must be followed by one of: REFL_END, REFL_FIELD, REFL_FUNC.
// Example: REFL_TYPE(Dog, bases<Animal>)
REFL_TYPE(Type, Attributes...)

// Starts the declaration of Type's metadata.
// Must be followed by one of: REFL_END, REFL_FIELD, REFL_FUNC.
// Example: REFL_TEMPLATE((typename K, typename V), (std::pair<K, V>))
REFL_TEMPLATE((typename... Ts), (Type<Ts...>)), Attributes...)

// End the declaration of Type's metadata.
// Does not have an argument list
REFL_END

// Describes a field.
// Example: REFL_FIELD(first_name, property{ "Value" })
REFL_FIELD(Field, Attributes...)

// Describes a function.
// Example: REFL_FUNC(first_name, property{ "Size" })
REFL_FUNC(Function, Attribute...)

// NOTE: None of the macros above need a terminating semi-colon (;)

Changelog

Releases follow the MAJOR.MINOR.PATCH versioning scheme

Major denotes a very big change in the structure of the library.

Minor denotes a smaller change, which usually includes new features and might also change or even remove certain features.

Patch denotes a version which fixed a bug or does not include major new features.

---

v0.9.1

• Bugfix for refl::descriptor::get_bases for clang #19

v0.9.0

• Introduced refl::descriptor::get_bases (as well as refl::descriptor::has_bases) to inspect a type's declared base types (see example-inheritance.cpp)
• Bugfix for is_instance_of for template types with different arity #18
• Renamed refl::descriptor::get_property_info to refl::descriptor::get_property to match the attribute name and its trait-based counterparts.
• Discontinued refl-ht - the preprocessor for refl-cpp, due to unfixable bugs and lack of time/interest.

v0.8.2

• CV-qualifiers are now properly removed from attribute objects (previously, the values in the backing std::tuple<...> were sometimes cv-qualified).

v0.8.1

• Fixed a bug that prevented the compilation of refl::descriptor::get_display_name() in some compilers (thanks to ticelo)
• Removed improper usage of [[maybe_unused]] that caused warnings under clang.

v0.8.0

• Added the ability to create refl::const_string<N> instances from const char* which allows using c-strings (const char*) values from attributes together with const_string<N> and in constexpr context possible. That feature is exposed by the REFL_MAKE_CONST_STRING(CString) macro. Important: CString must be a Core constant expression. The macro is necessary to avoid the duplication of the provided expression and currently expands to ~ detail::copy_from_unsized<detail::strlen(CString)>(CString). (another thanks to Siapran for contributing the implementation for the constexpr length() function.)

v0.7.0

• Added constexpr const_string::substr<Pos, [Count]>()
• Added make_const_string() as a shortcut for the creation of empty const strings.
• Added trait::{first, last, tail, init, append, prepend, reverse, concat} and TraitName_t equivalents to ease the use of type_list<...>.
• Breaking change: trait::map and trait::filter now no longer accept variadic template parameters. Wrap variadic parameters in a type_list. (Allowing both type_list<Ts...> and Ts... is problematic due to cryptic errors when e.g. const type_list<Ts...> is provided.)
• Breaking change: util::accumulate now mimics the behaviour of std::accumulate more closely. It relies on the return value of the functor instead of mutating the accumulator argument. The new implementation now allows for the types of initial_value and the return type to differ (thanks to Siapran).
• Removed: util::get<N>(const type_list<Ts...>&). Use trait::get_t<N, type_list<Ts...>> instead. This is part of a move towards minimizing the duplication between the trait:: and util:: namespaces.
• Added two new examples: example-binding.cpp and example-dao.cpp to present some of the new things introduced in this release. (example-dao.cpp based on work by Siapran)

v0.6.5

• Fixed multiple unused X warnings (fixed by Siapran) #12

v0.6.4

• Bugfix: usage of incorrect bound in operator+(const_string<N>, const_string<M>) (fixed by Siapran) #11

v0.6.3

• Bugfix: clang errors during compilation of reflected overloaded member functions (since 0.6.0)

v0.6.2

• Bugfix: Compiler error in clang: refl::attr::property's implicitly-declared default constructor is deleted due to N3797 §8.5/7 #9

v0.6.1

• Bugfix: const_string::operator std::string() was incorrectly marked as constexpr which caused compilation failure in non-C++20-compliant compilers

v0.6.0

• Changed: property() is now only usable on function members / use contract based checks for functions and fields (is_readable/writable)
• Removed: read_only, write_only, read_write access modifiers for property() attributes (rw-detection now based on contract).

v0.5.2

• Added: type_descriptor<T>::type as an alias for T.
• Added: function_descriptor<T, N>::pointer which points to the target function, if the pointer can be resolved and to nullptr otherwise.
• Added: function_descriptor<T, N>::is_resolved for checking whether the pointer to the function has been resolved successfully.
• Added: function_descriptor<T, N>::resolve<Pointer> for explicitly resolving the function pointer as a value of the specified type.
• Added: util::get<size_t N>(type_list<Ts...>&&) which zero-initializes and returns the type at the N-th position.
• Added: util::get<size_t N>(Tuple&&) as an alias for std::get<N>.

v0.5.1

• Bugfix: The REFL_AUTO macro was not working properly in MSVC and led to Internal compiler errors
• Changed: As a result of the related bugfix, the REFL_AUTO macro has been stabilized and its use is now recommended

v0.5.0

• Removed deprecated macros $refl(...), REFL_UNSTABLE(...), REFL_DEPRECATED(...)
• Removed deprecated refl::attr::access_type::read, write constants. Replaced by read_only, write_only for consistency.
• Removed deprecated refl::attr::read_only, read_write, write_only constants. Use the enum-qualified values. The constants are still available unqualified in macro context.
• Removed refl::descriptor::make_invoker (which was not deprecated but is now obsolete.) Simply replace make_invoker(x) with x.
• The defaulted constructor for refl::util::const_string<N> was replaced by a user-declared default constructor which now always zero-initializes the string buffer.

v0.4.2

• Added: trait::is_type[_v], descriptor::is_type(const T&) for checking whether a type is a type_descriptor instance.

v0.4.1

• trait::as_type_list now supports reference type in place of T<Ts...> (e.g. std::tuple<Ts...>& -> type_list<Ts...>).
• refl::attr::access_type::{read, write} now deprecated, replaced by {read_only, write_only} (Note: implicitly-usable read_only, write_only constants in attribute (in REFL_... macros) context remain unchanged)
• refl::descriptor::field_descriptor::operator() now supports acting as a setter. refl::descriptor::make_invoker is now no longer needed and marked as deprecated.

v0.4.0

• Renamed: trait::filter to trait::filter_t, replaced by struct trait::filter { typedef ... type; } to follow preset convention
• Renamed: trait::map to trait::map_t, replaced by struct trait::map { typedef ... type; } to follow preset convention
• Breaking change: function_descriptor<...>::pointer now no longer exists. (Reason: Replacing with forwarding function allows for more flexibility when using refl::runtime::proxy<>. Migrate by taking a pointer to function_descriptor<...>::invoke())
• Breaking change: trait::contains/base/instance now no longer work implicitly with std::tuple<...> or support variadic arguments. Use type_list<> or trait::as_type_list_t to migrate working code. (Reason: Specializations found to be causative to many recently discovered bugs and are error-prone.)
• Bugfix: faulty implementation of trait::skip<N>
• Bugfix: faulty implementation of util::to_tuple
• Bugfix: trait::contains_base was working the other way around (checking for presense of base of a specified type, instead of checking for a derived type with a specified base)

v0.3.5

• Bugfix: type_info__<T*> has name defined as char[N] instead of const_string<N>

v0.3.4

• added new experimental syntax for metadata declaration that makes use of variadic macro expansion (can be disabled with REFL_NO_VARIADICS)

REFL_AUTO
(
    type(User), // expands to REFL_TYPE(User)
    field(id, property(read_only)), // expands to REFL_FIELD(id, property(read_only))
    field(email),
    field(first_name, property("firstName")),
    field(last_name, property("lastName"))
    func(save_to_db) // expands to REFL_FUNC(save_to_db)
) // REFL_END appended automatically

v0.3.3

• refl::util::const_string<N> can now be directly compared for equality with char[M]
• refl::util::const_string<N> can now be concatenated with char[M]

v0.3.2

• refl::runtime::debug now captures values of member invocations by universal references (previous implementations required a copy of the value)
• refl::runtime::debug now does not require the members of composites to be reflectable. (members that cannot be printed get replaced with <?>).
• refl::trait::is_reflectable now discards cv-qualifiers -> all cv-qualified types are now also reflectable.

v0.3.1

• refl::descriptor::is_writable now correctly supports field descriptors
• most of refl.hpp is now not included when REFL_PREPROCESSOR is defined (optimization for refl-ht)

v0.3.0

• added new REFL(...) macro for annotation of reflectable members (replaces $refl(...))
• $refl(...) macro usage now deprecated

v0.2.1

• added support for refl-ht (the refl-cpp header tool)

v0.2.0

• added refl::util::contains(type_list<...>, [predicate]), refl::util::contains(type_list<...>, const_string<N>)
• removed refl::attr::is_readable/is_writable (use refl::descriptor::is_readable/is_writable instead; reason: lack of support for fields that lack a property attribute)

v0.1.2

• refl::runtime::proxy<Derived, Target> can now delegate field 'invocations'. (Methods with names matching those of the reflected fields are created.)
• refl::attr::property now can take an optional refl::attr::access_type (values: read_only, write_only, read_write) to specify whether the property is considered readable or writable (or both).
• added refl::descriptor::is_readable/is_writable
• added refl::attr::is_readable/is_writable