Shuto Naruse / Mbed 2 deprecated Eurobot2012_Secondary

Eurobot2012_Secondary

Fork of Eurobot_2012_Secondary by Shuto Naruse

tvmet/TypePromotion.h@1:cc2a9eb0bd55, 2012-10-17 (annotated)

Committer:
narshu
Date:
Wed Oct 17 22:25:31 2012 +0000
Revision:
1:cc2a9eb0bd55
Commit before publishing

Who changed what in which revision?

UserRevisionLine numberNew contents of line
narshu 1:cc2a9eb0bd55 1 /*
narshu 1:cc2a9eb0bd55 2 * Tiny Vector Matrix Library
narshu 1:cc2a9eb0bd55 3 * Dense Vector Matrix Libary of Tiny size using Expression Templates
narshu 1:cc2a9eb0bd55 4 *
narshu 1:cc2a9eb0bd55 5 * Copyright (C) 2001 - 2007 Olaf Petzold <opetzold@users.sourceforge.net>
narshu 1:cc2a9eb0bd55 6 *
narshu 1:cc2a9eb0bd55 7 * This library is free software; you can redistribute it and/or
narshu 1:cc2a9eb0bd55 8 * modify it under the terms of the GNU Lesser General Public
narshu 1:cc2a9eb0bd55 9 * License as published by the Free Software Foundation; either
narshu 1:cc2a9eb0bd55 10 * version 2.1 of the License, or (at your option) any later version.
narshu 1:cc2a9eb0bd55 11 *
narshu 1:cc2a9eb0bd55 12 * This library is distributed in the hope that it will be useful,
narshu 1:cc2a9eb0bd55 13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
narshu 1:cc2a9eb0bd55 14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
narshu 1:cc2a9eb0bd55 15 * Lesser General Public License for more details.
narshu 1:cc2a9eb0bd55 16 *
narshu 1:cc2a9eb0bd55 17 * You should have received a copy of the GNU Lesser General Public
narshu 1:cc2a9eb0bd55 18 * License along with this library; if not, write to the Free Software
narshu 1:cc2a9eb0bd55 19 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
narshu 1:cc2a9eb0bd55 20 *
narshu 1:cc2a9eb0bd55 21 * $Id: TypePromotion.h,v 1.10 2007-06-23 15:58:58 opetzold Exp $
narshu 1:cc2a9eb0bd55 22 */
narshu 1:cc2a9eb0bd55 23
narshu 1:cc2a9eb0bd55 24 #ifndef TVMET_TYPE_PROMOTION_H
narshu 1:cc2a9eb0bd55 25 #define TVMET_TYPE_PROMOTION_H
narshu 1:cc2a9eb0bd55 26
narshu 1:cc2a9eb0bd55 27 namespace tvmet {
narshu 1:cc2a9eb0bd55 28
narshu 1:cc2a9eb0bd55 29
narshu 1:cc2a9eb0bd55 30 /**
narshu 1:cc2a9eb0bd55 31 * \class PrecisionTraits TypePromotion.h "tvmet/TypePromotion.h"
narshu 1:cc2a9eb0bd55 32 * \brief Declaring ranks of types to avoid specializing
narshu 1:cc2a9eb0bd55 33 *
narshu 1:cc2a9eb0bd55 34 * All possible promoted types. For example, bool=1, int=2, float=3, double=4,
narshu 1:cc2a9eb0bd55 35 * etc. We can use a traits class to map from a type such as float onto its
narshu 1:cc2a9eb0bd55 36 * "precision rank". We will promote to whichever type has a higher
narshu 1:cc2a9eb0bd55 37 * "precision rank". f there is no "precision rank" for a type, we'll
narshu 1:cc2a9eb0bd55 38 * promote to whichever type requires more storage space
narshu 1:cc2a9eb0bd55 39 * (and hopefully more precision).
narshu 1:cc2a9eb0bd55 40 */
narshu 1:cc2a9eb0bd55 41 template<class T>
narshu 1:cc2a9eb0bd55 42 struct PrecisionTraits {
narshu 1:cc2a9eb0bd55 43 enum {
narshu 1:cc2a9eb0bd55 44 rank = 0, /**< the rank of type. */
narshu 1:cc2a9eb0bd55 45 known = 0 /**< true, if the rank is specialized = known. */
narshu 1:cc2a9eb0bd55 46 };
narshu 1:cc2a9eb0bd55 47 };
narshu 1:cc2a9eb0bd55 48
narshu 1:cc2a9eb0bd55 49
narshu 1:cc2a9eb0bd55 50 #define TVMET_PRECISION(T,R) \
narshu 1:cc2a9eb0bd55 51 template<> \
narshu 1:cc2a9eb0bd55 52 struct PrecisionTraits< T > { \
narshu 1:cc2a9eb0bd55 53 enum { \
narshu 1:cc2a9eb0bd55 54 rank = R, \
narshu 1:cc2a9eb0bd55 55 known = 1 \
narshu 1:cc2a9eb0bd55 56 }; \
narshu 1:cc2a9eb0bd55 57 };
narshu 1:cc2a9eb0bd55 58
narshu 1:cc2a9eb0bd55 59
narshu 1:cc2a9eb0bd55 60 /*
narshu 1:cc2a9eb0bd55 61 * pod types
narshu 1:cc2a9eb0bd55 62 */
narshu 1:cc2a9eb0bd55 63 TVMET_PRECISION(int, 100)
narshu 1:cc2a9eb0bd55 64 TVMET_PRECISION(unsigned int, 200)
narshu 1:cc2a9eb0bd55 65 TVMET_PRECISION(long, 300)
narshu 1:cc2a9eb0bd55 66 TVMET_PRECISION(unsigned long, 400)
narshu 1:cc2a9eb0bd55 67
narshu 1:cc2a9eb0bd55 68 #if defined(TVMET_HAVE_LONG_LONG)
narshu 1:cc2a9eb0bd55 69 TVMET_PRECISION(long long, 500)
narshu 1:cc2a9eb0bd55 70 TVMET_PRECISION(unsigned long long, 600)
narshu 1:cc2a9eb0bd55 71 #endif // defined(TVMET_HAVE_LONG_LONG)
narshu 1:cc2a9eb0bd55 72
narshu 1:cc2a9eb0bd55 73 TVMET_PRECISION(float, 700)
narshu 1:cc2a9eb0bd55 74 TVMET_PRECISION(double, 800)
narshu 1:cc2a9eb0bd55 75
narshu 1:cc2a9eb0bd55 76 #if defined(TVMET_HAVE_LONG_DOUBLE)
narshu 1:cc2a9eb0bd55 77 TVMET_PRECISION(long double, 900)
narshu 1:cc2a9eb0bd55 78 #endif // defined(TVMET_HAVE_LONG_DOUBLE)
narshu 1:cc2a9eb0bd55 79
narshu 1:cc2a9eb0bd55 80
narshu 1:cc2a9eb0bd55 81 /*
narshu 1:cc2a9eb0bd55 82 * complex types
narshu 1:cc2a9eb0bd55 83 */
narshu 1:cc2a9eb0bd55 84 #if defined(TVMET_HAVE_COMPLEX)
narshu 1:cc2a9eb0bd55 85 TVMET_PRECISION(std::complex<int>, 1000)
narshu 1:cc2a9eb0bd55 86 TVMET_PRECISION(std::complex<unsigned int>, 1100)
narshu 1:cc2a9eb0bd55 87 TVMET_PRECISION(std::complex<long>, 1200)
narshu 1:cc2a9eb0bd55 88 TVMET_PRECISION(std::complex<unsigned long>, 1300)
narshu 1:cc2a9eb0bd55 89
narshu 1:cc2a9eb0bd55 90 #if defined(TVMET_HAVE_LONG_LONG)
narshu 1:cc2a9eb0bd55 91 TVMET_PRECISION(std::complex<long long>, 1400)
narshu 1:cc2a9eb0bd55 92 TVMET_PRECISION(std::complex<unsigned long long>, 1500)
narshu 1:cc2a9eb0bd55 93 #endif // defined(TVMET_HAVE_LONG_LONG)
narshu 1:cc2a9eb0bd55 94
narshu 1:cc2a9eb0bd55 95 TVMET_PRECISION(std::complex<float>, 1600)
narshu 1:cc2a9eb0bd55 96 TVMET_PRECISION(std::complex<double>, 1700)
narshu 1:cc2a9eb0bd55 97
narshu 1:cc2a9eb0bd55 98 #if defined(TVMET_HAVE_LONG_DOUBLE)
narshu 1:cc2a9eb0bd55 99 TVMET_PRECISION(std::complex<long double>, 1800)
narshu 1:cc2a9eb0bd55 100 #endif // defined(TVMET_HAVE_LONG_DOUBLE)
narshu 1:cc2a9eb0bd55 101
narshu 1:cc2a9eb0bd55 102 #endif // defined(TVMET_HAVE_COMPLEX)
narshu 1:cc2a9eb0bd55 103
narshu 1:cc2a9eb0bd55 104
narshu 1:cc2a9eb0bd55 105 /** \class PrecisionTraits<int> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 106 /** \class PrecisionTraits<unsigned int> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 107 /** \class PrecisionTraits<long> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 108 /** \class PrecisionTraits<unsigned long> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 109 /** \class PrecisionTraits<long long> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 110 /** \class PrecisionTraits<unsigned long long> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 111 /** \class PrecisionTraits<float> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 112 /** \class PrecisionTraits<double> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 113 /** \class PrecisionTraits<long double> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 114 /** \class PrecisionTraits< std::complex<int> > TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 115 /** \class PrecisionTraits< std::complex<unsigned int> > TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 116 /** \class PrecisionTraits< std::complex<long> > TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 117 /** \class PrecisionTraits< std::complex<unsigned long> > TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 118 /** \class PrecisionTraits< std::complex<long long> > TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 119 /** \class PrecisionTraits< std::complex<unsigned long long> > TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 120 /** \class PrecisionTraits< std::complex<float> > TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 121 /** \class PrecisionTraits< std::complex<double> > TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 122 /** \class PrecisionTraits< std::complex<long double> > TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 123
narshu 1:cc2a9eb0bd55 124 #undef TVMET_PRECISION
narshu 1:cc2a9eb0bd55 125
narshu 1:cc2a9eb0bd55 126
narshu 1:cc2a9eb0bd55 127 /**
narshu 1:cc2a9eb0bd55 128 * \class AutopromoteTraits TypePromotion.h "tvmet/TypePromotion.h"
narshu 1:cc2a9eb0bd55 129 * \brief The promoted types traits.
narshu 1:cc2a9eb0bd55 130 */
narshu 1:cc2a9eb0bd55 131 template<class T>
narshu 1:cc2a9eb0bd55 132 struct AutopromoteTraits {
narshu 1:cc2a9eb0bd55 133 typedef T value_type;
narshu 1:cc2a9eb0bd55 134 };
narshu 1:cc2a9eb0bd55 135
narshu 1:cc2a9eb0bd55 136
narshu 1:cc2a9eb0bd55 137 /*
narshu 1:cc2a9eb0bd55 138 * Defines a macro for specializing/defining
narshu 1:cc2a9eb0bd55 139 * the promotion traits. bool, char, unsigned char, short int, etc. will
narshu 1:cc2a9eb0bd55 140 * be autopromote to int, as in C and C++.
narshu 1:cc2a9eb0bd55 141 */
narshu 1:cc2a9eb0bd55 142 #define TVMET_AUTOPROMOTE(T1,T2) \
narshu 1:cc2a9eb0bd55 143 template<> \
narshu 1:cc2a9eb0bd55 144 struct AutopromoteTraits<T1> { \
narshu 1:cc2a9eb0bd55 145 typedef T2 value_type; \
narshu 1:cc2a9eb0bd55 146 };
narshu 1:cc2a9eb0bd55 147
narshu 1:cc2a9eb0bd55 148 TVMET_AUTOPROMOTE(bool, int)
narshu 1:cc2a9eb0bd55 149 TVMET_AUTOPROMOTE(char, int)
narshu 1:cc2a9eb0bd55 150 TVMET_AUTOPROMOTE(unsigned char, int)
narshu 1:cc2a9eb0bd55 151 TVMET_AUTOPROMOTE(short int, int)
narshu 1:cc2a9eb0bd55 152 TVMET_AUTOPROMOTE(short unsigned int, unsigned int)
narshu 1:cc2a9eb0bd55 153
narshu 1:cc2a9eb0bd55 154 /** \class AutopromoteTraits<bool> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 155 /** \class AutopromoteTraits<char> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 156 /** \class AutopromoteTraits<unsigned char> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 157 /** \class AutopromoteTraits<short int> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 158 /** \class AutopromoteTraits<short unsigned int> TypePromotion.h "tvmet/TypePromotion.h" */
narshu 1:cc2a9eb0bd55 159
narshu 1:cc2a9eb0bd55 160 #undef TVMET_AUTOPROMOTE
narshu 1:cc2a9eb0bd55 161
narshu 1:cc2a9eb0bd55 162
narshu 1:cc2a9eb0bd55 163 /**
narshu 1:cc2a9eb0bd55 164 * \class promoteTo TypePromotion.h "tvmet/TypePromotion.h"
narshu 1:cc2a9eb0bd55 165 * \brief Promote to T1.
narshu 1:cc2a9eb0bd55 166 */
narshu 1:cc2a9eb0bd55 167 template<class T1, class T2, int promoteToT1>
narshu 1:cc2a9eb0bd55 168 struct promoteTo {
narshu 1:cc2a9eb0bd55 169 typedef T1 value_type;
narshu 1:cc2a9eb0bd55 170 };
narshu 1:cc2a9eb0bd55 171
narshu 1:cc2a9eb0bd55 172
narshu 1:cc2a9eb0bd55 173 /**
narshu 1:cc2a9eb0bd55 174 * \class promoteTo<T1,T2,0> TypePromotion.h "tvmet/TypePromotion.h"
narshu 1:cc2a9eb0bd55 175 * \brief Promote to T2
narshu 1:cc2a9eb0bd55 176 */
narshu 1:cc2a9eb0bd55 177 template<class T1, class T2>
narshu 1:cc2a9eb0bd55 178 struct promoteTo<T1,T2,0> {
narshu 1:cc2a9eb0bd55 179 typedef T2 value_type;
narshu 1:cc2a9eb0bd55 180 };
narshu 1:cc2a9eb0bd55 181
narshu 1:cc2a9eb0bd55 182
narshu 1:cc2a9eb0bd55 183 /**
narshu 1:cc2a9eb0bd55 184 * \class PromoteTraits TypePromotion.h "tvmet/TypePromotion.h"
narshu 1:cc2a9eb0bd55 185 * \brief Promote type traits
narshu 1:cc2a9eb0bd55 186 */
narshu 1:cc2a9eb0bd55 187 template<class T1org, class T2org>
narshu 1:cc2a9eb0bd55 188 class PromoteTraits {
narshu 1:cc2a9eb0bd55 189 // Handle promotion of small integers to int/unsigned int
narshu 1:cc2a9eb0bd55 190 typedef typename AutopromoteTraits<T1org>::value_type T1;
narshu 1:cc2a9eb0bd55 191 typedef typename AutopromoteTraits<T2org>::value_type T2;
narshu 1:cc2a9eb0bd55 192
narshu 1:cc2a9eb0bd55 193 enum {
narshu 1:cc2a9eb0bd55 194 // True if T1 is higher ranked
narshu 1:cc2a9eb0bd55 195 T1IsBetter = int(PrecisionTraits<T1>::rank) > int(PrecisionTraits<T2>::rank),
narshu 1:cc2a9eb0bd55 196
narshu 1:cc2a9eb0bd55 197 // True if we know ranks for both T1 and T2
narshu 1:cc2a9eb0bd55 198 knowBothRanks = PrecisionTraits<T1>::known && PrecisionTraits<T2>::known,
narshu 1:cc2a9eb0bd55 199
narshu 1:cc2a9eb0bd55 200 // True if we know T1 but not T2
narshu 1:cc2a9eb0bd55 201 knowT1butNotT2 = PrecisionTraits<T1>::known && !(PrecisionTraits<T2>::known),
narshu 1:cc2a9eb0bd55 202
narshu 1:cc2a9eb0bd55 203 // True if we know T2 but not T1
narshu 1:cc2a9eb0bd55 204 knowT2butNotT1 = PrecisionTraits<T2>::known && !(PrecisionTraits<T1>::known),
narshu 1:cc2a9eb0bd55 205
narshu 1:cc2a9eb0bd55 206 // True if T1 is bigger than T2
narshu 1:cc2a9eb0bd55 207 T1IsLarger = sizeof(T1) >= sizeof(T2),
narshu 1:cc2a9eb0bd55 208
narshu 1:cc2a9eb0bd55 209 // We know T1 but not T2: true
narshu 1:cc2a9eb0bd55 210 // We know T2 but not T1: false
narshu 1:cc2a9eb0bd55 211 // Otherwise, if T1 is bigger than T2: true
narshu 1:cc2a9eb0bd55 212 defaultPromotion = knowT1butNotT2 ? false : (knowT2butNotT1 ? true : T1IsLarger),
narshu 1:cc2a9eb0bd55 213
narshu 1:cc2a9eb0bd55 214 // If we have both ranks, then use them.
narshu 1:cc2a9eb0bd55 215 // If we have only one rank, then use the unknown type.
narshu 1:cc2a9eb0bd55 216 // If we have neither rank, then promote to the larger type.
narshu 1:cc2a9eb0bd55 217 promoteToT1 = (knowBothRanks ? T1IsBetter : defaultPromotion) ? 1 : 0
narshu 1:cc2a9eb0bd55 218 };
narshu 1:cc2a9eb0bd55 219
narshu 1:cc2a9eb0bd55 220 public:
narshu 1:cc2a9eb0bd55 221 typedef typename promoteTo<T1,T2,promoteToT1>::value_type value_type;
narshu 1:cc2a9eb0bd55 222 };
narshu 1:cc2a9eb0bd55 223
narshu 1:cc2a9eb0bd55 224
narshu 1:cc2a9eb0bd55 225 } // namespace tvmet
narshu 1:cc2a9eb0bd55 226
narshu 1:cc2a9eb0bd55 227 #endif // TVMET_TYPE_PROMOTION_H
narshu 1:cc2a9eb0bd55 228
narshu 1:cc2a9eb0bd55 229 // Local Variables:
narshu 1:cc2a9eb0bd55 230 // mode:C++
narshu 1:cc2a9eb0bd55 231 // tab-width:8
narshu 1:cc2a9eb0bd55 232 // End: