PRO_DEF_WEAK_DISPATCH#define PRO_DEF_WEAK_DISPATCH // see below
Macro PRO_DEF_WEAK_DISPATCH defines a “weak” dispatch type with a default implementation. It supports the following syntax:
PRO_DEF_WEAK_DISPATCH(dispatch_name, existing_dispatch, default_func_name);
Defines a class named dispatch_name that inherits existing_dispatch and provides additional overloads of operator() calling default_func_name. Effectively equivalent to:
struct dispatch_name : existing_dispatch {
using existing_dispatch::operator();
template <class... Args>
decltype(auto) operator()(std::nullptr_t, Args&&... args)
noexcept(noexcept(default_func_name(std::forward<Args>(args)...)))
requires(requires { default_func_name(std::forward<Args>(args)...); }) {
return default_func_name(std::forward<Args>(args)...);
}
};
A weak dispatch can extend an existing dispatch with a default implementation. This is useful when instantiating a proxy<F> with a value that does not support some conventions defined by F. Similar with PRO_DEF_FREE_DISPATCH, default_func_name can be the name of an arbitrary function or anything that supports () syntax, including a constructor.
#include <iostream>
#include <string>
#include <vector>
#include "proxy.h"
struct NotImplemented {
explicit NotImplemented(auto&&...) { throw std::runtime_error{ "Not implemented!" }; }
template <class T>
operator T() const noexcept { std::terminate(); } // Or std::unreachable() in C++23
};
PRO_DEF_MEM_DISPATCH(MemAt, at);
PRO_DEF_WEAK_DISPATCH(WeakMemAt, MemAt, NotImplemented);
struct WeakDictionary : pro::facade_builder
::add_convention<WeakMemAt, std::string(int index) const>
::build {};
int main() {
std::vector<const char*> v{"hello", "world"};
pro::proxy<WeakDictionary> p1 = &v;
std::cout << p1->at(1) << "\n"; // Prints: "world"
pro::proxy<WeakDictionary> p2 = pro::make_proxy<WeakDictionary>(123);
try {
p2->at(1);
} catch (const std::runtime_error& e) {
std::cout << e.what() << "\n"; // Prints: "Not implemented!"
}
}