I am having trouble with overloading the += operator when template
parameters are used. I have a class holding an array (called "derived"
in the following example) which derives from a base class ("base"). I
want to be able to add:
1) any derived array holding class to any other derived array holding
class
2) any derived array holding class to a literal value (e.g int, double,
etc) for which addition is defined for the type in the array.
I would like both + and += operators and for appropriate casting to be
handled. A minimal example of what I am trying to do is below (note
that the derived class holds only one value for simplicity).
The two + operators work fine with GCC (versions 3.4 and 4.1). But the
two += don't work when defined together (they work fine when defined
one at a time). When performing derived<L> += derived<R> the
operator+=(base<L,D>, R) is selected rather than operator+=(base<L,LD>,
base<R,RD>). Borland C++ Builder has this problem and a similar one
with the the binary addtion operator. I am really confused about GCC
because the operator prototypes are practically the same, so it would
seem that the the problem += and + operators are either both correct or
wrong.
Using operator+=(base<L,D>, L) works, but without automatic casting I
am after. Any suggestions on how to get around this problem, at least
in GCC would be great!
Example program (88 lines):
#include <iostream>
// curiously recurring base class
template <typename T, typename D>
class base
{
public:
T& operator[](std::size_t i) { return static_cast<D&>(*this)[i]; }
const T& operator[](std::size_t i) const { return static_cast<const
D&>(*this)[i]; }
};
// curiously recurring derived class
template <typename T>
class derived : public base<T, derived<T> >
{
public:
derived(T t) : t_(t) {}
T& operator[](std::size_t i) {return t_; }
const T& operator[](std::size_t i) const {return t_; }
private:
T t_;
};
// type promotion trait
template <typename L, typename R>
class promote
{
};
template<>
class promote<int, double>
{
public:
typedef double type;
};
// binary addition operators with casting
template <typename L, typename D, typename R>
derived<typename promote<L,R>::type>
operator+ (const base<L, D>& l, const R& r)
{
std::cout << "base + literal" << std::endl;
typedef typename promote<L,R>::type P;
return derived<P>(static_cast<P>(l[0]) + static_cast<P>(r));
}
template <typename L, typename DL, typename R, typename DR>
derived<typename promote<L,R>::type>
operator+ (const base<L, DL>& l, const base<R, DR>& r)
{
std::cout << "base + base" << std::endl;
typedef typename promote<L,R>::type P;
return derived<P>(static_cast<P>(l[0]) + static_cast<P>(r[0]));
}
// self-assigned addition
template <typename L, typename D, typename R>
void
operator+= (base<L, D>& l, const R& r)
{
std::cout << "base += literal" << std::endl;
l[0] += static_cast<L>(r);
return;
}
template <typename L, typename DL, typename R, typename DR>
void
operator+= (base<L, DL>& l, const base<R, DR>& r)
{
std::cout << "base += base" << std::endl;
l[0] += static_cast<L>(r[0]);
return;
}
int main()
{
derived<int> d1(2);
derived<double> d2 = d1 + 3.; // base + literal
derived<double> d3 = d1 + d2; // base + base
d3 += 3.; // base += literal
d2 += d3; // base += base
} 2 2898 al*********@gmail.com wrote: I am having trouble with overloading the += operator when template parameters are used. I have a class holding an array (called "derived" in the following example) which derives from a base class ("base"). I want to be able to add:
1) any derived array holding class to any other derived array holding class 2) any derived array holding class to a literal value (e.g int, double, etc) for which addition is defined for the type in the array.
I would like both + and += operators and for appropriate casting to be handled. A minimal example of what I am trying to do is below (note that the derived class holds only one value for simplicity).
The two + operators work fine with GCC (versions 3.4 and 4.1). But the two += don't work when defined together (they work fine when defined one at a time). When performing derived<L> += derived<R> the operator+=(base<L,D>, R) is selected rather than operator+=(base<L,LD>, base<R,RD>). Borland C++ Builder has this problem and a similar one with the the binary addtion operator. I am really confused about GCC because the operator prototypes are practically the same, so it would seem that the the problem += and + operators are either both correct or wrong.
Using operator+=(base<L,D>, L) works, but without automatic casting I am after. Any suggestions on how to get around this problem, at least in GCC would be great!
Example program (88 lines):
#include <iostream>
// curiously recurring base class template <typename T, typename D> class base { public: T& operator[](std::size_t i) { return static_cast<D&>(*this)[i]; } const T& operator[](std::size_t i) const { return static_cast<const D&>(*this)[i]; }
};
// curiously recurring derived class template <typename T> class derived : public base<T, derived<T> > { public: derived(T t) : t_(t) {} T& operator[](std::size_t i) {return t_; } const T& operator[](std::size_t i) const {return t_; } private: T t_; };
// type promotion trait template <typename L, typename R> class promote { };
template<> class promote<int, double> { public: typedef double type; };
// binary addition operators with casting template <typename L, typename D, typename R> derived<typename promote<L,R>::type> operator+ (const base<L, D>& l, const R& r) { std::cout << "base + literal" << std::endl; typedef typename promote<L,R>::type P; return derived<P>(static_cast<P>(l[0]) + static_cast<P>(r)); }
template <typename L, typename DL, typename R, typename DR> derived<typename promote<L,R>::type> operator+ (const base<L, DL>& l, const base<R, DR>& r) { std::cout << "base + base" << std::endl; typedef typename promote<L,R>::type P; return derived<P>(static_cast<P>(l[0]) + static_cast<P>(r[0])); }
// self-assigned addition template <typename L, typename D, typename R> void operator+= (base<L, D>& l, const R& r) { std::cout << "base += literal" << std::endl; l[0] += static_cast<L>(r);
This doesn't compile for me when instantiated from
'd2 += d3'
'R' is 'derived<double>', 'L' is 'double'. There is no conversion
from 'derived<double>' to 'double'.
The existence of the other operator+= does not matter here, I am
guessing. The reason is that with 'd3' as the second argument
the compiler cannot deduce 'R' and 'DR' from 'derived<double>'.
return; }
template <typename L, typename DL, typename R, typename DR> void operator+= (base<L, DL>& l, const base<R, DR>& r) { std::cout << "base += base" << std::endl; l[0] += static_cast<L>(r[0]); return; }
int main() { derived<int> d1(2); derived<double> d2 = d1 + 3.; // base + literal derived<double> d3 = d1 + d2; // base + base
d3 += 3.; // base += literal d2 += d3; // base += base }
V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask
After much searching I figured out why this problem is occuring....
If you look at the definition of the addition operators I gave in my
example template <typename L, typename D, typename R> derived<typename promote<L,R>::type> operator+ (const base<L, D>& l, const R& r)
template <typename L, typename DL, typename R, typename DR> derived<typename promote<L,R>::type> operator+ (const base<L, DL>& l, const base<R, DR>& r)
When the following commands are compiled derived<double> d2 = d1 + 3.; // base + literal
this uses the operator+ (const base<L, D>& l, const R& r) as
expected...
derived<double> d3 = d1 + d2; // base + base
however this can't use operator+ (const base<L, D>& l, const R& r) as
the return type is not defined so GCC eliminates it from the overload
resolution and finds operator+ (const base<L, DL>& l, const base<R,
DR>& r) as wanted. Borland C++ Builder doesn't seem to check the
return type.
For the += operators template <typename L, typename D, typename R> void operator+= (base<L, D>& l, const R& r)
template <typename L, typename DL, typename R, typename DR> void operator+= (base<L, DL>& l, const base<R, DR>& r)
here the command d3 += 3.; // base += literal
finds operator+= (base<L, D>& l, const R& r) as wanted but ...
d2 += d3; // base += base
also finds operator+= (base<L, D>& l, const R& r) instead of the wanted
operator+= (base<L, DL>& l, const base<R, DR>& r) as the first is a
"better" match (one less cast) and there isn't the return type problem.
Overloading resolution based on return type definition is entirely new
to me but from what I can find appears to be legal. Learn something
new every day and all... This thread has been closed and replies have been disabled. Please start a new discussion. Similar topics
by: Jojo |
last post by:
Is there any way to get to the left-hand side of an operator? Consider
the following (this is not meant to be perfect code, just an example of
the problem):
class Matrix
{
public:
int data;...
|
by: Fabio Fracassi |
last post by:
Hi,
I belive what i am trying to do is not possible, but I hope someone can
change my mind.
Here is some code i'd like to write:
template <class type> class engine1 {};
template <class...
|
by: TuxC0d3 |
last post by:
Hi!
I'm diving into the some more ++ specific aspects of c++ (and finally
accepting that c++ is more than "a plus added to c" :), so that means
using namespaces, templates, std::strings, lists,...
|
by: toton |
last post by:
Operator overloading has a sort syntax rather than member function call
for stack based memory allocation.
like complex<int> c1,c2,c3;
c3= c1+c2;
How the same can be applied to heap based...
|
by: richard.parker |
last post by:
Hello,
I need to overload operator new with affecting the system libraries.
Has anyone done this? I've got 2 static libraries and application
source code where the operator needs to be...
|
by: Zilla |
last post by:
I have the following simple program. I just want to be able to do math
operations (+, -, =)on Timer sublcasses, but want to handle cases
where either rhs or lhs is an intrinsic value, However, the...
|
by: jakester |
last post by:
I am using Visual C++ 2007 to build the code below. I keep getting
linkage error. Could someone please tell me what I am doing wrong? The
code works until I start using namespace for my objects.
...
|
by: clicwar |
last post by:
A simple program with operator overloading and copy constructor:
#include <iostream>
#include <string>
using namespace std;
class Vector {
private:
float x,y;
public:
Vector(float u, float...
|
by: none |
last post by:
I'm trying to overload the = operator using templates, but I have
some problems with one of the overloads, I would like to make
something like that:
intvariable = fooclass;
here's a pseudo...
|
by: Charles Arthur |
last post by:
How do i turn on java script on a villaon, callus and itel keypad mobile phone
|
by: ryjfgjl |
last post by:
In our work, we often receive Excel tables with data in the same format. If we want to analyze these data, it can be difficult to analyze them because the data is spread across multiple Excel files...
|
by: emmanuelkatto |
last post by:
Hi All, I am Emmanuel katto from Uganda. I want to ask what challenges you've faced while migrating a website to cloud.
Please let me know.
Thanks!
Emmanuel
|
by: nemocccc |
last post by:
hello, everyone, I want to develop a software for my android phone for daily needs, any suggestions?
|
by: marktang |
last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However,...
|
by: Hystou |
last post by:
Most computers default to English, but sometimes we require a different language, especially when relocating. Forgot to request a specific language before your computer shipped? No problem! You can...
|
by: Oralloy |
last post by:
Hello folks,
I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>".
The problem is that using the GNU compilers,...
|
by: jinu1996 |
last post by:
In today's digital age, having a compelling online presence is paramount for businesses aiming to thrive in a competitive landscape. At the heart of this digital strategy lies an intricately woven...
|
by: tracyyun |
last post by:
Dear forum friends,
With the development of smart home technology, a variety of wireless communication protocols have appeared on the market, such as Zigbee, Z-Wave, Wi-Fi, Bluetooth, etc. Each...
| |