Metaprogramming.h File Reference

#include <type_traits>
#include <sstream>
#include <ostream>
#include "Cpp17.h"

Go to the source code of this file.

Classes
class	Cast< U >
	dynamic_cast<U *>(x) does not compile if x is not polymorphic. More...

Namespaces
namespace	pongasoft
namespace	pongasoft::Utils

Typedefs
template<typename T>
using	operator_not_eq_t = decltype(std::declval<T const&>() != std::declval<T const&>())
	Defines the type for operator!=.
template<typename T>
using	operator_write_to_ostream_t = decltype(std::declval<std::ostream &>() << std::declval<T const&>())
	Defines the type for operator<<.
template<typename From, typename To>
using	static_cast_t = decltype(static_cast<To>(std::declval<From>()))
	Defines the type for static_cast<To>(From).

Functions
template<typename T>
std::string	typeString ()
	typeid(T).name() does not account for const or reference.

Variables
template<typename T>
constexpr auto	is_operator_not_eq_defined = cpp17::experimental::is_detected_v<operator_not_eq_t, T>
	Allows to detect whether a type defines operator!= at compile time.
template<typename T>
constexpr auto	is_operator_write_to_ostream_defined = cpp17::experimental::is_detected_v<operator_write_to_ostream_t, T>
	Allows to detect whether a type defines ostream << x at compile time.
template<typename From, typename To>
constexpr auto	is_static_cast_defined = cpp17::experimental::is_detected_v<static_cast_t, From, To>
	Allows to detect (at compilation time) whether the call static_cast<To>(from) (where from is of type From) will compile.