exercise-2-4.hpp

Go to the documentation of this file.

// ===-- chapter-2/exercise-2-4.hpp ----------------------- -*- C++ -*- --=== //
#ifndef EXERCISE_2_4
#define EXERCISE_2_4
 
#include <iostream>
 
 
namespace exercise_2_4 {
 
template <typename T> struct type_descriptor { };
 
// Non-leaf data-types:
 
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor<T const> const&)
{
    return os << type_descriptor<T>() << " const";
}
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor<T&> const&)
{
    return os << type_descriptor<T>() << '&';
}
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor<T*> const&)
{
    return os << type_descriptor<T>() << '*';
}
template <typename T, size_t N>
std::ostream& operator<<(std::ostream& os, type_descriptor<T[N]> const&)
{
    return os << type_descriptor<T>() << '[' << N << ']';
}
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor<T()> const&)
{
    return os << type_descriptor<T>() << "()";
}
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor<T(*)()> const&)
{
    return os << type_descriptor<T>() << "(*)()";
}
 
// Leaf data-types:
 
std::ostream& operator<<(std::ostream& os, type_descriptor<char> const&)
{ return os << "char"; }
std::ostream& operator<<(std::ostream& os, type_descriptor<short> const&)
{ return os << "short int"; }
std::ostream& operator<<(std::ostream& os, type_descriptor<int> const&)
{ return os << "int"; }
std::ostream& operator<<(std::ostream& os, type_descriptor<long> const&)
{ return os << "long int"; }
 
} // namespace exercise_2_4
 
#endif // EXERCISE_2_4