new_parralelism

test_auto_cast.cc
View Options

			#include "automatic_cast.hh"
			#include <iostream>
			#include <variant>

			struct Obj {
			virtual ~Obj(){};

			int operator+(Obj &) { return 0; };
			};
			struct A : public Obj {};
			struct B : public Obj {};

			// declaration
			STATIC_DISPATCH_DECLARE(foo)
			template <typename T1, typename T2> void foo(T1 &a, T2 &b);

			// code of the function
			STATIC_DISPATCH_DEFINE(foo, (std::tuple<A, B>, std::tuple<B>))
			template <typename T1, typename T2> void foo(T1 &a, T2 &b) {
			static_assert(!std::is_same<T1, Obj>::value, "Automatic cast failed");
			auto c [[maybe_unused]] = a + b;
			}

			int main() {
			A a;
			B b;

			dispatch_foo(static_cast<Obj &>(a), static_cast<Obj &>(b));
			}