Subversion Repositories Kolibri OS

Rev

Go to most recent revision | Blame | Last modification | View Log | RSS feed

  1. // TR2 <type_traits> -*- C++ -*-
  2.  
  3. // Copyright (C) 2011-2013 Free Software Foundation, Inc.
  4. //
  5. // This file is part of the GNU ISO C++ Library.  This library is free
  6. // software; you can redistribute it and/or modify it under the
  7. // terms of the GNU General Public License as published by the
  8. // Free Software Foundation; either version 3, or (at your option)
  9. // any later version.
  10.  
  11. // This library is distributed in the hope that it will be useful,
  12. // but WITHOUT ANY WARRANTY; without even the implied warranty of
  13. // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14. // GNU General Public License for more details.
  15.  
  16. // Under Section 7 of GPL version 3, you are granted additional
  17. // permissions described in the GCC Runtime Library Exception, version
  18. // 3.1, as published by the Free Software Foundation.
  19.  
  20. // You should have received a copy of the GNU General Public License and
  21. // a copy of the GCC Runtime Library Exception along with this program;
  22. // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  23. // <http://www.gnu.org/licenses/>.
  24.  
  25. /** @file tr2/type_traits
  26.  *  This is a TR2 C++ Library header.
  27.  */
  28.  
  29. #ifndef _GLIBCXX_TR2_TYPE_TRAITS
  30. #define _GLIBCXX_TR2_TYPE_TRAITS 1
  31.  
  32. #pragma GCC system_header
  33. #include <type_traits>
  34. #include <bits/c++config.h>
  35.  
  36. namespace std _GLIBCXX_VISIBILITY(default)
  37. {
  38. namespace tr2
  39. {
  40. _GLIBCXX_BEGIN_NAMESPACE_VERSION
  41.  
  42.   /**
  43.    * @addtogroup metaprogramming
  44.    * @{
  45.    */
  46.  
  47.   /**
  48.    *  See N2965: Type traits and base classes
  49.    *  by Michael Spertus
  50.    */
  51.  
  52.   /**
  53.    *  Simple typelist. Compile-time list of types.
  54.    */
  55.   template<typename... _Elements>
  56.     struct __reflection_typelist;
  57.  
  58.   /// Specialization for an empty typelist.
  59.   template<>
  60.     struct __reflection_typelist<>
  61.     {
  62.       typedef std::true_type                                    empty;
  63.     };
  64.  
  65.   /// Partial specialization.
  66.   template<typename _First, typename... _Rest>
  67.     struct __reflection_typelist<_First, _Rest...>
  68.     {
  69.       typedef std::false_type                                   empty;
  70.  
  71.       struct first
  72.       {
  73.         typedef _First                                          type;
  74.       };
  75.  
  76.       struct rest
  77.       {
  78.         typedef __reflection_typelist<_Rest...>                 type;
  79.       };
  80.     };
  81.  
  82.   /// Sequence abstraction metafunctions for manipulating a typelist.
  83.  
  84.  
  85.  
  86.   /// Enumerate all the base classes of a class. Form of a typelist.
  87.   template<typename _Tp>
  88.     struct bases
  89.     {
  90.       typedef __reflection_typelist<__bases(_Tp)...>            type;
  91.     };
  92.  
  93.   /// Enumerate all the direct base classes of a class. Form of a typelist.
  94.   template<typename _Tp>
  95.     struct direct_bases
  96.     {
  97.       typedef __reflection_typelist<__direct_bases(_Tp)...>     type;
  98.     };
  99.  
  100.   /// @} group metaprogramming
  101.  
  102. _GLIBCXX_END_NAMESPACE_VERSION
  103. }
  104. }
  105.  
  106. #endif // _GLIBCXX_TR2_TYPE_TRAITS
  107.