exercise-2-5.hpp

Go to the documentation of this file.

// ===-- chapter-2/exercise-2-5.hpp ----------------------- -*- C++ -*- --=== //
#ifndef EXERCISE_2_5
#define EXERCISE_2_5
 
#include <iostream>
 
 
namespace exercise_2_5 {
 
template <typename T> struct type_descriptor_eng { };
 
// Non-leaf data-types:
 
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<T const> const&)
{
    return os << "const " << type_descriptor_eng<T>();
}
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<T&> const&)
{
    return os << "reference to " << type_descriptor_eng<T>();
}
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<T*> const&)
{
    return os << "pointer to " << type_descriptor_eng<T>();
}
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<T[]> const&)
{
    return os << "array of " << type_descriptor_eng<T>();
}
template <typename T, size_t N>
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<T[N]> const&)
{
    return os << N << " element array of " << type_descriptor_eng<T>();
}
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<T()> const&)
{
    return os << "function returning " << type_descriptor_eng<T>();
}
template <typename T>
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<T(*)()> const&)
{
    return os << "pointer to function returning " << type_descriptor_eng<T>();
}
 
// Leaf data-types:
 
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<char> const&)
{ return os << "char"; }
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<short> const&)
{ return os << "short int"; }
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<int> const&)
{ return os << "int"; }
std::ostream& operator<<(std::ostream& os, type_descriptor_eng<long> const&)
{ return os << "long int"; }
 
} // namespace exercise_2_5
 
#endif // EXERCISE_2_5