namespace std::meta { template
consteval <typename Attr> // Need to be a template ?
bool has_attribute(info x);
template
consteval <typename Attr> // template parameter only in result ?
Attr attribute(info x);
}
Given:
public X {};
public Y { Y(int) {} };
[[X]]
struct V {};
constexpr auto x = std::meta::attribute<X>(reflexpr(V)); // ok x = X();
constexpr auto y = std::meta::attribute<Y>(reflexpr(W)); // ok y = Y(10);
but what if you ask for
constexpr auto y2 = std::meta::attribute<Y>(reflexpr(V)); ???
since Y cannot be default initialized ?
I believe std::meta::attribute should a plural filtered funcion
template
consteval
std::vector<info> attributes_of(
info class_type, Args ...filters );