| /** |
| * Copyright 2015 Pivotal Software, Inc. |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| **/ |
| |
| #ifndef QUICKSTEP_TYPES_NUMERIC_TYPE_UNIFIER_HPP_ |
| #define QUICKSTEP_TYPES_NUMERIC_TYPE_UNIFIER_HPP_ |
| |
| namespace quickstep { |
| |
| class DoubleType; |
| class FloatType; |
| class IntType; |
| class LongType; |
| |
| /** \addtogroup Types |
| * @{ |
| */ |
| |
| /** |
| * @brief A traits template that resolves what the "unifying" Type of two |
| * built-in numeric Types (currently IntType, LongType, FloatType, and |
| * DoubleType) is at compile time. |
| * |
| * If both argument types are built-in numeric Types, then the struct will |
| * contain a typedef called "type" that refers to the unifying Type class. |
| * |
| * @note A "unifying" Type is a type that both argument types can be safely |
| * coerced to. It is not necessarily one of the input types (for example, |
| * the unifying type for LongType and FloatType is DoubleType). |
| * @note This provides a subset of the functionality of |
| * TypeFactory::GetUnifyingType(). It only covers numeric types, and does |
| * not do any handling of nullability. It does, however, allow static |
| * resolution at compile-time. |
| * |
| * @tparam LeftType The first Quickstep numeric Type class to unify. |
| * @tparam RightType The second Quickstep numeric Type class to unify. |
| **/ |
| template <typename LeftType, typename RightType> |
| struct NumericTypeUnifier { |
| }; |
| |
| /** @} */ |
| |
| // Explicit template specializations for all combinations of builtin numeric |
| // types. |
| template<> |
| struct NumericTypeUnifier<IntType, IntType> { |
| typedef IntType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<IntType, LongType> { |
| typedef LongType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<IntType, FloatType> { |
| typedef FloatType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<IntType, DoubleType> { |
| typedef DoubleType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<LongType, IntType> { |
| typedef LongType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<LongType, LongType> { |
| typedef LongType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<LongType, FloatType> { |
| typedef DoubleType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<LongType, DoubleType> { |
| typedef DoubleType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<FloatType, IntType> { |
| typedef FloatType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<FloatType, LongType> { |
| typedef DoubleType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<FloatType, FloatType> { |
| typedef FloatType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<FloatType, DoubleType> { |
| typedef DoubleType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<DoubleType, IntType> { |
| typedef DoubleType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<DoubleType, LongType> { |
| typedef DoubleType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<DoubleType, FloatType> { |
| typedef DoubleType type; |
| }; |
| |
| template<> |
| struct NumericTypeUnifier<DoubleType, DoubleType> { |
| typedef DoubleType type; |
| }; |
| |
| } // namespace quickstep |
| |
| #endif // QUICKSTEP_TYPES_NUMERIC_TYPE_UNIFIER_HPP_ |