ra-ra/ra/mpdebug.H

// -*- mode: c++; coding: utf-8 -*-
/// @file mpdebug.H
/// @brief Metaprogramming debugging utilities.

// (c) Daniel Llorens - 2011, 2019
// This library is free software; you can redistribute it and/or modify it under
// the terms of the GNU Lesser General Public License as published by the Free
// Software Foundation; either version 3 of the License, or (at your option) any
// later version.

#pragma once
#include <sys/types.h>
#include "ra/tuple-list.H"
#include <typeinfo>

namespace mp {

template <ssize_t value_, bool condition=false>
struct show_number
{
    static ssize_t const value = value_;
    static_assert(condition, "bad number");
};
template <class type_, bool condition=false>
struct show_type
{
    using type = type_;
    static bool const value = condition;
    static_assert(condition, "bad type");
};

// Prints recursively, i.e. int_t trees.

template <class A> struct print_int_list {};

template <class A> std::ostream &
operator<<(std::ostream & o, print_int_list<A> const & a)
{
    if constexpr (is_tuple_v<A>) {
        std::apply([&o](auto ... a) { ((o << "[") << ... << print_int_list<decltype(a)> {}) << "]"; }, A {});
        return o;
    } else {
        return (o << A::value << " ");
    }
}

template <class T>
std::string
type_name()
{
    using TR = std::remove_reference_t<T>;
    std::string r = typeid(TR).name();
    if (std::is_const_v<TR>)
        r += " const";
    if (std::is_volatile_v<TR>)
        r += " volatile";
    if (std::is_lvalue_reference_v<T>)
        r += " &";
    else if (std::is_rvalue_reference_v<T>)
        r += " &&";
    return r;
}

} // namespace MP