2006-09-18 15:30:56 +02:00
|
|
|
// -*- C++ -*-
|
|
|
|
|
2007-01-16 01:01:24 +01:00
|
|
|
// Copyright (C) 2005, 2006, 2007 Free Software Foundation, Inc.
|
2006-09-18 15:30:56 +02:00
|
|
|
//
|
|
|
|
// This file is part of the GNU ISO C++ Library. This library is free
|
|
|
|
// software; you can redistribute it and/or modify it under the terms
|
|
|
|
// of the GNU General Public License as published by the Free Software
|
|
|
|
// Foundation; either version 2, or (at your option) any later
|
|
|
|
// version.
|
|
|
|
|
|
|
|
// This library is distributed in the hope that it will be useful, but
|
|
|
|
// WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
// General Public License for more details.
|
|
|
|
|
2006-10-01 12:39:16 +02:00
|
|
|
// You should have received a copy of the GNU General Public License along
|
|
|
|
// with this library; see the file COPYING. If not, write to the Free
|
|
|
|
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
|
|
|
|
// USA.
|
2006-09-18 15:30:56 +02:00
|
|
|
|
|
|
|
// As a special exception, you may use this file as part of a free
|
|
|
|
// software library without restriction. Specifically, if other files
|
|
|
|
// instantiate templates or use macros or inline functions from this
|
|
|
|
// file, or you compile this file and link it with other files to
|
|
|
|
// produce an executable, this file does not by itself cause the
|
|
|
|
// resulting executable to be covered by the GNU General Public
|
|
|
|
// License. This exception does not however invalidate any other
|
|
|
|
// reasons why the executable file might be covered by the GNU General
|
|
|
|
// Public License.
|
|
|
|
|
2006-11-29 21:59:22 +01:00
|
|
|
/** @file ext/type_traits.h
|
|
|
|
* This file is a GNU extension to the Standard C++ Library.
|
|
|
|
*/
|
|
|
|
|
2006-09-18 15:30:56 +02:00
|
|
|
#ifndef _EXT_TYPE_TRAITS
|
|
|
|
#define _EXT_TYPE_TRAITS 1
|
|
|
|
|
|
|
|
#pragma GCC system_header
|
|
|
|
|
|
|
|
#include <limits>
|
2006-09-21 22:07:10 +02:00
|
|
|
#include <bits/cpp_type_traits.h>
|
2006-09-18 15:30:56 +02:00
|
|
|
|
|
|
|
_GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx)
|
|
|
|
|
|
|
|
// Define a nested type if some predicate holds.
|
|
|
|
template<bool, typename>
|
|
|
|
struct __enable_if
|
|
|
|
{ };
|
|
|
|
|
|
|
|
template<typename _Tp>
|
|
|
|
struct __enable_if<true, _Tp>
|
|
|
|
{ typedef _Tp __type; };
|
|
|
|
|
2006-09-29 15:38:58 +02:00
|
|
|
|
2006-09-18 15:30:56 +02:00
|
|
|
// Conditional expression for types. If true, first, if false, second.
|
|
|
|
template<bool _Cond, typename _Iftrue, typename _Iffalse>
|
|
|
|
struct __conditional_type
|
|
|
|
{ typedef _Iftrue __type; };
|
|
|
|
|
|
|
|
template<typename _Iftrue, typename _Iffalse>
|
|
|
|
struct __conditional_type<false, _Iftrue, _Iffalse>
|
|
|
|
{ typedef _Iffalse __type; };
|
|
|
|
|
|
|
|
|
2006-09-29 15:38:58 +02:00
|
|
|
// Given an integral builtin type, return the corresponding unsigned type.
|
2006-10-01 12:39:16 +02:00
|
|
|
template<typename _Tp>
|
2006-09-18 15:30:56 +02:00
|
|
|
struct __add_unsigned
|
2006-09-29 15:38:58 +02:00
|
|
|
{
|
|
|
|
private:
|
2006-10-01 12:39:16 +02:00
|
|
|
typedef __enable_if<std::__is_integer<_Tp>::__value, _Tp> __if_type;
|
2006-09-29 15:38:58 +02:00
|
|
|
|
|
|
|
public:
|
|
|
|
typedef typename __if_type::__type __type;
|
|
|
|
};
|
2006-09-18 15:30:56 +02:00
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __add_unsigned<char>
|
|
|
|
{ typedef unsigned char __type; };
|
|
|
|
|
2006-09-29 15:38:58 +02:00
|
|
|
template<>
|
|
|
|
struct __add_unsigned<signed char>
|
|
|
|
{ typedef unsigned char __type; };
|
|
|
|
|
2006-09-18 15:30:56 +02:00
|
|
|
template<>
|
|
|
|
struct __add_unsigned<short>
|
|
|
|
{ typedef unsigned short __type; };
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __add_unsigned<int>
|
|
|
|
{ typedef unsigned int __type; };
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __add_unsigned<long>
|
|
|
|
{ typedef unsigned long __type; };
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __add_unsigned<long long>
|
|
|
|
{ typedef unsigned long long __type; };
|
|
|
|
|
2006-09-29 15:38:58 +02:00
|
|
|
// Declare but don't define.
|
|
|
|
template<>
|
|
|
|
struct __add_unsigned<bool>;
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __add_unsigned<wchar_t>;
|
|
|
|
|
|
|
|
|
|
|
|
// Given an integral builtin type, return the corresponding signed type.
|
2006-10-01 12:39:16 +02:00
|
|
|
template<typename _Tp>
|
2006-09-18 15:30:56 +02:00
|
|
|
struct __remove_unsigned
|
2006-09-29 15:38:58 +02:00
|
|
|
{
|
|
|
|
private:
|
2006-10-01 12:39:16 +02:00
|
|
|
typedef __enable_if<std::__is_integer<_Tp>::__value, _Tp> __if_type;
|
2006-09-29 15:38:58 +02:00
|
|
|
|
|
|
|
public:
|
|
|
|
typedef typename __if_type::__type __type;
|
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __remove_unsigned<char>
|
|
|
|
{ typedef signed char __type; };
|
2006-09-18 15:30:56 +02:00
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __remove_unsigned<unsigned char>
|
2006-09-29 15:38:58 +02:00
|
|
|
{ typedef signed char __type; };
|
2006-09-18 15:30:56 +02:00
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __remove_unsigned<unsigned short>
|
|
|
|
{ typedef short __type; };
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __remove_unsigned<unsigned int>
|
|
|
|
{ typedef int __type; };
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __remove_unsigned<unsigned long>
|
|
|
|
{ typedef long __type; };
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __remove_unsigned<unsigned long long>
|
|
|
|
{ typedef long long __type; };
|
2006-09-29 15:38:58 +02:00
|
|
|
|
|
|
|
// Declare but don't define.
|
|
|
|
template<>
|
|
|
|
struct __remove_unsigned<bool>;
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct __remove_unsigned<wchar_t>;
|
|
|
|
|
2006-09-18 15:30:56 +02:00
|
|
|
|
|
|
|
// Compile time constants for builtin types.
|
|
|
|
// Sadly std::numeric_limits member functions cannot be used for this.
|
2006-10-01 12:39:16 +02:00
|
|
|
#define __glibcxx_signed(_Tp) ((_Tp)(-1) < 0)
|
|
|
|
#define __glibcxx_digits(_Tp) \
|
|
|
|
(sizeof(_Tp) * __CHAR_BIT__ - __glibcxx_signed(_Tp))
|
2006-09-18 15:30:56 +02:00
|
|
|
|
2006-10-01 12:39:16 +02:00
|
|
|
#define __glibcxx_min(_Tp) \
|
|
|
|
(__glibcxx_signed(_Tp) ? (_Tp)1 << __glibcxx_digits(_Tp) : (_Tp)0)
|
2006-09-18 15:30:56 +02:00
|
|
|
|
2006-10-01 12:39:16 +02:00
|
|
|
#define __glibcxx_max(_Tp) \
|
2007-01-16 01:01:24 +01:00
|
|
|
(__glibcxx_signed(_Tp) ? \
|
|
|
|
(((((_Tp)1 << (__glibcxx_digits(_Tp) - 1)) - 1) << 1) + 1) : ~(_Tp)0)
|
2006-09-18 15:30:56 +02:00
|
|
|
|
|
|
|
template<typename _Value>
|
2006-09-21 22:07:10 +02:00
|
|
|
struct __numeric_traits_integer
|
2006-09-18 15:30:56 +02:00
|
|
|
{
|
2006-09-21 22:07:10 +02:00
|
|
|
// Only integers for initialization of member constant.
|
|
|
|
static const _Value __min = __glibcxx_min(_Value);
|
|
|
|
static const _Value __max = __glibcxx_max(_Value);
|
2006-09-18 15:30:56 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
template<typename _Value>
|
2006-09-21 22:07:10 +02:00
|
|
|
const _Value __numeric_traits_integer<_Value>::__min;
|
2006-09-18 15:30:56 +02:00
|
|
|
|
|
|
|
template<typename _Value>
|
2006-09-21 22:07:10 +02:00
|
|
|
const _Value __numeric_traits_integer<_Value>::__max;
|
2006-09-18 15:30:56 +02:00
|
|
|
|
|
|
|
template<typename _Value>
|
2006-09-21 22:07:10 +02:00
|
|
|
struct __numeric_traits_floating
|
|
|
|
{
|
|
|
|
// Only floating point types. See N1822.
|
2007-03-03 11:29:14 +01:00
|
|
|
static const int __max_digits10 =
|
2006-09-21 22:07:10 +02:00
|
|
|
2 + std::numeric_limits<_Value>::digits * 3010/10000;
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename _Value>
|
2007-03-03 11:29:14 +01:00
|
|
|
const int __numeric_traits_floating<_Value>::__max_digits10;
|
2006-09-21 22:07:10 +02:00
|
|
|
|
|
|
|
template<typename _Value>
|
|
|
|
struct __numeric_traits
|
|
|
|
: public __conditional_type<std::__is_integer<_Value>::__value,
|
|
|
|
__numeric_traits_integer<_Value>,
|
|
|
|
__numeric_traits_floating<_Value> >::__type
|
|
|
|
{ };
|
2006-09-18 15:30:56 +02:00
|
|
|
|
|
|
|
_GLIBCXX_END_NAMESPACE
|
|
|
|
|
2007-01-16 01:01:24 +01:00
|
|
|
#undef __glibcxx_signed
|
|
|
|
#undef __glibcxx_min
|
|
|
|
#undef __glibcxx_max
|
|
|
|
#undef __glibcxx_digits
|
|
|
|
|
2006-09-18 15:30:56 +02:00
|
|
|
#endif
|