Class implicit_conversion_dispatch
Header:
proxy.h
Module:proxy
Namespace:pro::inline v4
Since: 3.2.0
class implicit_conversion_dispatch;
Class implicit_conversion_dispatch models a dispatch type for implicit type conversion expressions. It meets the ProAccessible requirements of applicable types.
Member Functions
| Name | Description |
|---|---|
| (constructor) [nothrow] | constructs an implicit_conversion_dispatch object |
operator() |
invokes the dispatch |
Member Types
| Name | Description |
|---|---|
accessor |
provides accessibility to proxy |
Example
#include <iostream>
#include <proxy/proxy.h>
struct Runnable : pro::facade_builder //
::add_convention<pro::operator_dispatch<"()">, void()> //
::build {};
struct CopyableRunnable
: pro::facade_builder //
::support_copy<pro::constraint_level::nontrivial> //
::add_facade<Runnable> //
::add_direct_convention<pro::implicit_conversion_dispatch,
pro::proxy<Runnable>() const&,
pro::proxy<Runnable>() &&> //
::build {};
int main() {
pro::proxy<CopyableRunnable> p1 = pro::make_proxy<CopyableRunnable>(
[] { std::cout << "Lambda expression invoked\n"; });
auto p2 = p1; // Copy construction
// Implicit conversion via const reference of pro::proxy<CopyableRunnable>
pro::proxy<Runnable> p3 = p2;
std::cout << std::boolalpha << p2.has_value() << "\n"; // Prints "true"
// Won't compile because pro::proxy<Runnable> is not copy-constructible
// auto p4 = p3;
// Implicit conversion via rvalue reference of pro::proxy<CopyableRunnable>
pro::proxy<Runnable> p5 = std::move(p2);
std::cout << p2.has_value() << "\n"; // Prints "false"
(*p5)(); // Prints "Lambda expression invoked"
}