typeName_epilogue.h

/*
  @copyright Russell Standish 2000-2013
  @author Russell Standish
  This file is part of Classdesc

  Open source licensed under the MIT license. See LICENSE for details.
*/

#ifndef CLASSDESC_TYPENAME_EPILOGUE_H
#define CLASSDESC_TYPENAME_EPILOGUE_H
#include "classdesc.h"
#include "typeName-allCDs.h"

namespace classdesc
{
  // generically handle new integral types
  template <class T> typename 
  enable_if< Not<is_const<T> >,std::string>::T  
  integralTypeName() 
  {
    std::ostringstream os;
    os<<CHAR_BIT*sizeof(T);
    return (is_unsigned<T>::value?"unsigned int":"int")+os.str()+"_t";
  }

  template <class T> typename
  enable_if<And<Not<is_const<T> >,is_integral<T> >,std::string>::T
  typeNamep() {return integralTypeName<T>();}

#if defined(__cplusplus) && __cplusplus>=201103L  
  template <class T>
  struct tn<T, void_t<typename std::iterator_traits<T>::value_type>>
  {
    static std::string name() {return "iterator";}
  };
#endif
  
  template <class T> typename
  enable_if<
    And<
      And<Not<is_const<T> >,Not<is_integral<T> > >,
      Not<is_function<T> >
      >,std::string>::T
  typeNamep() {return tn<T>::name();}

  template <class T> typename
  enable_if<is_const<T>,std::string>::T
  typeNamep() {return "const "+typeName<typename remove_const<T>::type>();}

  template <class T>
  typename enable_if<And<Not<is_function<T> >,Not<is_member_function_pointer<T> > >,  std::string>::T
  typeName() {return typeNamep<T>();}
  
#if defined(__cplusplus) && __cplusplus>=201103L
  template <class T>
  struct tn<T&&>
  {
    static std::string name() {return typeName<T>();}
  };
#endif
}

#endif