1 //================================================================================================= 2 /*! 3 // \file blaze/math/typetraits/IsMatMapExpr.h 4 // \brief Header file for the IsMatMapExpr type trait class 5 // 6 // Copyright (C) 2012-2020 Klaus Iglberger - All Rights Reserved 7 // 8 // This file is part of the Blaze library. You can redistribute it and/or modify it under 9 // the terms of the New (Revised) BSD License. Redistribution and use in source and binary 10 // forms, with or without modification, are permitted provided that the following conditions 11 // are met: 12 // 13 // 1. Redistributions of source code must retain the above copyright notice, this list of 14 // conditions and the following disclaimer. 15 // 2. Redistributions in binary form must reproduce the above copyright notice, this list 16 // of conditions and the following disclaimer in the documentation and/or other materials 17 // provided with the distribution. 18 // 3. Neither the names of the Blaze development group nor the names of its contributors 19 // may be used to endorse or promote products derived from this software without specific 20 // prior written permission. 21 // 22 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY 23 // EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 24 // OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT 25 // SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, 26 // INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED 27 // TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR 28 // BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 29 // CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN 30 // ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH 31 // DAMAGE. 32 */ 33 //================================================================================================= 34 35 #ifndef _BLAZE_MATH_TYPETRAITS_ISMATMAPEXPR_H_ 36 #define _BLAZE_MATH_TYPETRAITS_ISMATMAPEXPR_H_ 37 38 39 //************************************************************************************************* 40 // Includes 41 //************************************************************************************************* 42 43 #include <utility> 44 #include <blaze/math/expressions/MatMapExpr.h> 45 #include <blaze/util/IntegralConstant.h> 46 47 48 namespace blaze { 49 50 //================================================================================================= 51 // 52 // CLASS DEFINITION 53 // 54 //================================================================================================= 55 56 //************************************************************************************************* 57 /*! \cond BLAZE_INTERNAL */ 58 /*!\brief Auxiliary helper functions for the IsMatMapExpr type trait. 59 // \ingroup math_type_traits 60 */ 61 template< typename MT > 62 TrueType isMatMapExpr_backend( const volatile MatMapExpr<MT>* ); 63 64 FalseType isMatMapExpr_backend( ... ); 65 /*! \endcond */ 66 //************************************************************************************************* 67 68 69 //************************************************************************************************* 70 /*!\brief Compile time check whether the given type is a unary matrix map expression template. 71 // \ingroup math_type_traits 72 // 73 // This type trait class tests whether or not the given type \a Type is a unary matrix map 74 // expression template. In order to qualify as a valid unary matrix map expression template, 75 // the given type has to derive publicly from the MatMapExpr base class. In case the given 76 // type is a valid unary matrix map expression template, the \a value member constant is set 77 // to \a true, the nested type definition \a Type is \a TrueType, and the class derives from 78 // \a TrueType. Otherwise \a value is set to \a false, \a Type is \a FalseType, and the class 79 // derives from \a FalseType. 80 */ 81 template< typename T > 82 struct IsMatMapExpr 83 : public decltype( isMatMapExpr_backend( std::declval<T*>() ) ) 84 {}; 85 //************************************************************************************************* 86 87 88 //************************************************************************************************* 89 /*! \cond BLAZE_INTERNAL */ 90 /*!\brief Specialization of the IsMatMapExpr type trait for references. 91 // \ingroup math_type_traits 92 */ 93 template< typename T > 94 struct IsMatMapExpr<T&> 95 : public FalseType 96 {}; 97 /*! \endcond */ 98 //************************************************************************************************* 99 100 101 //************************************************************************************************* 102 /*!\brief Auxiliary variable template for the IsMatMapExpr type trait. 103 // \ingroup math_type_traits 104 // 105 // The IsMatMapExpr_v variable template provides a convenient shortcut to access the nested 106 // \a value of the IsMatMapExpr class template. For instance, given the type \a T the 107 // following two statements are identical: 108 109 \code 110 constexpr bool value1 = blaze::IsMatMapExpr<T>::value; 111 constexpr bool value2 = blaze::IsMatMapExpr_v<T>; 112 \endcode 113 */ 114 template< typename T > 115 constexpr bool IsMatMapExpr_v = IsMatMapExpr<T>::value; 116 //************************************************************************************************* 117 118 } // namespace blaze 119 120 #endif 121