| 1 | // This file is part of Eigen, a lightweight C++ template library | 
|---|
| 2 | // for linear algebra. | 
|---|
| 3 | // | 
|---|
| 4 | // Copyright (C) 2007-2010 Benoit Jacob <jacob.benoit.1@gmail.com> | 
|---|
| 5 | // Copyright (C) 2008 Gael Guennebaud <gael.guennebaud@inria.fr> | 
|---|
| 6 | // | 
|---|
| 7 | // This Source Code Form is subject to the terms of the Mozilla | 
|---|
| 8 | // Public License v. 2.0. If a copy of the MPL was not distributed | 
|---|
| 9 | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. | 
|---|
| 10 |  | 
|---|
| 11 | #ifndef EIGEN_MAPBASE_H | 
|---|
| 12 | #define EIGEN_MAPBASE_H | 
|---|
| 13 |  | 
|---|
| 14 | #define EIGEN_STATIC_ASSERT_INDEX_BASED_ACCESS(Derived) \ | 
|---|
| 15 | EIGEN_STATIC_ASSERT((int(internal::evaluator<Derived>::Flags) & LinearAccessBit) || Derived::IsVectorAtCompileTime, \ | 
|---|
| 16 | YOU_ARE_TRYING_TO_USE_AN_INDEX_BASED_ACCESSOR_ON_AN_EXPRESSION_THAT_DOES_NOT_SUPPORT_THAT) | 
|---|
| 17 |  | 
|---|
| 18 | namespace Eigen { | 
|---|
| 19 |  | 
|---|
| 20 | /** \ingroup Core_Module | 
|---|
| 21 | * | 
|---|
| 22 | * \brief Base class for dense Map and Block expression with direct access | 
|---|
| 23 | * | 
|---|
| 24 | * This base class provides the const low-level accessors (e.g. coeff, coeffRef) of dense | 
|---|
| 25 | * Map and Block objects with direct access. | 
|---|
| 26 | * Typical users do not have to directly deal with this class. | 
|---|
| 27 | * | 
|---|
| 28 | * This class can be extended by through the macro plugin \c EIGEN_MAPBASE_PLUGIN. | 
|---|
| 29 | * See \link TopicCustomizing_Plugins customizing Eigen \endlink for details. | 
|---|
| 30 | * | 
|---|
| 31 | * The \c Derived class has to provide the following two methods describing the memory layout: | 
|---|
| 32 | *  \code Index innerStride() const; \endcode | 
|---|
| 33 | *  \code Index outerStride() const; \endcode | 
|---|
| 34 | * | 
|---|
| 35 | * \sa class Map, class Block | 
|---|
| 36 | */ | 
|---|
| 37 | template<typename Derived> class MapBase<Derived, ReadOnlyAccessors> | 
|---|
| 38 | : public internal::dense_xpr_base<Derived>::type | 
|---|
| 39 | { | 
|---|
| 40 | public: | 
|---|
| 41 |  | 
|---|
| 42 | typedef typename internal::dense_xpr_base<Derived>::type Base; | 
|---|
| 43 | enum { | 
|---|
| 44 | RowsAtCompileTime = internal::traits<Derived>::RowsAtCompileTime, | 
|---|
| 45 | ColsAtCompileTime = internal::traits<Derived>::ColsAtCompileTime, | 
|---|
| 46 | InnerStrideAtCompileTime = internal::traits<Derived>::InnerStrideAtCompileTime, | 
|---|
| 47 | SizeAtCompileTime = Base::SizeAtCompileTime | 
|---|
| 48 | }; | 
|---|
| 49 |  | 
|---|
| 50 | typedef typename internal::traits<Derived>::StorageKind StorageKind; | 
|---|
| 51 | typedef typename internal::traits<Derived>::Scalar Scalar; | 
|---|
| 52 | typedef typename internal::packet_traits<Scalar>::type PacketScalar; | 
|---|
| 53 | typedef typename NumTraits<Scalar>::Real RealScalar; | 
|---|
| 54 | typedef typename internal::conditional< | 
|---|
| 55 | bool(internal::is_lvalue<Derived>::value), | 
|---|
| 56 | Scalar *, | 
|---|
| 57 | const Scalar *>::type | 
|---|
| 58 | PointerType; | 
|---|
| 59 |  | 
|---|
| 60 | using Base::derived; | 
|---|
| 61 | //    using Base::RowsAtCompileTime; | 
|---|
| 62 | //    using Base::ColsAtCompileTime; | 
|---|
| 63 | //    using Base::SizeAtCompileTime; | 
|---|
| 64 | using Base::MaxRowsAtCompileTime; | 
|---|
| 65 | using Base::MaxColsAtCompileTime; | 
|---|
| 66 | using Base::MaxSizeAtCompileTime; | 
|---|
| 67 | using Base::IsVectorAtCompileTime; | 
|---|
| 68 | using Base::Flags; | 
|---|
| 69 | using Base::IsRowMajor; | 
|---|
| 70 |  | 
|---|
| 71 | using Base::rows; | 
|---|
| 72 | using Base::cols; | 
|---|
| 73 | using Base::size; | 
|---|
| 74 | using Base::coeff; | 
|---|
| 75 | using Base::coeffRef; | 
|---|
| 76 | using Base::lazyAssign; | 
|---|
| 77 | using Base::eval; | 
|---|
| 78 |  | 
|---|
| 79 | using Base::innerStride; | 
|---|
| 80 | using Base::outerStride; | 
|---|
| 81 | using Base::rowStride; | 
|---|
| 82 | using Base::colStride; | 
|---|
| 83 |  | 
|---|
| 84 | // bug 217 - compile error on ICC 11.1 | 
|---|
| 85 | using Base::operator=; | 
|---|
| 86 |  | 
|---|
| 87 | typedef typename Base::CoeffReturnType CoeffReturnType; | 
|---|
| 88 |  | 
|---|
| 89 | /** \copydoc DenseBase::rows() */ | 
|---|
| 90 | EIGEN_DEVICE_FUNC inline Index rows() const { return m_rows.value(); } | 
|---|
| 91 | /** \copydoc DenseBase::cols() */ | 
|---|
| 92 | EIGEN_DEVICE_FUNC inline Index cols() const { return m_cols.value(); } | 
|---|
| 93 |  | 
|---|
| 94 | /** Returns a pointer to the first coefficient of the matrix or vector. | 
|---|
| 95 | * | 
|---|
| 96 | * \note When addressing this data, make sure to honor the strides returned by innerStride() and outerStride(). | 
|---|
| 97 | * | 
|---|
| 98 | * \sa innerStride(), outerStride() | 
|---|
| 99 | */ | 
|---|
| 100 | EIGEN_DEVICE_FUNC inline const Scalar* data() const { return m_data; } | 
|---|
| 101 |  | 
|---|
| 102 | /** \copydoc PlainObjectBase::coeff(Index,Index) const */ | 
|---|
| 103 | EIGEN_DEVICE_FUNC | 
|---|
| 104 | inline const Scalar& coeff(Index rowId, Index colId) const | 
|---|
| 105 | { | 
|---|
| 106 | return m_data[colId * colStride() + rowId * rowStride()]; | 
|---|
| 107 | } | 
|---|
| 108 |  | 
|---|
| 109 | /** \copydoc PlainObjectBase::coeff(Index) const */ | 
|---|
| 110 | EIGEN_DEVICE_FUNC | 
|---|
| 111 | inline const Scalar& coeff(Index index) const | 
|---|
| 112 | { | 
|---|
| 113 | EIGEN_STATIC_ASSERT_INDEX_BASED_ACCESS(Derived) | 
|---|
| 114 | return m_data[index * innerStride()]; | 
|---|
| 115 | } | 
|---|
| 116 |  | 
|---|
| 117 | /** \copydoc PlainObjectBase::coeffRef(Index,Index) const */ | 
|---|
| 118 | EIGEN_DEVICE_FUNC | 
|---|
| 119 | inline const Scalar& coeffRef(Index rowId, Index colId) const | 
|---|
| 120 | { | 
|---|
| 121 | return this->m_data[colId * colStride() + rowId * rowStride()]; | 
|---|
| 122 | } | 
|---|
| 123 |  | 
|---|
| 124 | /** \copydoc PlainObjectBase::coeffRef(Index) const */ | 
|---|
| 125 | EIGEN_DEVICE_FUNC | 
|---|
| 126 | inline const Scalar& coeffRef(Index index) const | 
|---|
| 127 | { | 
|---|
| 128 | EIGEN_STATIC_ASSERT_INDEX_BASED_ACCESS(Derived) | 
|---|
| 129 | return this->m_data[index * innerStride()]; | 
|---|
| 130 | } | 
|---|
| 131 |  | 
|---|
| 132 | /** \internal */ | 
|---|
| 133 | template<int LoadMode> | 
|---|
| 134 | inline PacketScalar packet(Index rowId, Index colId) const | 
|---|
| 135 | { | 
|---|
| 136 | return internal::ploadt<PacketScalar, LoadMode> | 
|---|
| 137 | (m_data + (colId * colStride() + rowId * rowStride())); | 
|---|
| 138 | } | 
|---|
| 139 |  | 
|---|
| 140 | /** \internal */ | 
|---|
| 141 | template<int LoadMode> | 
|---|
| 142 | inline PacketScalar packet(Index index) const | 
|---|
| 143 | { | 
|---|
| 144 | EIGEN_STATIC_ASSERT_INDEX_BASED_ACCESS(Derived) | 
|---|
| 145 | return internal::ploadt<PacketScalar, LoadMode>(m_data + index * innerStride()); | 
|---|
| 146 | } | 
|---|
| 147 |  | 
|---|
| 148 | /** \internal Constructor for fixed size matrices or vectors */ | 
|---|
| 149 | EIGEN_DEVICE_FUNC | 
|---|
| 150 | explicit inline MapBase(PointerType dataPtr) : m_data(dataPtr), m_rows(RowsAtCompileTime), m_cols(ColsAtCompileTime) | 
|---|
| 151 | { | 
|---|
| 152 | EIGEN_STATIC_ASSERT_FIXED_SIZE(Derived) | 
|---|
| 153 | checkSanity<Derived>(); | 
|---|
| 154 | } | 
|---|
| 155 |  | 
|---|
| 156 | /** \internal Constructor for dynamically sized vectors */ | 
|---|
| 157 | EIGEN_DEVICE_FUNC | 
|---|
| 158 | inline MapBase(PointerType dataPtr, Index vecSize) | 
|---|
| 159 | : m_data(dataPtr), | 
|---|
| 160 | m_rows(RowsAtCompileTime == Dynamic ? vecSize : Index(RowsAtCompileTime)), | 
|---|
| 161 | m_cols(ColsAtCompileTime == Dynamic ? vecSize : Index(ColsAtCompileTime)) | 
|---|
| 162 | { | 
|---|
| 163 | EIGEN_STATIC_ASSERT_VECTOR_ONLY(Derived) | 
|---|
| 164 | eigen_assert(vecSize >= 0); | 
|---|
| 165 | eigen_assert(dataPtr == 0 || SizeAtCompileTime == Dynamic || SizeAtCompileTime == vecSize); | 
|---|
| 166 | checkSanity<Derived>(); | 
|---|
| 167 | } | 
|---|
| 168 |  | 
|---|
| 169 | /** \internal Constructor for dynamically sized matrices */ | 
|---|
| 170 | EIGEN_DEVICE_FUNC | 
|---|
| 171 | inline MapBase(PointerType dataPtr, Index rows, Index cols) | 
|---|
| 172 | : m_data(dataPtr), m_rows(rows), m_cols(cols) | 
|---|
| 173 | { | 
|---|
| 174 | eigen_assert( (dataPtr == 0) | 
|---|
| 175 | || (   rows >= 0 && (RowsAtCompileTime == Dynamic || RowsAtCompileTime == rows) | 
|---|
| 176 | && cols >= 0 && (ColsAtCompileTime == Dynamic || ColsAtCompileTime == cols))); | 
|---|
| 177 | checkSanity<Derived>(); | 
|---|
| 178 | } | 
|---|
| 179 |  | 
|---|
| 180 | #ifdef EIGEN_MAPBASE_PLUGIN | 
|---|
| 181 | #include EIGEN_MAPBASE_PLUGIN | 
|---|
| 182 | #endif | 
|---|
| 183 |  | 
|---|
| 184 | protected: | 
|---|
| 185 |  | 
|---|
| 186 | template<typename T> | 
|---|
| 187 | EIGEN_DEVICE_FUNC | 
|---|
| 188 | void checkSanity(typename internal::enable_if<(internal::traits<T>::Alignment>0),void*>::type = 0) const | 
|---|
| 189 | { | 
|---|
| 190 | #if EIGEN_MAX_ALIGN_BYTES>0 | 
|---|
| 191 | // innerStride() is not set yet when this function is called, so we optimistically assume the lowest plausible value: | 
|---|
| 192 | const Index minInnerStride = InnerStrideAtCompileTime == Dynamic ? 1 : Index(InnerStrideAtCompileTime); | 
|---|
| 193 | EIGEN_ONLY_USED_FOR_DEBUG(minInnerStride); | 
|---|
| 194 | eigen_assert((   ((internal::UIntPtr(m_data) % internal::traits<Derived>::Alignment) == 0) | 
|---|
| 195 | || (cols() * rows() * minInnerStride * sizeof(Scalar)) < internal::traits<Derived>::Alignment ) && "data is not aligned"); | 
|---|
| 196 | #endif | 
|---|
| 197 | } | 
|---|
| 198 |  | 
|---|
| 199 | template<typename T> | 
|---|
| 200 | EIGEN_DEVICE_FUNC | 
|---|
| 201 | void checkSanity(typename internal::enable_if<internal::traits<T>::Alignment==0,void*>::type = 0) const | 
|---|
| 202 | {} | 
|---|
| 203 |  | 
|---|
| 204 | PointerType m_data; | 
|---|
| 205 | const internal::variable_if_dynamic<Index, RowsAtCompileTime> m_rows; | 
|---|
| 206 | const internal::variable_if_dynamic<Index, ColsAtCompileTime> m_cols; | 
|---|
| 207 | }; | 
|---|
| 208 |  | 
|---|
| 209 | /** \ingroup Core_Module | 
|---|
| 210 | * | 
|---|
| 211 | * \brief Base class for non-const dense Map and Block expression with direct access | 
|---|
| 212 | * | 
|---|
| 213 | * This base class provides the non-const low-level accessors (e.g. coeff and coeffRef) of | 
|---|
| 214 | * dense Map and Block objects with direct access. | 
|---|
| 215 | * It inherits MapBase<Derived, ReadOnlyAccessors> which defines the const variant for reading specific entries. | 
|---|
| 216 | * | 
|---|
| 217 | * \sa class Map, class Block | 
|---|
| 218 | */ | 
|---|
| 219 | template<typename Derived> class MapBase<Derived, WriteAccessors> | 
|---|
| 220 | : public MapBase<Derived, ReadOnlyAccessors> | 
|---|
| 221 | { | 
|---|
| 222 | typedef MapBase<Derived, ReadOnlyAccessors> ReadOnlyMapBase; | 
|---|
| 223 | public: | 
|---|
| 224 |  | 
|---|
| 225 | typedef MapBase<Derived, ReadOnlyAccessors> Base; | 
|---|
| 226 |  | 
|---|
| 227 | typedef typename Base::Scalar Scalar; | 
|---|
| 228 | typedef typename Base::PacketScalar PacketScalar; | 
|---|
| 229 | typedef typename Base::StorageIndex StorageIndex; | 
|---|
| 230 | typedef typename Base::PointerType PointerType; | 
|---|
| 231 |  | 
|---|
| 232 | using Base::derived; | 
|---|
| 233 | using Base::rows; | 
|---|
| 234 | using Base::cols; | 
|---|
| 235 | using Base::size; | 
|---|
| 236 | using Base::coeff; | 
|---|
| 237 | using Base::coeffRef; | 
|---|
| 238 |  | 
|---|
| 239 | using Base::innerStride; | 
|---|
| 240 | using Base::outerStride; | 
|---|
| 241 | using Base::rowStride; | 
|---|
| 242 | using Base::colStride; | 
|---|
| 243 |  | 
|---|
| 244 | typedef typename internal::conditional< | 
|---|
| 245 | internal::is_lvalue<Derived>::value, | 
|---|
| 246 | Scalar, | 
|---|
| 247 | const Scalar | 
|---|
| 248 | >::type ScalarWithConstIfNotLvalue; | 
|---|
| 249 |  | 
|---|
| 250 | EIGEN_DEVICE_FUNC | 
|---|
| 251 | inline const Scalar* data() const { return this->m_data; } | 
|---|
| 252 | EIGEN_DEVICE_FUNC | 
|---|
| 253 | inline ScalarWithConstIfNotLvalue* data() { return this->m_data; } // no const-cast here so non-const-correct code will give a compile error | 
|---|
| 254 |  | 
|---|
| 255 | EIGEN_DEVICE_FUNC | 
|---|
| 256 | inline ScalarWithConstIfNotLvalue& coeffRef(Index row, Index col) | 
|---|
| 257 | { | 
|---|
| 258 | return this->m_data[col * colStride() + row * rowStride()]; | 
|---|
| 259 | } | 
|---|
| 260 |  | 
|---|
| 261 | EIGEN_DEVICE_FUNC | 
|---|
| 262 | inline ScalarWithConstIfNotLvalue& coeffRef(Index index) | 
|---|
| 263 | { | 
|---|
| 264 | EIGEN_STATIC_ASSERT_INDEX_BASED_ACCESS(Derived) | 
|---|
| 265 | return this->m_data[index * innerStride()]; | 
|---|
| 266 | } | 
|---|
| 267 |  | 
|---|
| 268 | template<int StoreMode> | 
|---|
| 269 | inline void writePacket(Index row, Index col, const PacketScalar& val) | 
|---|
| 270 | { | 
|---|
| 271 | internal::pstoret<Scalar, PacketScalar, StoreMode> | 
|---|
| 272 | (this->m_data + (col * colStride() + row * rowStride()), val); | 
|---|
| 273 | } | 
|---|
| 274 |  | 
|---|
| 275 | template<int StoreMode> | 
|---|
| 276 | inline void writePacket(Index index, const PacketScalar& val) | 
|---|
| 277 | { | 
|---|
| 278 | EIGEN_STATIC_ASSERT_INDEX_BASED_ACCESS(Derived) | 
|---|
| 279 | internal::pstoret<Scalar, PacketScalar, StoreMode> | 
|---|
| 280 | (this->m_data + index * innerStride(), val); | 
|---|
| 281 | } | 
|---|
| 282 |  | 
|---|
| 283 | EIGEN_DEVICE_FUNC explicit inline MapBase(PointerType dataPtr) : Base(dataPtr) {} | 
|---|
| 284 | EIGEN_DEVICE_FUNC inline MapBase(PointerType dataPtr, Index vecSize) : Base(dataPtr, vecSize) {} | 
|---|
| 285 | EIGEN_DEVICE_FUNC inline MapBase(PointerType dataPtr, Index rows, Index cols) : Base(dataPtr, rows, cols) {} | 
|---|
| 286 |  | 
|---|
| 287 | EIGEN_DEVICE_FUNC | 
|---|
| 288 | Derived& operator=(const MapBase& other) | 
|---|
| 289 | { | 
|---|
| 290 | ReadOnlyMapBase::Base::operator=(other); | 
|---|
| 291 | return derived(); | 
|---|
| 292 | } | 
|---|
| 293 |  | 
|---|
| 294 | // In theory we could simply refer to Base:Base::operator=, but MSVC does not like Base::Base, | 
|---|
| 295 | // see bugs 821 and 920. | 
|---|
| 296 | using ReadOnlyMapBase::Base::operator=; | 
|---|
| 297 | }; | 
|---|
| 298 |  | 
|---|
| 299 | #undef EIGEN_STATIC_ASSERT_INDEX_BASED_ACCESS | 
|---|
| 300 |  | 
|---|
| 301 | } // end namespace Eigen | 
|---|
| 302 |  | 
|---|
| 303 | #endif // EIGEN_MAPBASE_H | 
|---|
| 304 |  | 
|---|