- CLEANUP
- Multithreading
- NTTP support (non-type template parameters)
- Allow
invoke()
ing functions withrequires
clauses convert fromDONEstd::type_info
-> archimedes types and vice versa (allow lookups fordynamic_cast
withany
s)- Check if types are serializable at compile time through
constexpr
arrays of registeredtype_id
s Get fields independent on class location in inheritance hierarchyNOT GONNA HAPPENusing enum ...;
support for string lookupconstexpr
as much of the library as possible- Respect
using
declarations in the global namespace Generate object files directly (instead of source, remove need for extra compiler invoke)DONE- Ad-hoc type checking for
any
types - Redesign top-level interface around ranges (or something like them) to avoid heap allocations
- Template methods that don't act like template methods: see
test/requires.cpp
Generate constructor invokers for all possible constructors (excluding templates) for reflected typesDONE
Reason | |
---|---|
Invoke private methods | not supported by C++ |
Values of private constexpr fields |
can't decltype or get values outside of class |
Anything in anonymous namespaces | too complex to resolve type names, not supported by C++ |
Inspecting non-specialized template s |
too complex, doesn't make a lot of sense at runtime? |