LSSTApplications  10.0-2-g4f67435,11.0.rc2+1,11.0.rc2+12,11.0.rc2+3,11.0.rc2+4,11.0.rc2+5,11.0.rc2+6,11.0.rc2+7,11.0.rc2+8
LSSTDataManagementBasePackage
ExpressionTraits.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 /*
3  * LSST Data Management System
4  * Copyright 2008, 2009, 2010, 2011 LSST Corporation.
5  *
6  * This product includes software developed by the
7  * LSST Project (http://www.lsst.org/).
8  *
9  * This program is free software: you can redistribute it and/or modify
10  * it under the terms of the GNU General Public License as published by
11  * the Free Software Foundation, either version 3 of the License, or
12  * (at your option) any later version.
13  *
14  * This program is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17  * GNU General Public License for more details.
18  *
19  * You should have received a copy of the LSST License Statement and
20  * the GNU General Public License along with this program. If not,
21  * see <http://www.lsstcorp.org/LegalNotices/>.
22  */
23 #ifndef NDARRAY_ExpressionTraits_h_INCLUDED
24 #define NDARRAY_ExpressionTraits_h_INCLUDED
25 
32 #include "ndarray_fwd.h"
33 #include <boost/static_assert.hpp>
34 
35 namespace ndarray {
36 
42 template <typename Expression_> struct ExpressionTraits {
43  typedef boost::mpl::true_ IsScalar;
44 };
45 
46 #ifndef GCC_45
47 
53 template <typename Operand, typename UnaryFunction, int N>
54 struct ExpressionTraits< detail::UnaryOpExpression<Operand,UnaryFunction,N> > {
55  typedef typename UnaryFunction::result_type Element;
59  typename ExpressionTraits<Operand>::Reference,UnaryFunction,N-1
60  > Value;
61  typedef Value Reference;
62  typedef boost::mpl::false_ IsScalar;
63 };
64 
70 template <typename Operand, typename UnaryFunction>
71 struct ExpressionTraits< detail::UnaryOpExpression<Operand,UnaryFunction,1> > {
72  typedef typename UnaryFunction::result_type Element;
75  typedef typename boost::remove_const<Element>::type Value;
76  typedef Value const Reference;
77  typedef boost::mpl::false_ IsScalar;
78 };
79 
85 template <typename Operand1, typename Operand2, typename BinaryFunction, int N>
86 struct ExpressionTraits< detail::BinaryOpExpression<Operand1,Operand2,BinaryFunction,N> > {
87  typedef typename BinaryFunction::result_type Element;
93  BinaryFunction, N-1 > Reference;
94  typedef Reference Value;
95  typedef boost::mpl::false_ IsScalar;
96  BOOST_STATIC_ASSERT((ND::value == ExpressionTraits<Operand2>::ND::value));
97 };
98 
104 template <typename Operand1, typename Operand2, typename BinaryFunction>
105 struct ExpressionTraits< detail::BinaryOpExpression<Operand1,Operand2,BinaryFunction,1> > {
106  typedef typename BinaryFunction::result_type Element;
109  typedef typename boost::remove_const<Element>::type Value;
110  typedef Value const Reference;
111  typedef boost::mpl::false_ IsScalar;
112  BOOST_STATIC_ASSERT((ND::value == ExpressionTraits<Operand2>::ND::value));
113 };
114 
115 #endif // GCC_45
116 
117 } // namespace ndarray
118 
119 #endif // !NDARRAY_ExpressionTraits_h_INCLUDED
detail::BinaryOpExpression< typename ExpressionTraits< Operand1 >::Reference, typename ExpressionTraits< Operand2 >::Reference, BinaryFunction, N-1 > Reference
Forward declarations and default template parameters for ndarray.
Traits for expressions.
detail::UnaryOpExpression< typename ExpressionTraits< Operand >::Reference, UnaryFunction, N-1 > Value
boost::mpl::true_ IsScalar