Oskar Weigl
/
Eurobot2013
We are going to win! wohoo
Diff: tvmet/VectorOperators.h
- Revision:
- 1:6799c07fe510
diff -r 92019d8564a7 -r 6799c07fe510 tvmet/VectorOperators.h --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tvmet/VectorOperators.h Wed Nov 07 14:37:35 2012 +0000 @@ -0,0 +1,1055 @@ +/* + * Tiny Vector Matrix Library + * Dense Vector Matrix Libary of Tiny size using Expression Templates + * + * Copyright (C) 2001 - 2007 Olaf Petzold <opetzold@users.sourceforge.net> + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU lesser General Public + * License as published by the Free Software Foundation; either + * version 2.1 of the License, or (at your option) any later version. + * + * This library is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * lesser General Public License for more details. + * + * You should have received a copy of the GNU lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * + * $Id: VectorOperators.h,v 1.18 2007-06-23 15:58:58 opetzold Exp $ + */ + +#ifndef TVMET_VECTOR_OPERATORS_H +#define TVMET_VECTOR_OPERATORS_H + +namespace tvmet { + + +/********************************************************* + * PART I: DECLARATION + *********************************************************/ + + +template<class T, std::size_t Sz> +inline +std::ostream& operator<<(std::ostream& os, + const Vector<T, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; + + +/*++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + * Member operators (arithmetic and bit ops) + *+++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ + + +/* + * update_operator(Vector<T1, Sz>, Vector<T2, Sz>) + * update_operator(Vector<T1, Sz>, XprVector<E, Sz>) + * Note: per se element wise + */ +#define TVMET_DECLARE_MACRO(NAME, OP) \ +template<class T1, class T2, std::size_t Sz> \ +Vector<T1, Sz>& \ +operator OP (Vector<T1, Sz>& lhs, \ + const Vector<T2, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; \ + \ +template<class T, class E, std::size_t Sz> \ +Vector<T, Sz>& \ +operator OP (Vector<T, Sz>& lhs, \ + const XprVector<E, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; + +TVMET_DECLARE_MACRO(add_eq, +=) // per se element wise +TVMET_DECLARE_MACRO(sub_eq, -=) // per se element wise +TVMET_DECLARE_MACRO(mul_eq, *=) // per se element wise +namespace element_wise { + TVMET_DECLARE_MACRO(div_eq, /=) // not defined for vectors +} + +// integer operators only, e.g used on double you wil get an error +namespace element_wise { + TVMET_DECLARE_MACRO(mod_eq, %=) + TVMET_DECLARE_MACRO(xor_eq, ^=) + TVMET_DECLARE_MACRO(and_eq, &=) + TVMET_DECLARE_MACRO(or_eq, |=) + TVMET_DECLARE_MACRO(shl_eq, <<=) + TVMET_DECLARE_MACRO(shr_eq, >>=) +} + +#undef TVMET_DECLARE_MACRO + + +/*++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + * Vector arithmetic operators implemented by functions + * add, sub, mul and div + *+++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ + + +/* + * operator(Vector<T1, Sz>, Vector<T2, Sz>) + * operator(Vector<T1, Sz>, XprVector<E, Sz>) + * operator(XprVector<E, Sz>, Vector<T1, Sz>) + */ +#define TVMET_DECLARE_MACRO(NAME, OP) \ +template<class T1, class T2, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<T1, T2>, \ + VectorConstReference<T1, Sz>, \ + VectorConstReference<T2, Sz> \ + >, \ + Sz \ +> \ +operator OP (const Vector<T1, Sz>& lhs, \ + const Vector<T2, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; \ + \ +template<class E, class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<typename E::value_type, T>, \ + XprVector<E, Sz>, \ + VectorConstReference<T, Sz> \ + >, \ + Sz \ +> \ +operator OP (const XprVector<E, Sz>& lhs, \ + const Vector<T, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; \ + \ +template<class E, class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<T, typename E::value_type>, \ + VectorConstReference<T, Sz>, \ + XprVector<E, Sz> \ + >, \ + Sz \ +> \ +operator OP (const Vector<T, Sz>& lhs, \ + const XprVector<E, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; + +TVMET_DECLARE_MACRO(add, +) // per se element wise +TVMET_DECLARE_MACRO(sub, -) // per se element wise +TVMET_DECLARE_MACRO(mul, *) // per se element wise +namespace element_wise { + TVMET_DECLARE_MACRO(div, /) // not defined for vectors +} + +#undef TVMET_DECLARE_MACRO + + +/* + * operator(Vector<T, Sz>, POD) + * operator(POD, Vector<T, Sz>) + * Note: operations +,-,*,/ are per se element wise + */ +#define TVMET_DECLARE_MACRO(NAME, OP, POD) \ +template<class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< T, POD >, \ + VectorConstReference<T, Sz>, \ + XprLiteral< POD > \ + >, \ + Sz \ +> \ +operator OP (const Vector<T, Sz>& lhs, \ + POD rhs) TVMET_CXX_ALWAYS_INLINE; \ + \ +template<class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< POD, T>, \ + XprLiteral< POD >, \ + VectorConstReference<T, Sz> \ + >, \ + Sz \ +> \ +operator OP (POD lhs, \ + const Vector<T, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; + +TVMET_DECLARE_MACRO(add, +, int) +TVMET_DECLARE_MACRO(sub, -, int) +TVMET_DECLARE_MACRO(mul, *, int) +TVMET_DECLARE_MACRO(div, /, int) + +#if defined(TVMET_HAVE_LONG_LONG) +TVMET_DECLARE_MACRO(add, +, long long int) +TVMET_DECLARE_MACRO(sub, -, long long int) +TVMET_DECLARE_MACRO(mul, *, long long int) +TVMET_DECLARE_MACRO(div, /, long long int) +#endif + +TVMET_DECLARE_MACRO(add, +, float) +TVMET_DECLARE_MACRO(sub, -, float) +TVMET_DECLARE_MACRO(mul, *, float) +TVMET_DECLARE_MACRO(div, /, float) + +TVMET_DECLARE_MACRO(add, +, double) +TVMET_DECLARE_MACRO(sub, -, double) +TVMET_DECLARE_MACRO(mul, *, double) +TVMET_DECLARE_MACRO(div, /, double) + +#if defined(TVMET_HAVE_LONG_DOUBLE) +TVMET_DECLARE_MACRO(add, +, long double) +TVMET_DECLARE_MACRO(sub, -, long double) +TVMET_DECLARE_MACRO(mul, *, long double) +TVMET_DECLARE_MACRO(div, /, long double) +#endif + +#undef TVMET_DECLARE_MACRO + + +#if defined(TVMET_HAVE_COMPLEX) +/* + * operator(Vector<std::complex<T>, Sz>, std::complex<T>) + * operator(std::complex<T>, Vector<std::complex<T>, Sz>) + * Note: operations +,-,*,/ are per se element wise + * \todo type promotion + */ +#define TVMET_DECLARE_MACRO(NAME, OP) \ +template<class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< std::complex<T>, std::complex<T> >, \ + VectorConstReference< std::complex<T>, Sz>, \ + XprLiteral< std::complex<T> > \ + >, \ + Sz \ +> \ +operator OP (const Vector<std::complex<T>, Sz>& lhs, \ + const std::complex<T>& rhs) TVMET_CXX_ALWAYS_INLINE; \ + \ +template<class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< std::complex<T>, std::complex<T> >, \ + XprLiteral< std::complex<T> >, \ + VectorConstReference< std::complex<T>, Sz> \ + >, \ + Sz \ +> \ +operator OP (const std::complex<T>& lhs, \ + const Vector< std::complex<T>, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; + +TVMET_DECLARE_MACRO(add, +) // per se element wise +TVMET_DECLARE_MACRO(sub, -) // per se element wise +TVMET_DECLARE_MACRO(mul, *) // per se element wise +TVMET_DECLARE_MACRO(div, /) // per se element wise +#undef TVMET_DECLARE_MACRO + +#endif // defined(TVMET_HAVE_COMPLEX) + + +/*++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + * Vector integer and compare operators + *+++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ + + +/* + * operator(Vector<T1, Sz>, Vector<T2, Sz>) + * operator(XprVector<E, Sz>, Vector<T, Sz>) + * operator(Vector<T, Sz>, XprVector<E, Sz>) + * Note: operations are per se element wise + */ +#define TVMET_DECLARE_MACRO(NAME, OP) \ +template<class T1, class T2, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<T1, T2>, \ + VectorConstReference<T1, Sz>, \ + VectorConstReference<T2, Sz> \ + >, \ + Sz \ +> \ +operator OP (const Vector<T1, Sz>& lhs, \ + const Vector<T2, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; \ + \ +template<class E, class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<typename E::value_type, T>, \ + XprVector<E, Sz>, \ + VectorConstReference<T, Sz> \ + >, \ + Sz \ +> \ +operator OP (const XprVector<E, Sz>& lhs, \ + const Vector<T, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; \ + \ +template<class E, class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<T, typename E::value_type>, \ + VectorConstReference<T, Sz>, \ + XprVector<E, Sz> \ + >, \ + Sz \ +> \ +operator OP (const Vector<T, Sz>& lhs, \ + const XprVector<E, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; + +// integer operators only, e.g used on double you wil get an error +namespace element_wise { + TVMET_DECLARE_MACRO(mod, %) + TVMET_DECLARE_MACRO(bitxor, ^) + TVMET_DECLARE_MACRO(bitand, &) + TVMET_DECLARE_MACRO(bitor, |) + TVMET_DECLARE_MACRO(shl, <<) + TVMET_DECLARE_MACRO(shr, >>) +} + +// necessary operators for eval functions +TVMET_DECLARE_MACRO(greater, >) +TVMET_DECLARE_MACRO(less, <) +TVMET_DECLARE_MACRO(greater_eq, >=) +TVMET_DECLARE_MACRO(less_eq, <=) +TVMET_DECLARE_MACRO(eq, ==) +TVMET_DECLARE_MACRO(not_eq, !=) +TVMET_DECLARE_MACRO(and, &&) +TVMET_DECLARE_MACRO(or, ||) + +#undef TVMET_DECLARE_MACRO + + + +#if defined(TVMET_HAVE_COMPLEX) +/* + * operator(Vector<std::complex<T>, Sz>, std::complex<T>) + * operator(std::complex<T>, Vector<std::complex<T>, Sz>) + * Note: - per se element wise + * - bit ops on complex<int> doesn't make sense, stay away + * \todo type promotion + */ +#define TVMET_DECLARE_MACRO(NAME, OP) \ +template<class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< std::complex<T>, std::complex<T> >, \ + VectorConstReference< std::complex<T>, Sz>, \ + XprLiteral< std::complex<T> > \ + >, \ + Sz \ +> \ +operator OP (const Vector<std::complex<T>, Sz>& lhs, \ + const std::complex<T>& rhs) TVMET_CXX_ALWAYS_INLINE; \ + \ +template<class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< std::complex<T>, std::complex<T> >, \ + XprLiteral< std::complex<T> >, \ + VectorConstReference< std::complex<T>, Sz> \ + >, \ + Sz \ +> \ +operator OP (const std::complex<T>& lhs, \ + const Vector< std::complex<T>, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; + +// necessary operators for eval functions +TVMET_DECLARE_MACRO(greater, >) +TVMET_DECLARE_MACRO(less, <) +TVMET_DECLARE_MACRO(greater_eq, >=) +TVMET_DECLARE_MACRO(less_eq, <=) +TVMET_DECLARE_MACRO(eq, ==) +TVMET_DECLARE_MACRO(not_eq, !=) +TVMET_DECLARE_MACRO(and, &&) +TVMET_DECLARE_MACRO(or, ||) + +#undef TVMET_DECLARE_MACRO + +#endif // defined(TVMET_HAVE_COMPLEX) + + +/* + * operator(Vector<T, Sz>, POD) + * operator(POD, Vector<T, Sz>) + * Note: operations are per se element_wise + */ +#define TVMET_DECLARE_MACRO(NAME, OP, TP) \ +template<class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< T, TP >, \ + VectorConstReference<T, Sz>, \ + XprLiteral< TP > \ + >, \ + Sz \ +> \ +operator OP (const Vector<T, Sz>& lhs, TP rhs) TVMET_CXX_ALWAYS_INLINE; \ + \ +template<class T, std::size_t Sz> \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< TP, T>, \ + XprLiteral< TP >, \ + VectorConstReference<T, Sz> \ + >, \ + Sz \ +> \ +operator OP (TP lhs, const Vector<T, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; + +// integer operators only, e.g used on double you wil get an error +namespace element_wise { + TVMET_DECLARE_MACRO(mod, %, int) + TVMET_DECLARE_MACRO(bitxor, ^, int) + TVMET_DECLARE_MACRO(bitand, &, int) + TVMET_DECLARE_MACRO(bitor, |, int) + TVMET_DECLARE_MACRO(shl, <<, int) + TVMET_DECLARE_MACRO(shr, >>, int) +} + +// necessary operators for eval functions +TVMET_DECLARE_MACRO(greater, >, int) +TVMET_DECLARE_MACRO(less, <, int) +TVMET_DECLARE_MACRO(greater_eq, >=, int) +TVMET_DECLARE_MACRO(less_eq, <=, int) +TVMET_DECLARE_MACRO(eq, ==, int) +TVMET_DECLARE_MACRO(not_eq, !=, int) +TVMET_DECLARE_MACRO(and, &&, int) +TVMET_DECLARE_MACRO(or, ||, int) + +#if defined(TVMET_HAVE_LONG_LONG) +// integer operators only +namespace element_wise { + TVMET_DECLARE_MACRO(mod, %, long long int) + TVMET_DECLARE_MACRO(bitxor, ^, long long int) + TVMET_DECLARE_MACRO(bitand, &, long long int) + TVMET_DECLARE_MACRO(bitor, |, long long int) + TVMET_DECLARE_MACRO(shl, <<, long long int) + TVMET_DECLARE_MACRO(shr, >>, long long int) +} + +// necessary operators for eval functions +TVMET_DECLARE_MACRO(greater, >, long long int) +TVMET_DECLARE_MACRO(less, <, long long int) +TVMET_DECLARE_MACRO(greater_eq, >=, long long int) +TVMET_DECLARE_MACRO(less_eq, <=, long long int) +TVMET_DECLARE_MACRO(eq, ==, long long int) +TVMET_DECLARE_MACRO(not_eq, !=, long long int) +TVMET_DECLARE_MACRO(and, &&, long long int) +TVMET_DECLARE_MACRO(or, ||, long long int) +#endif // defined(TVMET_HAVE_LONG_LONG) + +// necessary operators for eval functions +TVMET_DECLARE_MACRO(greater, >, float) +TVMET_DECLARE_MACRO(less, <, float) +TVMET_DECLARE_MACRO(greater_eq, >=, float) +TVMET_DECLARE_MACRO(less_eq, <=, float) +TVMET_DECLARE_MACRO(eq, ==, float) +TVMET_DECLARE_MACRO(not_eq, !=, float) +TVMET_DECLARE_MACRO(and, &&, float) +TVMET_DECLARE_MACRO(or, ||, float) + +// necessary operators for eval functions +TVMET_DECLARE_MACRO(greater, >, double) +TVMET_DECLARE_MACRO(less, <, double) +TVMET_DECLARE_MACRO(greater_eq, >=, double) +TVMET_DECLARE_MACRO(less_eq, <=, double) +TVMET_DECLARE_MACRO(eq, ==, double) +TVMET_DECLARE_MACRO(not_eq, !=, double) +TVMET_DECLARE_MACRO(and, &&, double) +TVMET_DECLARE_MACRO(or, ||, double) + +#if defined(TVMET_HAVE_LONG_DOUBLE) +// necessary operators for eval functions +TVMET_DECLARE_MACRO(greater, >, long double) +TVMET_DECLARE_MACRO(less, <, long double) +TVMET_DECLARE_MACRO(greater_eq, >=, long double) +TVMET_DECLARE_MACRO(less_eq, <=, long double) +TVMET_DECLARE_MACRO(eq, ==, long double) +TVMET_DECLARE_MACRO(not_eq, !=, long double) +TVMET_DECLARE_MACRO(and, &&, long double) +TVMET_DECLARE_MACRO(or, ||, long double) +#endif // defined(TVMET_HAVE_LONG_DOUBLE) + +#undef TVMET_DECLARE_MACRO + + +/*++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + * global unary operators + *+++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ + + +/* + * unary_operator(Vector<T, Sz>) + * Note: per se element wise + */ +#define TVMET_DECLARE_MACRO(NAME, OP) \ +template <class T, std::size_t Sz> \ +XprVector< \ + XprUnOp< \ + Fcnl_##NAME<T>, \ + VectorConstReference<T, Sz> \ + >, \ + Sz \ +> \ +operator OP (const Vector<T, Sz>& rhs) TVMET_CXX_ALWAYS_INLINE; + +TVMET_DECLARE_MACRO(not, !) +TVMET_DECLARE_MACRO(compl, ~) +TVMET_DECLARE_MACRO(neg, -) +#undef TVMET_DECLARE_MACRO + + +/********************************************************* + * PART II: IMPLEMENTATION + *********************************************************/ + + +/** + * \fn operator<<(std::ostream& os, const Vector<T, Sz>& rhs) + * \brief Overload operator for i/o + * \ingroup _binary_operator + */ +template<class T, std::size_t Sz> +inline +std::ostream& operator<<(std::ostream& os, const Vector<T, Sz>& rhs) { + return rhs.print_on(os); +} + + +/*++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + * Member operators (arithmetic and bit ops) + *+++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ + + +/* + * update_operator(Vector<T1, Sz>, Vector<T2, Sz>) + * update_operator(Vector<T1, Sz>, XprVector<E, Sz>) + * Note: per se element wise + */ +#define TVMET_IMPLEMENT_MACRO(NAME, OP) \ +template<class T1, class T2, std::size_t Sz> \ +inline Vector<T1, Sz>& \ +operator OP (Vector<T1, Sz>& lhs, const Vector<T2, Sz>& rhs) { \ + return lhs.M_##NAME(rhs); \ +} \ + \ +template<class T, class E, std::size_t Sz> \ +inline Vector<T, Sz>& \ +operator OP (Vector<T, Sz>& lhs, const XprVector<E, Sz>& rhs) { \ + return lhs.M_##NAME(rhs); \ +} + +TVMET_IMPLEMENT_MACRO(add_eq, +=) // per se element wise +TVMET_IMPLEMENT_MACRO(sub_eq, -=) // per se element wise +TVMET_IMPLEMENT_MACRO(mul_eq, *=) // per se element wise +namespace element_wise { + TVMET_IMPLEMENT_MACRO(div_eq, /=) // not defined for vectors +} + +// integer operators only, e.g used on double you wil get an error +namespace element_wise { + TVMET_IMPLEMENT_MACRO(mod_eq, %=) + TVMET_IMPLEMENT_MACRO(xor_eq, ^=) + TVMET_IMPLEMENT_MACRO(and_eq, &=) + TVMET_IMPLEMENT_MACRO(or_eq, |=) + TVMET_IMPLEMENT_MACRO(shl_eq, <<=) + TVMET_IMPLEMENT_MACRO(shr_eq, >>=) +} + +#undef TVMET_IMPLEMENT_MACRO + + +/*++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + * Vector arithmetic operators implemented by functions + * add, sub, mul and div + *+++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ + + +/* + * operator(Vector<T1, Sz>, Vector<T2, Sz>) + * operator(Vector<T1, Sz>, XprVector<E, Sz>) + * operator(XprVector<E, Sz>, Vector<T1, Sz>) + */ +#define TVMET_IMPLEMENT_MACRO(NAME, OP) \ +template<class T1, class T2, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<T1, T2>, \ + VectorConstReference<T1, Sz>, \ + VectorConstReference<T2, Sz> \ + >, \ + Sz \ +> \ +operator OP (const Vector<T1, Sz>& lhs, const Vector<T2, Sz>& rhs) { \ + return NAME (lhs, rhs); \ +} \ + \ +template<class E, class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<typename E::value_type, T>, \ + XprVector<E, Sz>, \ + VectorConstReference<T, Sz> \ + >, \ + Sz \ +> \ +operator OP (const XprVector<E, Sz>& lhs, const Vector<T, Sz>& rhs) { \ + return NAME (lhs, rhs); \ +} \ + \ +template<class E, class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<T, typename E::value_type>, \ + VectorConstReference<T, Sz>, \ + XprVector<E, Sz> \ + >, \ + Sz \ +> \ +operator OP (const Vector<T, Sz>& lhs, const XprVector<E, Sz>& rhs) { \ + return NAME (lhs, rhs); \ +} + +TVMET_IMPLEMENT_MACRO(add, +) // per se element wise +TVMET_IMPLEMENT_MACRO(sub, -) // per se element wise +TVMET_IMPLEMENT_MACRO(mul, *) // per se element wise +namespace element_wise { + TVMET_IMPLEMENT_MACRO(div, /) // not defined for vectors +} + +#undef TVMET_IMPLEMENT_MACRO + + +/* + * operator(Vector<T, Sz>, POD) + * operator(POD, Vector<T, Sz>) + * Note: operations +,-,*,/ are per se element wise + */ +#define TVMET_IMPLEMENT_MACRO(NAME, OP, POD) \ +template<class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< T, POD >, \ + VectorConstReference<T, Sz>, \ + XprLiteral< POD > \ + >, \ + Sz \ +> \ +operator OP (const Vector<T, Sz>& lhs, POD rhs) { \ + return NAME (lhs, rhs); \ +} \ + \ +template<class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< POD, T>, \ + XprLiteral< POD >, \ + VectorConstReference<T, Sz> \ + >, \ + Sz \ +> \ +operator OP (POD lhs, const Vector<T, Sz>& rhs) { \ + return NAME (lhs, rhs); \ +} + +TVMET_IMPLEMENT_MACRO(add, +, int) +TVMET_IMPLEMENT_MACRO(sub, -, int) +TVMET_IMPLEMENT_MACRO(mul, *, int) +TVMET_IMPLEMENT_MACRO(div, /, int) + +#if defined(TVMET_HAVE_LONG_LONG) +TVMET_IMPLEMENT_MACRO(add, +, long long int) +TVMET_IMPLEMENT_MACRO(sub, -, long long int) +TVMET_IMPLEMENT_MACRO(mul, *, long long int) +TVMET_IMPLEMENT_MACRO(div, /, long long int) +#endif + +TVMET_IMPLEMENT_MACRO(add, +, float) +TVMET_IMPLEMENT_MACRO(sub, -, float) +TVMET_IMPLEMENT_MACRO(mul, *, float) +TVMET_IMPLEMENT_MACRO(div, /, float) + +TVMET_IMPLEMENT_MACRO(add, +, double) +TVMET_IMPLEMENT_MACRO(sub, -, double) +TVMET_IMPLEMENT_MACRO(mul, *, double) +TVMET_IMPLEMENT_MACRO(div, /, double) + +#if defined(TVMET_HAVE_LONG_DOUBLE) +TVMET_IMPLEMENT_MACRO(add, +, long double) +TVMET_IMPLEMENT_MACRO(sub, -, long double) +TVMET_IMPLEMENT_MACRO(mul, *, long double) +TVMET_IMPLEMENT_MACRO(div, /, long double) +#endif + +#undef TVMET_IMPLEMENT_MACRO + + +#if defined(TVMET_HAVE_COMPLEX) +/* + * operator(Vector<std::complex<T>, Sz>, std::complex<T>) + * operator(std::complex<T>, Vector<std::complex<T>, Sz>) + * Note: operations +,-,*,/ are per se element wise + * \todo type promotion + */ +#define TVMET_IMPLEMENT_MACRO(NAME, OP) \ +template<class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< std::complex<T>, std::complex<T> >, \ + VectorConstReference< std::complex<T>, Sz>, \ + XprLiteral< std::complex<T> > \ + >, \ + Sz \ +> \ +operator OP (const Vector<std::complex<T>, Sz>& lhs, \ + const std::complex<T>& rhs) { \ + return NAME (lhs, rhs); \ +} \ + \ +template<class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< std::complex<T>, std::complex<T> >, \ + XprLiteral< std::complex<T> >, \ + VectorConstReference< std::complex<T>, Sz> \ + >, \ + Sz \ +> \ +operator OP (const std::complex<T>& lhs, \ + const Vector< std::complex<T>, Sz>& rhs) { \ + return NAME (lhs, rhs); \ +} + +TVMET_IMPLEMENT_MACRO(add, +) // per se element wise +TVMET_IMPLEMENT_MACRO(sub, -) // per se element wise +TVMET_IMPLEMENT_MACRO(mul, *) // per se element wise +TVMET_IMPLEMENT_MACRO(div, /) // per se element wise + +#undef TVMET_IMPLEMENT_MACRO + +#endif // defined(TVMET_HAVE_COMPLEX) + + +/*++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + * Vector integer and compare operators + *+++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ + + +/* + * operator(Vector<T1, Sz>, Vector<T2, Sz>) + * operator(XprVector<E, Sz>, Vector<T, Sz>) + * operator(Vector<T, Sz>, XprVector<E, Sz>) + * Note: operations are per se element wise + */ +#define TVMET_IMPLEMENT_MACRO(NAME, OP) \ +template<class T1, class T2, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<T1, T2>, \ + VectorConstReference<T1, Sz>, \ + VectorConstReference<T2, Sz> \ + >, \ + Sz \ +> \ +operator OP (const Vector<T1, Sz>& lhs, const Vector<T2, Sz>& rhs) { \ + typedef XprBinOp < \ + Fcnl_##NAME<T1, T2>, \ + VectorConstReference<T1, Sz>, \ + VectorConstReference<T2, Sz> \ + > expr_type; \ + return XprVector<expr_type, Sz>( \ + expr_type(lhs.const_ref(), rhs.const_ref())); \ +} \ + \ +template<class E, class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<typename E::value_type, T>, \ + XprVector<E, Sz>, \ + VectorConstReference<T, Sz> \ + >, \ + Sz \ +> \ +operator OP (const XprVector<E, Sz>& lhs, const Vector<T, Sz>& rhs) { \ + typedef XprBinOp< \ + Fcnl_##NAME<typename E::value_type, T>, \ + XprVector<E, Sz>, \ + VectorConstReference<T, Sz> \ + > expr_type; \ + return XprVector<expr_type, Sz>( \ + expr_type(lhs, rhs.const_ref())); \ +} \ + \ +template<class E, class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME<T, typename E::value_type>, \ + VectorConstReference<T, Sz>, \ + XprVector<E, Sz> \ + >, \ + Sz \ +> \ +operator OP (const Vector<T, Sz>& lhs, const XprVector<E, Sz>& rhs) { \ + typedef XprBinOp< \ + Fcnl_##NAME<T, typename E::value_type>, \ + VectorConstReference<T, Sz>, \ + XprVector<E, Sz> \ + > expr_type; \ + return XprVector<expr_type, Sz>( \ + expr_type(lhs.const_ref(), rhs)); \ +} + +// integer operators only, e.g used on double you wil get an error +namespace element_wise { + TVMET_IMPLEMENT_MACRO(mod, %) + TVMET_IMPLEMENT_MACRO(bitxor, ^) + TVMET_IMPLEMENT_MACRO(bitand, &) + TVMET_IMPLEMENT_MACRO(bitor, |) + TVMET_IMPLEMENT_MACRO(shl, <<) + TVMET_IMPLEMENT_MACRO(shr, >>) +} + +// necessary operators for eval functions +TVMET_IMPLEMENT_MACRO(greater, >) +TVMET_IMPLEMENT_MACRO(less, <) +TVMET_IMPLEMENT_MACRO(greater_eq, >=) +TVMET_IMPLEMENT_MACRO(less_eq, <=) +TVMET_IMPLEMENT_MACRO(eq, ==) +TVMET_IMPLEMENT_MACRO(not_eq, !=) +TVMET_IMPLEMENT_MACRO(and, &&) +TVMET_IMPLEMENT_MACRO(or, ||) + +#undef TVMET_IMPLEMENT_MACRO + + +#if defined(TVMET_HAVE_COMPLEX) +/* + * operator(Vector<std::complex<T>, Sz>, std::complex<T>) + * operator(std::complex<T>, Vector<std::complex<T>, Sz>) + * Note: - per se element wise + * - bit ops on complex<int> doesn't make sense, stay away + * \todo type promotion + */ +#define TVMET_IMPLEMENT_MACRO(NAME, OP) \ +template<class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< std::complex<T>, std::complex<T> >, \ + VectorConstReference< std::complex<T>, Sz>, \ + XprLiteral< std::complex<T> > \ + >, \ + Sz \ +> \ +operator OP (const Vector<std::complex<T>, Sz>& lhs, const std::complex<T>& rhs) { \ + typedef XprBinOp< \ + Fcnl_##NAME< std::complex<T>, std::complex<T> >, \ + VectorConstReference< std::complex<T>, Sz>, \ + XprLiteral< std::complex<T> > \ + > expr_type; \ + return XprVector<expr_type, Sz>( \ + expr_type(lhs.const_ref(), XprLiteral< std::complex<T> >(rhs))); \ +} \ + \ +template<class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< std::complex<T>, std::complex<T> >, \ + XprLiteral< std::complex<T> >, \ + VectorConstReference< std::complex<T>, Sz> \ + >, \ + Sz \ +> \ +operator OP (const std::complex<T>& lhs, const Vector< std::complex<T>, Sz>& rhs) { \ + typedef XprBinOp< \ + Fcnl_##NAME< std::complex<T>, std::complex<T> >, \ + XprLiteral< std::complex<T> >, \ + VectorConstReference< std::complex<T>, Sz> \ + > expr_type; \ + return XprVector<expr_type, Sz>( \ + expr_type(XprLiteral< std::complex<T> >(lhs), rhs.const_ref())); \ +} + +// necessary operators for eval functions +TVMET_IMPLEMENT_MACRO(greater, >) +TVMET_IMPLEMENT_MACRO(less, <) +TVMET_IMPLEMENT_MACRO(greater_eq, >=) +TVMET_IMPLEMENT_MACRO(less_eq, <=) +TVMET_IMPLEMENT_MACRO(eq, ==) +TVMET_IMPLEMENT_MACRO(not_eq, !=) +TVMET_IMPLEMENT_MACRO(and, &&) +TVMET_IMPLEMENT_MACRO(or, ||) + +#undef TVMET_IMPLEMENT_MACRO + +#endif // defined(TVMET_HAVE_COMPLEX) + + +/* + * operator(Vector<T, Sz>, POD) + * operator(POD, Vector<T, Sz>) + * Note: operations are per se element_wise + */ +#define TVMET_IMPLEMENT_MACRO(NAME, OP, TP) \ +template<class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< T, TP >, \ + VectorConstReference<T, Sz>, \ + XprLiteral< TP > \ + >, \ + Sz \ +> \ +operator OP (const Vector<T, Sz>& lhs, TP rhs) { \ + typedef XprBinOp< \ + Fcnl_##NAME<T, TP >, \ + VectorConstReference<T, Sz>, \ + XprLiteral< TP > \ + > expr_type; \ + return XprVector<expr_type, Sz>( \ + expr_type(lhs.const_ref(), XprLiteral< TP >(rhs))); \ +} \ + \ +template<class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprBinOp< \ + Fcnl_##NAME< TP, T>, \ + XprLiteral< TP >, \ + VectorConstReference<T, Sz> \ + >, \ + Sz \ +> \ +operator OP (TP lhs, const Vector<T, Sz>& rhs) { \ + typedef XprBinOp< \ + Fcnl_##NAME< TP, T>, \ + XprLiteral< TP >, \ + VectorConstReference<T, Sz> \ + > expr_type; \ + return XprVector<expr_type, Sz>( \ + expr_type(XprLiteral< TP >(lhs), rhs.const_ref())); \ +} + +// integer operators only, e.g used on double you wil get an error +namespace element_wise { + TVMET_IMPLEMENT_MACRO(mod, %, int) + TVMET_IMPLEMENT_MACRO(bitxor, ^, int) + TVMET_IMPLEMENT_MACRO(bitand, &, int) + TVMET_IMPLEMENT_MACRO(bitor, |, int) + TVMET_IMPLEMENT_MACRO(shl, <<, int) + TVMET_IMPLEMENT_MACRO(shr, >>, int) +} + +// necessary operators for eval functions +TVMET_IMPLEMENT_MACRO(greater, >, int) +TVMET_IMPLEMENT_MACRO(less, <, int) +TVMET_IMPLEMENT_MACRO(greater_eq, >=, int) +TVMET_IMPLEMENT_MACRO(less_eq, <=, int) +TVMET_IMPLEMENT_MACRO(eq, ==, int) +TVMET_IMPLEMENT_MACRO(not_eq, !=, int) +TVMET_IMPLEMENT_MACRO(and, &&, int) +TVMET_IMPLEMENT_MACRO(or, ||, int) + +#if defined(TVMET_HAVE_LONG_LONG) +// integer operators only +namespace element_wise { + TVMET_IMPLEMENT_MACRO(mod, %, long long int) + TVMET_IMPLEMENT_MACRO(bitxor, ^, long long int) + TVMET_IMPLEMENT_MACRO(bitand, &, long long int) + TVMET_IMPLEMENT_MACRO(bitor, |, long long int) + TVMET_IMPLEMENT_MACRO(shl, <<, long long int) + TVMET_IMPLEMENT_MACRO(shr, >>, long long int) +} + +// necessary operators for eval functions +TVMET_IMPLEMENT_MACRO(greater, >, long long int) +TVMET_IMPLEMENT_MACRO(less, <, long long int) +TVMET_IMPLEMENT_MACRO(greater_eq, >=, long long int) +TVMET_IMPLEMENT_MACRO(less_eq, <=, long long int) +TVMET_IMPLEMENT_MACRO(eq, ==, long long int) +TVMET_IMPLEMENT_MACRO(not_eq, !=, long long int) +TVMET_IMPLEMENT_MACRO(and, &&, long long int) +TVMET_IMPLEMENT_MACRO(or, ||, long long int) +#endif // defined(TVMET_HAVE_LONG_LONG) + +// necessary operators for eval functions +TVMET_IMPLEMENT_MACRO(greater, >, float) +TVMET_IMPLEMENT_MACRO(less, <, float) +TVMET_IMPLEMENT_MACRO(greater_eq, >=, float) +TVMET_IMPLEMENT_MACRO(less_eq, <=, float) +TVMET_IMPLEMENT_MACRO(eq, ==, float) +TVMET_IMPLEMENT_MACRO(not_eq, !=, float) +TVMET_IMPLEMENT_MACRO(and, &&, float) +TVMET_IMPLEMENT_MACRO(or, ||, float) + +// necessary operators for eval functions +TVMET_IMPLEMENT_MACRO(greater, >, double) +TVMET_IMPLEMENT_MACRO(less, <, double) +TVMET_IMPLEMENT_MACRO(greater_eq, >=, double) +TVMET_IMPLEMENT_MACRO(less_eq, <=, double) +TVMET_IMPLEMENT_MACRO(eq, ==, double) +TVMET_IMPLEMENT_MACRO(not_eq, !=, double) +TVMET_IMPLEMENT_MACRO(and, &&, double) +TVMET_IMPLEMENT_MACRO(or, ||, double) + +#if defined(TVMET_HAVE_LONG_DOUBLE) +// necessary operators for eval functions +TVMET_IMPLEMENT_MACRO(greater, >, long double) +TVMET_IMPLEMENT_MACRO(less, <, long double) +TVMET_IMPLEMENT_MACRO(greater_eq, >=, long double) +TVMET_IMPLEMENT_MACRO(less_eq, <=, long double) +TVMET_IMPLEMENT_MACRO(eq, ==, long double) +TVMET_IMPLEMENT_MACRO(not_eq, !=, long double) +TVMET_IMPLEMENT_MACRO(and, &&, long double) +TVMET_IMPLEMENT_MACRO(or, ||, long double) +#endif // defined(TVMET_HAVE_LONG_DOUBLE) + +#undef TVMET_IMPLEMENT_MACRO + + +/*++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + * global unary operators + *+++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ + + +/* + * unary_operator(Vector<T, Sz>) + * Note: per se element wise + */ +#define TVMET_IMPLEMENT_MACRO(NAME, OP) \ +template <class T, std::size_t Sz> \ +inline \ +XprVector< \ + XprUnOp< \ + Fcnl_##NAME<T>, \ + VectorConstReference<T, Sz> \ + >, \ + Sz \ +> \ +operator OP (const Vector<T, Sz>& rhs) { \ + typedef XprUnOp< \ + Fcnl_##NAME<T>, \ + VectorConstReference<T, Sz> \ + > expr_type; \ + return XprVector<expr_type, Sz>(expr_type(rhs.const_ref())); \ +} + +TVMET_IMPLEMENT_MACRO(not, !) +TVMET_IMPLEMENT_MACRO(compl, ~) +TVMET_IMPLEMENT_MACRO(neg, -) + +#undef TVMET_IMPLEMENT_MACRO + + +} // namespace tvmet + +#endif // TVMET_VECTOR_OPERATORS_H + +// Local Variables: +// mode:C++ +// tab-width:8 +// End: