proxy_reflecttemplate <class R, class F>
const R& proxy_reflect(const proxy<F>& p) noexcept;
Retrieves a value of type R constructed from std::in_place_type<P>, where P is the type of the contained value of p. R is required to be defined in typename F::reflection_types. The behavior is undefined if p does not contain a value.
The reference obtained from proxy_reflect() may be invalidated if p is subsequently modified.
This function is useful when only metadata deduced from a type is needed. While proxy_invoke can also retrieve type metadata, proxy_reflect can generate more efficient code in this context.
#include <iostream>
#include <memory>
#include <type_traits>
#include "proxy.h"
struct TraitsRefl {
template <class P>
constexpr explicit TraitsRefl(std::in_place_type_t<P>)
: Copyable(std::is_copy_constructible_v<P>) {}
const bool Copyable;
};
struct TestFacade : pro::facade_builder
::add_reflection<TraitsRefl>
::build {};
int main() {
pro::proxy<TestFacade> p1 = std::make_unique<int>();
std::cout << std::boolalpha << pro::proxy_reflect<TraitsRefl>(p1).Copyable << "\n"; // Prints: "false"
pro::proxy<TestFacade> p2 = std::make_shared<int>();
std::cout << pro::proxy_reflect<TraitsRefl>(p2).Copyable << "\n"; // Prints: "true"
}