basic_facade_builder::support_relocation
template <constraint_level CL>
using support_relocation = basic_facade_builder</* see below */>;
The alias template support_relocation
of basic_facade_builder<Cs, Rs, MaxSize, MaxAlign, Copyability, Relocatability, Destructibility>
adds relocatability support to the template parameters. After the operation, Relocatability
becomes std::max(Relocatability, CL)
.
Notes
If no relocatability support is applied before specifying build
, the default value of build::relocatability
is pro::constraint_level::trivial
. Please refer to the ProFacade requirements for more details.
Example
#include <memory>
#include <proxy/proxy.h>
struct Movable : pro::facade_builder::build {};
struct Trivial : pro::facade_builder //
::support_copy<pro::constraint_level::trivial> //
::support_relocation<pro::constraint_level::trivial> //
::support_destruction<pro::constraint_level::trivial> //
::build {};
int main() {
pro::proxy<Movable> p1 = std::make_unique<int>(123);
// pro::proxy<Trivial> p2 = std::make_unique<int>(456); // Won't compile
double v = 3.14;
pro::proxy<Trivial> p3 = &v; // Compiles because double* is trivial
}